Simple string diagrams and n-sesquicategories
Category Theory
2022-11-17 v4 Quantum Algebra
Abstract
We define a monad whose operations are encoded by simple string diagrams and we define -sesquicategories as algebras over this monad. This monad encodes the compositional structure of -dimensional string diagrams. We give a generators and relations description of , which allows us to describe -sesquicategories as -globular sets equipped with associative and unital composition and whiskering operations. One can also see them as strict -categories without interchange laws. Finally we give an inductive characterization of -sesquicategories.
Keywords
Cite
@article{arxiv.2202.09293,
title = {Simple string diagrams and n-sesquicategories},
author = {Manuel Araújo},
journal= {arXiv preprint arXiv:2202.09293},
year = {2022}
}