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 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TAC_2024_41_a37/ LA - en ID - TAC_2024_41_a37 ER -