17 citations · 70 across the 15 of their papers we have counts for
16 papers
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…
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…
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…
Computads for weak -categories as an inductive type
Christopher J. Dean, Eric Finster, Ioannis Markakis +2
We give a new description of computads for weak globular -categories by giving an explicit inductive definition of the free words. This yields a new understanding of computads,…
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…
A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory
Eric Finster, Samuel Mimram, Maxime Lucas +1
Polynomial functors are a categorical generalization of the usual notion of polynomial, which has found many applications in higher categories and type theory: those are generated…