Pages that link to "Item:Q5144671"

The following pages link to A Type-Theoretical Definition of Weak {\omega}-Categories (Q5144671):

Displaying 11 items.

• A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof (Q1705469) (← links)
• The construction of set-truncated higher inductive types (Q2133178) (← 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)