homotopy.io: a proof assistant for finitely-presented globular $n$-categories

Documenti analoghi

• A layout algorithm for higher-dimensional string diagrams
  di: Tataru, Calin, et al.
  Pubblicazione: (2023)
• The theory and applications of anticolimits
  di: Tataru, Calin, et al.
  Pubblicazione: (2024)
• Naturality for higher-dimensional path types
  di: Benjamin, Thibaut, et al.
  Pubblicazione: (2025)
• A Syntax for Strictly Associative and Unital $\infty$-Categories
  di: Finster, Eric, et al.
  Pubblicazione: (2023)
• Manifold Diagrams for Higher Categories
  di: Heidemann, Lukas
  Pubblicazione: (2024)