Goodwillie's calculus of functors and higher topos theory

Mathieu Anel (1) , Georg Biedermann (2) , Eric Finster (3, 4) , André Joyal (5)

1 CMU - Carnegie Mellon University [Pittsburgh]
2 LAGA - Laboratoire Analyse, Géométrie et Applications
3 LS2N - équipe GALLINETTE - Gallinette : vers une nouvelle génération d'assistant à la preuve
4 PI.R2 - Design, study and implementation of languages for proofs and programs
5 UQAM - Université du Québec à Montréal = University of Québec in Montréal

Domaines: Topologie algébrique [math.AT]

Mathieu Anel, Georg Biedermann, Eric Finster, André Joyal. Goodwillie's calculus of functors and higher topos theory. Journal of topology, 2018, 11 (4), pp.1100-1132. ⟨10.1112/topo.12082⟩. ⟨hal-01939906⟩