Goodwillie's calculus of functors and higher topos theory

Mathieu Anel 1 Georg Biedermann 2 Eric Finster 3, 4 André Joyal 5
3 GALLINETTE - Gallinette : vers une nouvelle génération d'assistant à la preuve
Inria Rennes – Bretagne Atlantique , LS2N - Laboratoire des Sciences du Numérique de Nantes
4 PI.R2 - Design, study and implementation of languages for proofs and programs
Inria de Paris, CNRS - Centre National de la Recherche Scientifique, UPD7 - Université Paris Diderot - Paris 7, PPS - Preuves, Programmes et Systèmes
Type de document :
Article dans une revue
Journal of topology, Oxford University Press, 2018, 11 (4), pp.1100-1132. 〈10.1112/topo.12082〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01939906
Contributeur : Eric Finster <>
Soumis le : jeudi 29 novembre 2018 - 19:45:32
Dernière modification le : samedi 15 décembre 2018 - 15:46:48

Lien texte intégral

Identifiants

Citation

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

Partager

Métriques

Consultations de la notice

34