Pré-Publication, Document De Travail Année : 2013

Path Functors in Cat

Résumé

We build an endofunctor in the category of small categories along with the necessary structure on it to turn it into a path object suitable for homotopy theory and modelling identity types in Martin-L\ ̈of type theory. We construct the free Grothendieck bifibration over a base category generated by an arbitrary functor to that category.

Fichier principal
Vignette du fichier
PathFunctorsInCat.pdf (374.9 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00831430 , version 1 (07-06-2013)
hal-00831430 , version 2 (30-08-2013)
hal-00831430 , version 3 (19-09-2013)

Identifiants

  • HAL Id : hal-00831430 , version 3

Citer

François Lamarche. Path Functors in Cat. 2013. ⟨hal-00831430v3⟩
421 Consultations
2045 Téléchargements

Partager

  • More