Central H-spaces and banded types

Documenti analoghi

• Ext groups in Homotopy Type Theory
  di: Christensen, J. Daniel, et al.
  Pubblicazione: (2023)
• Epimorphisms and Acyclic Types in Univalent Foundations
  di: Buchholtz, Ulrik, et al.
  Pubblicazione: (2024)
• Delooping cyclic groups with lens spaces in homotopy type theory
  di: Mimram, Samuel, et al.
  Pubblicazione: (2024)
• The equivariant model structure on cartesian cubical sets
  di: Awodey, Steve, et al.
  Pubblicazione: (2024)
• Classifying covering types in homotopy type theory
  di: Mimram, Samuel, et al.
  Pubblicazione: (2025)