Axel Ljungström
Publications
Talks
Teaching
Miscellaneous
CV

Axel Ljungström

Ph.D. student in type theory at Stockholm University, Department of Mathematics

Stockholm, Sweden
Email
Twitter
Github
ORCID

Smash Products Are Symmetric Monoidal in HoTT

Date: April 23, 2023

Share on

Twitter Facebook LinkedIn

Follow:
GitHub
Feed

© 2025 Axel Ljungström. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.