43 citations · 45 across the 8 of their papers we have counts for
5 papers · 1 filter
A computational method for left-adjointness
Simon Forest
In this work, we investigate an effective method for showing that functors between categories are left adjoints. The method applies to a large class of categories, namely locally f…
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…
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…
Rewriting in Gray categories with applications to coherence
Simon Forest, Samuel Mimram
Over the recent years, the theory of rewriting has been used and extended in order to provide systematic techniques to show coherence results for strict higher categories. Here, we…
Unifying notions of pasting diagrams
Simon Forest
In this work, we relate the three main formalisms for the notion of pasting diagram in strict -categories: Street's parity complexes, Johnson's pasting schemes and Steiner's aug…