Summary
This award supports US participants of workshop "Formalizing Higher Categories" held June 8-12, 2026 at Mittag-Leffler Institute in Stockholm, Sweden. Higher category theory is now a fundamental aspect of modern mathematics, playing a crucial role in algebraic topology, algebraic geometry, mathematical physics, and theoretical computer science, among others. Despite its important role throughout mathematics, the inherent complexity of higher categorical methods often results in subtle errors and impedes communication with the broader mathematical community. These challenges have motivated the
