4 citations · 7 across the 6 of their papers we have counts for
5 papers · 1 filter
Computads and string diagrams for -sesquicategories
Manuel Araújo
An -sesquicategory is an -globular set with strictly associative and unital composition and whiskering operations, which are however not required to satisfy the Godement inte…
Coherence for adjunctions in a -category
Manuel Araújo
We give a definition of a coherent adjunction in a -category consisting of a finite list of -morphisms for , plus equations beetween -morphisms. We prove that the…
Simple string diagrams and n-sesquicategories
Manuel Araújo
We define a monad whose operations are encoded by simple string diagrams and we define -sesquicategories as algebras over this monad. This monad encod…
Coherence for adjunctions in a -category via string diagrams
Manuel Araújo
We define a coherent adjunction in a strict -category and we use string diagrams to show that any adjunction can be extended to a coherent adjunction in an essentially unique wa…
String diagrams for -categories and fibrations of mapping -groupoids
Manuel Araújo
We introduce a string diagram calculus for strict -categories and use it to prove that given a cofinite inclusion of -categorical presentations, the induced restriction funct…