scientific article
From MaRDI portal
Publication:3121020
Publication date: 19 March 2019
Full work available at URL: https://arxiv.org/abs/1610.01134
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
(H)-spaces and duals (55P45) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Nonassociative division algebras (17A35)
Related Items (4)
Homotopy type theory in Lean ⋮ Higher Structures in Homotopy Type Theory ⋮ Unnamed Item ⋮ Unnamed Item
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Univalence for inverse EI diagrams
- The simplicial model of univalent foundations (after Voevodsky)
- Homologie singulière des espaces fibrés. Applications
- Topological and Simplicial Models of Identity Types
- The Lean Theorem Prover (System Description)
- Homotopy theoretic models of identity types
- The octonions
- Cubical Type Theory: a constructive interpretation of the univalence axiom
- A Cubical Approach to Synthetic Homotopy Theory
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory
- Homotopy Type Theory: Univalent Foundations of Mathematics
- H-Spaces which are CO-H-Spaces
- The univalence axiom for elegant Reedy presheaves
This page was built for publication: