{"paper":{"title":"The formal theory of multimonoidal monads","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Gabriella B\\\"ohm","submitted_at":"2018-10-26T12:56:36Z","abstract_excerpt":"Certain aspects of Street's formal theory of monads in 2-categories are extended to multimonoidal monads in symmetric strict monoidal 2-categories. Namely, any symmetric strict monoidal 2-category $\\mathcal M$ admits a symmetric strict monoidal 2-category of pseudomonoids, monoidal 1-cells and monoidal 2-cells in $\\mathcal M$. Dually, there is a symmetric strict monoidal 2-category of pseudomonoids, opmonoidal 1-cells and opmonoidal 2-cells in $\\mathcal M$. Extending a construction due to Aguiar and Mahajan for $\\mathcal M=\\mathsf{Cat}$, we may apply the first construction $p$-times and the se"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.11300","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"}