4 citations · 7 across the 6 of their papers we have counts for
Showing 2022 · math.CTShow all
3 papers · 2 filters
math.CT2022
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…
math.CT2022
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…
math.CT2022
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…