Ambidexterity and the universality of finite spans

Yonatan Harpaz

Pursuing the notions of ambidexterity and higher semiadditivity as developed by Hopkins and Lurie, we prove that the span $\infty$-category of $m$-finite spaces is the free $m$-sem…