Pages that link to "Item:Q3079518"

The following pages link to Types are weak <i>ω</i> -groupoids (Q3079518):

Displaying 38 items.

• Modeling Martin-Löf type theory in categories (Q280835) (← links)
• Canonicity of weak \(\omega\)-groupoid laws using parametricity theory (Q283766) (← links)
• Martin-Löf complexes (Q385803) (← links)
• Univalence in locally Cartesian closed categories (Q524707) (← links)
• The identity type weak factorisation system (Q959823) (← links)
• Meaning explanations at higher dimension (Q1688954) (← links)
• The simplicial model of univalent foundations (after Voevodsky) (Q2031691) (← links)
• The construction of set-truncated higher inductive types (Q2133178) (← links)
• Homotopical inverse diagrams in categories with attributes (Q2207273) (← links)
• A proof of the existence of Batanin's initial operad (Q2411670) (← links)
• Internal languages of finitely complete \((\infty , 1)\)-categories (Q2414596) (← links)
• An \(\omega\)-category with all duals is an \(\omega\)-groupoid (Q2463395) (← links)
• Weak omega-categories from intensional type theory (Q2786141) (← links)
• Homotopy type theory and Voevodsky’s univalent foundations (Q2933829) (← links)
• A homotopy-theoretic model of function extensionality in the effective topos (Q3119466) (← links)
• A type theory for synthetic $\infty$-categories (Q3121017) (← links)
• Mathesis Universalis and Homotopy Type Theory (Q3305624) (← links)
• Weak generic types and coverings of groups I (Q3414763) (← links)
• Weak ω-Categories from Intensional Type Theory (Q3637194) (← links)
• (Q4989403) (← links)
• Hom weak ω-categories of a weak ω-category (Q5058363) (← links)
• (Q5094128) (← links)
• A Type-Theoretical Definition of Weak {\omega}-Categories (Q5144671) (← links)
• Type Theory and Homotopy (Q5253928) (← links)
• Homotopical patch theory (Q5371976) (← links)
• 2-Dimensional Directed Type Theory (Q5739362) (← links)
• Introduction – from type theory and homotopy theory to univalent foundations (Q5740647) (← links)
• Homotopy limits in type theory (Q5740649) (← links)
• A notion of homotopy for the effective topos (Q5740653) (← links)
• Univalence for inverse diagrams and homotopy canonicity (Q5740656) (← links)
• A rewriting coherence theorem with applications in homotopy type theory (Q5879270) (← links)
• (Q6079238) (← links)
• Martin-Löf identity types in C-systems (Q6139425) (← links)
• Monoidal weak <i>ω</i>-categories as models of a type theory (Q6149952) (← links)
• Bicategorical type theory: semantics and syntax (Q6149956) (← links)
• On the ∞$\infty$‐topos semantics of homotopy type theory (Q6150054) (← links)
• Topological quantum gates in homotopy type theory (Q6584358) (← links)
• Semantics for two-dimensional type theory (Q6649441) (← links)