Nerves of generalized multicategories

DOI10.1016/J.AIM.2026.110862MaRDI QIDQ6846204zbMATH OpenFDO

Publication date 11 March 2026

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.AIM.2026.110862

\(T\)-category generalized multicategory local presentability nerve simplicial object

Accessible and locally presentable categories (18C35) Enriched categories (over closed or monoidal categories) (18D20) Non-symmetric operads, multicategories, generalized multicategories (18M65) 2-categories, bicategories, double categories (18N10) Simplicial sets, simplicial objects (18N50)

Review text

The notion of \(T\)-category for a monad \(T\) on a category \(\mathcal{E}\) is due to \textit{A. Burroni} [Cah. Topologie Géom. Différ. Catégoriques 12, 215--321 (1971; Zbl 0246.18007)]. \(T\)-categories have been used as a base for enrichment [\textit{T. Leinster}, J. Pure Appl. Algebra 168, No. 2--3, 391--406 (2002; Zbl 1009.18006); \textit{T. Leinster}, Higher operads, higher categories. Cambridge: Cambridge University Press (2004; Zbl 1160.18001)], which led the authors' interest in the notion [\textit{S. Fujii} and \textit{S. Lack}, ``The familial nature of enrichment over virtual double categories, Preprint, \url{arXiv:2507.05529}]. While many aspects of \(T\)-categories have been heavily investigated, relatively little attention has been given to the category of all \(T\)-categories for a given \(T\). The first goal of this paper is to remedy this situation. The second goal is to introduce and study a nerve construction for \(T\)-categories.\N\NThe synopsis of the paper goes as follows:\N\N\begin{itemize}\N\item[\S 2] reviews the definition of \(T\)-categories, showing (Theorem 2.11) that in lfp (locally finitely presentable) case the category \(\mathbf{Cat}_{T}\left(\mathcal{E}\right)\) of \(T\)-categories is locally finitely presentable.\N\item[\S 3] introduces the nerve construction for \(T\)-categories, giving a fully faithful embedding \(\mathbf{Cat}_{T}\left(\mathcal{E}\right)\rightarrow s_{T}\mathcal{E}\) of the category of \(T\)-categories in the category of \(T\)-simplicial objects and characterizing the image in terms of a nerve or Segal condition. It is also shown (Theorem 3.15) that in the flp case the category is locally finitely presentable.\N\item[\S 4] establishes a comonadicity result, showing (Theorem 4.3) that \(s_{T}\mathcal{E}\) is comonadic over a functor category provided that \(\mathcal{E}\) has finite products.\N\item[\S 5] demonstrates that \(s_{T}\mathcal{E}\) can be enriched over simplicial sets, generalizing the classical fact that the category \(s\mathcal{E}\) of simplicial objects in \(\mathcal{E}\) can be so enriched. The resulting category enriched over simplicial sets is denoted by \(\underline{s_{T}\mathcal{E}}\).\N\N\item[\S 6] shifts the attention to \(\mathbf{Cat}_{T}\left(\mathcal{E}\right)\), which inherits the simplicial enrichment of \(\underline{s_{T}\mathcal{E}}\). It is shown that the \(\mathbf{sSet}\)-valued homs of this induced structure on \(\mathbf{Cat}_{T}\left(\mathcal{E}\right)\) are in fact the nerves of categories, so that one obtains a 2-category \(\underline{\mathbf{Cat}_{T}\left(\mathcal{E} \right)}\) on \(\mathbf{Cat}_{T}\left(\mathcal{E}\right)\).\N\item[\S 7] shows (Theorem 7.11) that, whenever \(\mathcal{E}\)\ has pullbacks, \(\underline{s_{T}\mathcal{E}}\) has powers by the representable simplicial set \(\Delta\left[1\right]\), so that the 2-category \(\underline{\mathbf{Cat}_{T}\left(\mathcal{E}\right)}\) has powers by the arrow category \(\mathbf{2}\) (Theorem 7.13).\N\item[\S 8] studies local presentability of the enriched categories in the lfp case, establishing (Theorem 8.7) that \(\underline{s_{T}\mathcal{E}}\) is locally finitely presentable as an \(\mathbf{sSet}\)-category and (Theorem 8.8) that \(\underline{\mathbf{Cat}_{T}\left(\mathcal{E}\right)}\) is locally finitely presentable as a 2-category.\N\item[Appendix A] contains proofs of certain general facts about locally finitely presentable categories used in the paper.\N\end{itemize}

Cites work

This page was built for publication: Nerves of generalized multicategories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6846204)