59 citations · 140 across the 11 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
math.CT2017★ 12 cited
Notes on Clans and Tribes
Andre Joyal
The purpose of these notes is to give a categorical presentation/analysis of homotopy type theory. The notes are incomplete as they stand (October 2017). The chapter on univalent t…
math.AT2017★ 14 cited
Goodwillie's Calculus of Functors and Higher Topos Theory
Mathieu Anel, Georg Biedermann, Eric Finster +1
We develop an approach to Goodwillie's calculus of functors using the techniques of higher topos theory. Central to our method is the introduction of the notion of fiberwise orthog…
math.AT2017★ 17 cited
A Generalized Blakers-Massey Theorem
Mathieu Anel, Georg Biedermann, Eric Finster +1
We prove a generalization of the classical connectivity theorem of Blakers-Massey, valid in an arbitrary higher topos and with respect to an arbitrary modality, that is, a factoriz…