Pages that link to "Item:Q2319987"
From MaRDI portal
The following pages link to The James construction and \(\pi _4(\mathbb{S}^{3})\) in homotopy type theory (Q2319987):
Displaying 7 items.
- On the James and Hilton-Milnor splittings, and the metastable EHP sequence (Q2235868) (← links)
- The Cayley-Dickson construction in homotopy type theory (Q3121020) (← links)
- An introduction to univalent foundations for mathematicians (Q4684362) (← links)
- Formalization of the fundamental group in untyped set theory using auto2 (Q5915787) (← links)
- Semantics for two-dimensional type theory (Q6649441) (← links)
- Syllepsis in homotopy type theory (Q6649459) (← links)
- A type theory for strictly unital \(\infty \)-categories (Q6649483) (← links)