Papers
Topics
Authors
Recent
Search
2000 character limit reached

The Cayley-Dickson Construction in Homotopy Type Theory

Published 4 Oct 2016 in math.AT, cs.LO, math.CT, and math.LO | (1610.01134v1)

Abstract: We define in the setting of homotopy type theory an H-space structure on $\mathbb S3$. Hence we obtain a description of the quaternionic Hopf fibration $\mathbb S3\hookrightarrow\mathbb S7\twoheadrightarrow\mathbb S4$, using only homotopy invariant tools.

Citations (9)
View on Semantic Scholar

Summary

No one has generated a summary of this paper yet.

Sign Up to Summarize

Paper to Video (Beta)

No one has generated a video about this paper yet.

Sign Up to Generate All Videos Subscribe on YouTube

Whiteboard

No one has generated a whiteboard explanation for this paper yet.

Sign Up to Generate

Open Problems

We haven't generated a list of open problems mentioned in this paper yet.

Generate Now

Continue Learning

We haven't generated follow-up questions for this paper yet.

Generate Now

Authors (2)

  1. Ulrik Buchholtz 
  2. Egbert Rijke 

Collections

Sign up for free to add this paper to one or more collections.

Sign Up