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, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161
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.
Type de document :
Pré-publication, Document de travail
2013
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00831430
Contributeur : Francois Lamarche <>
Soumis le : jeudi 19 septembre 2013 - 11:27:44
Dernière modification le : jeudi 11 janvier 2018 - 01:49:36
Document(s) archivé(s) le : jeudi 6 avril 2017 - 23:54:19

Fichier

PathFunctorsInCat.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00831430, version 3

Collections

Citation

François Lamarche. Path Functors in Cat. 2013. 〈hal-00831430v3〉

Partager

Métriques

Consultations de la notice

236

Téléchargements de fichiers

85