English

Computads and string diagrams for $n$-sesquicategories

Category Theory 2024-10-02 v2

Abstract

An nn-sesquicategory is an nn-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 nn-categories. In arXiv:2202.09293 we showed how these can be defined as algebras over a monad TnDsT_n^{D^s} whose operations are simple string diagrams. In this paper, we give an explicit description of computads for the monad TnDsT_n^{D^s} 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 nn-sesquicategories. This is a step towards a theory of string diagrams for semistrict nn-categories.

Keywords

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}
}
R2 v1 2026-06-28T03:38:22.035Z