Path Functors in Cat - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
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 (372.51 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

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 1

Citer

François Lamarche. Path Functors in Cat. 2013. ⟨hal-00831430v1⟩
286 Consultations
1848 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More