Weak ω-Categories from Intensional Type Theory
- 1 January 2009
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
Other Versions
This publication has 6 references indexed in Scilit:
- The identity type weak factorisation systemTheoretical Computer Science, 2008
- Higher Operads, Higher CategoriesPublished by Cambridge University Press (CUP) ,2004
- Λ-Cofibration Categories and the Homotopy Categories of Global Actions and Simplicial ComplexesApplied Categorical Structures, 2002
- The petit topos of globular setsJournal of Pure and Applied Algebra, 2000
- Monoidal Globular Categories As a Natural Environment for the Theory of Weakn-CategoriesAdvances in Mathematics, 1998
- Generalised algebraic theories and contextual categoriesAnnals of Pure and Applied Logic, 1986