Showing math.CTShow all
2 papers · 1 filter
math.CT2026
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…
math.CT2024
A Syntax for Strictly Associative and Unital -Categories
Eric Finster, Alex Rice, Jamie Vicary
We present the first definition of strictly associative and unital -category. Our proposal takes the form of a type theory whose terms describe the operations of such struc…