Path Functors in Cat - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year :

Path Functors in Cat


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
Origin : Files produced by the author(s)

Dates and versions

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


  • HAL Id : hal-00831430 , version 3


François Lamarche. Path Functors in Cat. 2013. ⟨hal-00831430v3⟩
282 View
1823 Download


Gmail Facebook Twitter LinkedIn More