Home > Search Results: The identity type weak factorisation system
  Search Tips
Advanced Search
Search collections:
Sort by: Display results: Output format:
Results overview: Found 1 records in 0.05 seconds.
Research literature, 1 records found
Research literature 1 records found  
1.
26 p, 265.4 KB The identity type weak factorisation system / Gambino, Nicola ; Garner, Richard ; Centre de Recerca Matemàtica
We show that the classifying category C(T)of a dependent type theory T with axioms for identity types admits a nontrivial weak factorisation system. After characterising this weak factorisation system explicitly, we relate it to the homotopy theory of groupoids.
Centre de Recerca Matemàtica 2008 (Prepublicacions del Centre de Recerca Matemàtica ; 802)  
Detailed record - Creative Commons

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.
UAB Digital Repository of Documents :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.6
Maintained by ddd.bib@uab.cat  :: Metadata license:
Working with