Orientals as free algebras - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Higher Structures Année : 2023

Orientals as free algebras

Résumé

The aim of this paper is to give an alternative construction of Street's cosimplicial object of orientals, based on an idea of Burroni that orientals are free algebras for some algebraic structure on strict $\omega$-categories. More precisely, following Burroni, we define the notion of an expansion on an $\omega$-category and we show that the forgetful functor from strict $\omega$-categories endowed with an expansion to strict $\omega$-categories is monadic. By iterating this monad starting from the empty $\omega$-category, we get a cosimplicial object in strict $\omega$-categories. Our main contribution is to show that this cosimplicial object is the cosimplicial objects of orientals. To do so, we prove, using Steiner's theory of augmented directed chain complexes, a general result for comparing polygraphs having same generators and same linearized sources and targets.

Dates et versions

hal-04102073 , version 1 (22-05-2023)

Identifiants

Citer

Dimitri Ara, Yves Lafont, François Métayer. Orientals as free algebras. Higher Structures, 2023, 7 (1), pp.293-327. ⟨hal-04102073⟩
21 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More