Pàgina inicial > Resultats de la cerca: Tipus, Teoria dels
  Consells de cerca
Cerca avançada
Cerca col·leccions:
Ordena'ls per: Mostrar els resultats: Format de visualizació:
Resultats globals: 1 registres trobats en 0.02 segons.
Documents de recerca, 1 registres trobats
Documents de recerca 1 registres trobats  
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)  
Registre complet - Creative Commons

Us interessa rebre alertes sobre nous resultats d'aquesta cerca?
Definiu una alerta personal via correu electrònic o subscribiu-vos al canal RSS.
Dipòsit Digital de Documents de la UAB :: Cerca :: Lliura :: Personalitza :: Ajuda
Powered by Invenio v1.1.6
Mantingut per ddd.bib@uab.cat  :: Metadades subjectes a:
Col·laborem