2 papers
math.CT2022
Free precategories as presheaf categories
Simon Forest, Samuel Mimram
Precategories generalize both the notions of strict -category and sesquicategory: their definition is essentially the same as the one of strict -categories, excepting that we…
math.CT2022
An extension of Batanin's approach to globular algebras
Simon Forest
In earlier work, Batanin has shown that an important class of definitions of higher categories could be apprehended together simply as monads over globular sets. This allowed him t…