Vers une Axiomatisation de la Théorie des Catégories Supérieures

Autor:	Bertrand Toën
Rok vydání:	2005
Předmět:	Pure mathematics Mathematics::Category Theory General Mathematics Equivalence (formal languages) Mathematics
Zdroj:	K-Theory. 34:233-263
ISSN:	1573-0514 0920-3036
DOI:	10.1007/s10977-005-4556-6
Popis:	We define a notion of "theory of (1,infty)-categories", and we prove that such a theory is unique up to equivalence.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::80c447e81fd43683c28f70192b9b5d92 https://doi.org/10.1007/s10977-005-4556-6 Zobrazit plný text záznamu