The James construction and \(\pi _4(\mathbb{S}^{3})\) in homotopy type theory (Q2319987): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Importer (talk | contribs)
Changed an Item
Property / arXiv ID
 
Property / arXiv ID: 1710.10307 / rank
 
Normal rank

Revision as of 04:06, 19 April 2024

scientific article
Language Label Description Also known as
English
The James construction and \(\pi _4(\mathbb{S}^{3})\) in homotopy type theory
scientific article

    Statements

    The James construction and \(\pi _4(\mathbb{S}^{3})\) in homotopy type theory (English)
    0 references
    0 references
    21 August 2019
    0 references
    homotopy type theory
    0 references
    James construction
    0 references
    homotopy groups of spheres
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references