Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Path Functors in Cat

François Lamarche 1
1 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Abstract : 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.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-00831430
Contributor : Francois Lamarche <>
Submitted on : Thursday, September 19, 2013 - 11:27:44 AM
Last modification on : Thursday, January 7, 2021 - 3:40:14 PM
Long-term archiving on: : Thursday, April 6, 2017 - 11:54:19 PM

File

PathFunctorsInCat.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00831430, version 3

Collections

Citation

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

Share

Metrics

Record views

346

Files downloads

235