Pages that link to "Item:Q3637194"

The following pages link to Weak ω-Categories from Intensional Type Theory (Q3637194):

Displaying 13 items.

• Canonicity of weak \(\omega\)-groupoid laws using parametricity theory (Q283766) (← links)
• Weak \(n\)-categories: Opetopic and multitopic foundations. (Q1421253) (← links)
• Meaning explanations at higher dimension (Q1688954) (← links)
• Orientals as free weak \(\omega \)-categories (Q2079655) (← links)
• The construction of set-truncated higher inductive types (Q2133178) (← 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)
• Homotopy limits in type theory (Q5740649) (← links)
• A rewriting coherence theorem with applications in homotopy type theory (Q5879270) (← links)
• Monoidal weak <i>ω</i>-categories as models of a type theory (Q6149952) (← links)
• On the ∞$\infty$‐topos semantics of homotopy type theory (Q6150054) (← links)