Hypercubical manifolds in homotopy type theory

Documenti analoghi

• Classifying covering types in homotopy type theory
  di: Mimram, Samuel, et al.
  Pubblicazione: (2025)
• Delooping cyclic groups with lens spaces in homotopy type theory
  di: Mimram, Samuel, et al.
  Pubblicazione: (2024)
• Delooping presented groups in homotopy type theory
  di: Champin, Camil, et al.
  Pubblicazione: (2024)
• Central H-spaces and banded types
  di: Buchholtz, Ulrik, et al.
  Pubblicazione: (2023)
• The equivariant model structure on cartesian cubical sets
  di: Awodey, Steve, et al.
  Pubblicazione: (2024)