Pages that link to "Item:Q5740648"

The following pages link to Univalent categories and the Rezk completion (Q5740648):

Displaying 21 items.

• Isomorphism is equality (Q740487) (← links)
• Homotopy type theory in Lean (Q1687770) (← links)
• Univalent foundations as structuralist foundations (Q1708879) (← links)
• Axiomatizations of arithmetic and the first-order/second-order divide (Q2053347) (← links)
• Univalence and completeness of Segal objects (Q2104885) (← links)
• The construction of set-truncated higher inductive types (Q2133178) (← links)
• From signatures to monads in \textsf{UniMath} (Q2319990) (← links)
• Some Wellfounded Trees in UniMath (Q2819193) (← links)
• A type theory for synthetic $\infty$-categories (Q3121017) (← links)
• Displayed Categories (Q3121521) (← links)
• Heterogeneous Substitution Systems Revisited (Q4580223) (← links)
• Categorical structures for type theory in univalent foundations (Q4683858) (← links)
• An introduction to univalent foundations for mathematicians (Q4684362) (← links)
• (Q4989403) (← links)
• (Q5009703) (← links)
• Bicategories in univalent foundations (Q5055496) (← links)
• (Q5089004) (← links)
• Displayed Categories (Q5111300) (← links)
• (Q5216301) (← links)
• (Q6060678) (← links)
• Bicategorical type theory: semantics and syntax (Q6149956) (← links)