Eilenberg-MacLane spaces in homotopy type theory
From MaRDI portal
Publication:4635651
DOI10.1145/2603088.2603153zbMATH Open1395.68249OpenAlexW2153583112MaRDI QIDQ4635651FDOQ4635651
Daniel R. Licata, Eric Finster
Publication date: 23 April 2018
Published in: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2603088.2603153
Recommendations
Cited In (20)
- On Eilenberg-MacLane spaces
- Title not available (Why is that?)
- Non-accessible localizations
- Adjoint Logic with a 2-Category of Modes
- A Cartesian bicategory of polynomial functors in homotopy type theory
- The long exact sequence of homotopy n-groups
- Topological quantum gates in homotopy type theory
- Nilpotent types and fracture squares in homotopy type theory
- Types over c(k) spaces
- Homotopical patch theory
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory
- The construction of set-truncated higher inductive types
- Eilenberg-MacLane spaces and stabilisation in homotopy type theory
- The Hurewicz theorem in homotopy type theory
- Title not available (Why is that?)
- Higher Structures in Homotopy Type Theory
- Idempotents in intensional type theory
- Localization in Homotopy Type Theory
- Modalities in homotopy type theory
- The structuralist mathematical style: Bourbaki as a case study
Uses Software
This page was built for publication: Eilenberg-MacLane spaces in homotopy type theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635651)
