Recommendations
Cites work
- scientific article; zbMATH DE number 4122835 (Why is no real title available?)
- scientific article; zbMATH DE number 2103273 (Why is no real title available?)
- scientific article; zbMATH DE number 937418 (Why is no real title available?)
- A mechanization of the Blakers-Massey connectivity theorem in homotopy type theory
- Axiomatic Approach to Homology Theory
- Computational higher-dimensional type theory
- Cubical type theory: a constructive interpretation of the univalence axiom
- Homotopy type theory in Lean
- Meaning explanations at higher dimension
- On higher inductive types in cubical type theory
- The Cayley-Dickson construction in homotopy type theory
- The independence of Markov's principle in type theory
- \(\pi _{n }(S ^{n })\) in homotopy type theory
Cited in
(9)- Cellular Cohomology in Homotopy Type Theory
- Delooping cyclic groups with lens spaces in homotopy type theory
- Synthetic integral cohomology in Cubical Agda
- Attaching cells and the rational homotopy type
- Delooping generated groups in homotopy type theory
- Cellularization of structures in stable homotopy categories
- The Hurewicz theorem in homotopy type theory
- Classification of covering spaces and canonical change of basepoint
- Coslice colimits in homotopy type theory
This page was built for publication: Cellular cohomology in homotopy type theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5114825)
