Pages that link to "Item:Q5144671"
From MaRDI portal
The following pages link to A Type-Theoretical Definition of Weak {\omega}-Categories (Q5144671):
Displaying 15 items.
- Weak \(n\)-categories: Opetopic and multitopic foundations. (Q1421253) (← links)
- A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof (Q1705469) (← links)
- Orientals as free weak \(\omega \)-categories (Q2079655) (← links)
- The construction of set-truncated higher inductive types (Q2133178) (← links)
- Weak omega-categories from intensional type theory (Q2786141) (← links)
- Types are weak <i>ω</i> -groupoids (Q3079518) (← links)
- (Q4989403) (← links)
- Hom weak ω-categories of a weak ω-category (Q5058363) (← links)
- (Q5089004) (← links)
- Syntactic approaches to opetopes (Q5094693) (← links)
- Monoidal weak <i>ω</i>-categories as models of a type theory (Q6149952) (← links)
- Bicategorical type theory: semantics and syntax (Q6149956) (← links)
- Computads for weak \(\omega \)-categories as an inductive type (Q6562849) (← links)
- Semantics for two-dimensional type theory (Q6649441) (← links)
- A type theory for strictly unital \(\infty \)-categories (Q6649483) (← links)
