Pages that link to "Item:Q3121020"

The following pages link to The Cayley-Dickson construction in homotopy type theory (Q3121020):

Displaying 8 items.

• A non-Hausdorff quaternion multiplication. (Q1427777) (← links)
• Homotopy type theory in Lean (Q1687770) (← links)
• On Davis-Januszkiewicz homotopy types I: formality and rationalisation (Q1766304) (← links)
• The James construction and \(\pi _4(\mathbb{S}^{3})\) in homotopy type theory (Q2319987) (← links)
• (Q5028425) (← links)
• (Q5114825) (← links)
• The Seifert-van Kampen Theorem in Homotopy Type Theory (Q5278408) (← links)
• The Cayley-Dickson Construction in Homotopy Type Theory (Q6278286) (← links)