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

Globular weak ω-categories as models of a type theory

Thibaut Benjamin
  • Fonction : Auteur
Eric Finster
University of Cambridge [UK]
Samuel Mimram
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
CV

Domaines

Catégories et ensembles [math.CT]
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)

Samuel Mimram  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04337467

Soumis le : mercredi 13 décembre 2023-16:20:28

Dernière modification le : jeudi 1 août 2024-17:08:02

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS LIX X-LIX X-DEP-INFO IP_PARIS
31 Consultations
16 Téléchargements

Partager

More