17 citations · 67 across the 15 of their papers we have counts for
16 papers
Symmetric 2-rigs: coexponentiability and cartesian closure
Mathieu Anel, Marcelo Fiore, Nicola Gambino
We study coexponentiability in the context of the cocartesian 2-category RIG of symmetric 2-rigs, symmetric strong monoidal cocontinuous functors, and symmetric monoidal natural tr…
Left exact monoidal localizations from tidy maps
Mathieu Anel, Georg Biedermann, Eric Finster +1
We put Goodwillie's calculus of functors and Weiss' orthogonal calculus in a unified framework. We do so in two ways. On the one hand, the relevant categories are all symmetric mon…
Choice axioms and Postnikov completeness
Mathieu Anel, Reid Barton
We introduce homotopical variants of the axioms of countable and dependent choice for infinity-topoi and use them to give criteria for Postnikov completeness, revisiting a result o…
Left-exact Localizations of -Topoi III: The Acyclic Product
Mathieu Anel, Georg Biedermann, Eric Finster +1
We define a commutative monoid structure on the poset of left-exact localizations of a higher topos, that we call the acyclic product. Our approach is anchored in a structural anal…
Left-exact Localizations of -Topoi II: Grothendieck Topologies
Mathieu Anel, Georg Biedermann, Eric Finster +1
We revisit the work of Toën--Vezzosi and Lurie on Grothendieck topologies, using the new tools of acyclic classes and congruences. We introduce a notion of extended Grothendieck to…
The category of -finite spaces
Mathieu Anel
We show that the category of truncated spaces with finite homotopy invariants (\=/finite spaces) has many of the features expected of an elementary \oo topos. It should be thoug…