Pages that link to "Item:Q3177878"
From MaRDI portal
The following pages link to Homotopy-Initial Algebras in Type Theory (Q3177878):
Displaying 14 items.
- Algebraic models for homotopy types (Q2570233) (← links)
- Higher inductive types as homotopy-initial algebras (Q2819787) (← links)
- Homotopy Type Theory (Q2937385) (← links)
- Mathesis Universalis and Homotopy Type Theory (Q3305624) (← links)
- Pro-algebraic homotopy types (Q3525978) (← links)
- (Q3719794) (← links)
- (Q4944848) (← links)
- Semantics of higher inductive types (Q4958656) (← links)
- Cellular Cohomology in Homotopy Type Theory (Q5145328) (← links)
- W-types in setoids (Q5155691) (← links)
- Lawvere-Tierney sheafification in Homotopy Type Theory (Q5195281) (← links)
- Towards Constructive Homological Algebra in Type Theory (Q5428258) (← links)
- Every Elementary Higher Topos has a Natural Number Object (Q5858943) (← links)
- Topological quantum gates in homotopy type theory (Q6584358) (← links)