Pages that link to "Item:Q5145328"
From MaRDI portal
The following pages link to Cellular Cohomology in Homotopy Type Theory (Q5145328):
Displaying 5 items.
- Construction of the circle in \textit{UniMath} (Q2031555) (← links)
- The James construction and \(\pi _4(\mathbb{S}^{3})\) in homotopy type theory (Q2319987) (← links)
- Attaching cells and the rational homotopy type (Q2735700) (← links)
- Cellularization of structures in stable homotopy categories (Q4649443) (← links)
- The Hurewicz theorem in homotopy type theory (Q6112530) (← links)