The Catalan simplicial set and uniform classification of monoidal-type categories

TL;DR

This paper demonstrates that the Catalan simplicial set can be used to classify various monoidal-type categories through a single nerve, providing a unified framework for their definitions and coherence structures.

Contribution

It shows that the homotopy coherent nerve of Cat classifies multiple monoidal-type categories, including new ones, unifying their definitions via maps from the Catalan simplicial set.

Findings

Maps from the Catalan simplicial set classify strict, monoidal, skew monoidal, lax, and Sigma-monoidal categories.

Identifies a new monoidal-type category corresponding to the most general maps.

Provides explicit coherence data for the newly identified monoidal-type category.

Abstract

Many monoidal-type objects are known to be classified by maps from the Catalan simplicial set $\mathbb{C}$ to various nerves of categories and higher categories. There are, for example, three different nerves of the 2-category of categories $\mathsf{Cat}$ with the property that maps from $\mathbb{C}$ into them are in one to one correspondence with strict monoidal, monoidal, and skew monoidal categories. In this last case, the classification result can be understood as justifying the definition of skew monoidal categories intrinsically in terms of the structure of $\mathbb{C}$. In this paper, we consider a single nerve -- the homotopy coherent nerve of $\mathsf{Cat}$ viewed as a one object simplicially enriched category -- and verify that maps from $\mathbb{C}$ to it classify the three monoidal-type categories mentioned above, as well as lax monoidal categories and $\Sigma$-monoidal categories. Furthermore, we identify a new monoidal-type category corresponding to the most general such maps and present them in the usual way: a collection of data subject to explicit coherence requirements. These results suggest that the space of maps from $\mathbb{C}$ to the coherent nerve of $\mathsf{Cat}$ provides a uniform framework for the definition and study of many species of monoidal-type category, old or new.