Globular weak ω-categories as models of a type theory - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Globular weak ω-categories as models of a type theory

Thibaut Benjamin
  • Fonction : Auteur
Eric Finster
Fichier principal
Vignette du fichier
HoTTUF_2021_paper_12.pdf (270.27 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04337467 , version 1 (13-12-2023)

Identifiants

  • HAL Id : hal-04337467 , version 1

Citer

Thibaut Benjamin, Eric Finster, Samuel Mimram. Globular weak ω-categories as models of a type theory. Workshop on Homotopy Type Theory / Univalent Foundations, Jul 2021, The Internet, Argentina. ⟨hal-04337467⟩
7 Consultations
7 Téléchargements

Partager

Gmail Facebook X LinkedIn More