Eilenberg-MacLane spaces in homotopy type theory
From MaRDI portal
Publication:4635651
DOI10.1145/2603088.2603153zbMath1395.68249OpenAlexW2153583112MaRDI QIDQ4635651
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
Related Items (15)
Modalities in homotopy type theory ⋮ Adjoint Logic with a 2-Category of Modes ⋮ Localization in Homotopy Type Theory ⋮ The construction of set-truncated higher inductive types ⋮ Homotopical patch theory ⋮ Unnamed Item ⋮ Eilenberg-MacLane spaces and stabilisation in homotopy type theory ⋮ Higher Structures in Homotopy Type Theory ⋮ The Hurewicz theorem in homotopy type theory ⋮ The long exact sequence of homotopy n-groups ⋮ Idempotents in intensional type theory ⋮ Unnamed Item ⋮ Nilpotent types and fracture squares in homotopy type theory ⋮ Brouwer's fixed-point theorem in real-cohesive 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
