Year: 2016
Type: preprint
Abstract: We give a direct proof that the category of strict $ω$-categories is monadic over the category of polygraphs.
Source: arXiv (Cornell University)
Author: Métayer, François
Institution: Institut de Recherche en Informatique Fondamentale
Language: English
Subfield: Mathematical Physics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2962936332