M. Ara'ujo

collaborators

2 papers

math.CT2024

Coherence for adjunctions in a $4$ -category

Manuel AraÃºjo

We give a definition of a coherent adjunction in a $4$ -category consisting of a finite list of $k$ -morphisms for $k \leq 4$ , plus equations beetween $4$ -morphisms. We prove that the…

math.CT2024

String diagrams for $4$ -categories and fibrations of mapping $4$ -groupoids

Manuel AraÃºjo

We introduce a string diagram calculus for strict $4$ -categories and use it to prove that given a cofinite inclusion of $4$ -categorical presentations, the induced restriction funct…

Coherence for adjunctions in a 4-category

String diagrams for 4-categories and fibrations of mapping 4-groupoids

Coherence for adjunctions in a $4$ -category

String diagrams for $4$ -categories and fibrations of mapping $4$ -groupoids