17 citations · 70 across the 15 of their papers we have counts for
Showing 2022 · math.CTShow all
2 papers · 2 filters
math.CT2022★ 3 cited
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,…
math.CT2022
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…