Sponsor of the Day:
Jerkmate
https://www.mittag-leffler.se/for-visitors/visit-us/
Travel to IML - Mittag-Leffler
mittag lefflertraveliml
https://www.mittag-leffler.se/activities/formalizing-higher-categories/
Formalizing Higher Categories - Mittag-Leffler
May 4, 2026 - Higher category theory is now a fundamental aspect of modern mathematics, playing a crucial role in algebraic topology, algebraic geometry,...
mittag lefflerformalizinghighercategories
https://www.mittag-leffler.se/about-us/library/
Library - Mittag-Leffler
mittag lefflerlibrary
https://www.mittag-leffler.se/
Welcome to Institut Mittag-Leffler - Mittag-Leffler
Mar 2, 2026 - Welcome to Institut Mittag-Leffler
mittag lefflerwelcomeinstitut
https://www.mittag-leffler.se/conferences/?passed=1
Conferences - Mittag-Leffler
mittag lefflerconferences
https://www.mittag-leffler.se/for-visitors/iml-giftshop/
IML Giftshop - Mittag-Leffler
mittag lefflerimlgiftshop