Geodesic
String diagrams for 4-categories and fibrations of mapping 4-groupoids
Theory and applications of categories, Tome 41 (2024), pp. 1352-1398 Cet article a éte moissonné depuis la source Theory and Applications of Categories website

Voir la notice de l'article

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 functor on mapping spaces to a fixed target strict 4-category is a fibration of strict 4-groupoids.

Publié le :
Classification : 18N20, 18N30
Keywords: string diagrams, fibrations, higher categories 
@article{TAC_2024_41_a37,
     author = {Manuel Ara\'ujo},
     title = {String diagrams for 4-categories and fibrations of mapping 4-groupoids},
     journal = {Theory and applications of categories},
     pages = {1352--1398},
     year = {2024},
     volume = {41},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2024_41_a37/}
}
TY  - JOUR
AU  - Manuel Araújo
TI  - String diagrams for 4-categories and fibrations of mapping 4-groupoids
JO  - Theory and applications of categories
PY  - 2024
SP  - 1352
EP  - 1398
VL  - 41
UR  - http://geodesic.mathdoc.fr/item/TAC_2024_41_a37/
LA  - en
ID  - TAC_2024_41_a37
ER  - 
%0 Journal Article
%A Manuel Araújo
%T String diagrams for 4-categories and fibrations of mapping 4-groupoids
%J Theory and applications of categories
%D 2024
%P 1352-1398
%V 41
%U http://geodesic.mathdoc.fr/item/TAC_2024_41_a37/
%G en
%F TAC_2024_41_a37
Manuel Araújo. String diagrams for 4-categories and fibrations of mapping 4-groupoids. Theory and applications of categories, Tome 41 (2024), pp. 1352-1398. http://geodesic.mathdoc.fr/item/TAC_2024_41_a37/