Computads and string diagrams for $n$-sesquicategories
Category Theory
2024-10-02 v2
Abstract
An -sesquicategory is an -globular set with strictly associative and unital composition and whiskering operations, which are however not required to satisfy the Godement interchange laws which hold in -categories. In arXiv:2202.09293 we showed how these can be defined as algebras over a monad whose operations are simple string diagrams. In this paper, we give an explicit description of computads for the monad and we prove that the category of computads for this monad is a presheaf category. We use this to describe a string diagram notation for representing arbitrary composites in -sesquicategories. This is a step towards a theory of string diagrams for semistrict -categories.
Cite
@article{arxiv.2210.07704,
title = {Computads and string diagrams for $n$-sesquicategories},
author = {Manuel Araújo},
journal= {arXiv preprint arXiv:2210.07704},
year = {2024}
}