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.
Document type :
Reports
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/inria-00347424
Contributor : Francois Lamarche <>
Submitted on : Monday, December 15, 2008 - 5:43:25 PM
Last modification on : Thursday, January 11, 2018 - 6:19:48 AM
Long-term archiving on: Thursday, October 11, 2012 - 1:50:16 PM

File

HomotCat.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

226

Files downloads

150