Homotopy in Cat via Paths and the Fundamental Groupoid of a Category

François Lamarche 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We construct an endofunctor of paths in the category of small category and show how to construct the standard homotopy invariants from it. We give a novel proof that the fundamental groupoid of a category is its associated universal groupoid.
Type de document :
Rapport
[Research Report] 2008
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00347424
Contributeur : Francois Lamarche <>
Soumis le : lundi 15 décembre 2008 - 17:43:25
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48
Document(s) archivé(s) le : jeudi 11 octobre 2012 - 13:50:16

Fichier

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

Identifiants

  • HAL Id : inria-00347424, version 1

Collections

Citation

François Lamarche. Homotopy in Cat via Paths and the Fundamental Groupoid of a Category. [Research Report] 2008. 〈inria-00347424〉

Partager

Métriques

Consultations de la notice

206

Téléchargements de fichiers

118