Related papers: Multicategories from Symmetric Monoidal Categories
Let $\Lambda$ be the category of based finite sets $\mathbf{n}$ and based injections. We study properties of monoids and modules in $\Lambda$-sequences under the Kelly monoidal structure. In particular, we show that the forgetful functor…
We introduce a general definition for colored cyclic operads over a symmetric monoidal ground category, which has several appealing features. The forgetful functor from colored cyclic operads to colored operads has both adjoints, each of…
Recently, there has been renewed interest in the theory and applications of de Paiva's dialectica categories and their relationship to the category of polynomial functors. Both fall under the theory of generalized polynomial categories,…
We prove that there is an adjunction between what we call \'etale topological categories and restriction quantal frames that leads to an adjunction with a category of complete restriction monoids. This generalizes the adjunction between…
Let $\mathcal C$ be a category with finite colimits, and let $(\mathcal E,\mathcal M)$ be a factorisation system on $\mathcal C$ with $\mathcal M$ stable under pushouts. Writing $\mathcal C;\mathcal M^{\mathrm{op}}$ for the symmetric…
In some bicategories, the 1-cells are `morphisms' between the 0-cells, such as functors between categories, but in others they are `objects' over the 0-cells, such as bimodules, spans, distributors, or parametrized spectra. Many…
A pointed fusion category is a rigid tensor category with finitely many isomorphism classes of simple objects which moreover are invertible. Two tensor categories $C$ and $D$ are weakly Morita equivalent if there exists an indecomposable…
This is a report on aspects of the theory and use of monoidal categories. The first section introduces the main concepts through the example of the category of vector spaces. String notation is explained and shown to lead naturally to a…
We study limits in 2-categories whose objects are categories with extra structure and whose morphisms are functors preserving the structure only up to a coherent comparison map, which may or may not be required to be invertible. This is…
A morphism of a category which is simultaneously an epimorphism and a monomorphism is called a bimorphism. In \cite{DR2} we gave characterizations of monomorphisms (resp. epimorphisms) in arbitrary pro-categories, pro-(C), where (C) has…
This article is intended as a reference guide to various notions of monoidal categories and their associated string diagrams. It is hoped that this will be useful not just to mathematicians, but also to physicists, computer scientists, and…
We study monoidal 2-categories and bicategories in terms of categorical extensions and the cohomological data they determine in appropriate cohomology theories with coefficients in Picard groupoids. In particular, we analyze the hierarchy…
We prove that various structures on model $\infty$-categories descend to corresponding structures on their localizations: (i) Quillen adjunctions; (ii) two-variable Quillen adjunctions; (iii) monoidal and symmetric monoidal model…
The theory of 2-monads entails that, for a strict monoidal category C, there is a strict monoidal category L(C) such that strict monoidal functors from L(C) are precisely the lax monoidal functors from C. We give an elementary,…
I describe a generalization of the notion of operadic category due to Batanin and Markl. For each such operadic category I describe a skew monoidal category of collections, such that a monoid in this skew monoidal category is precisely an…
Via the adjunction $ - \boldsymbol{\cdot} 1 \dashv \mathcal V(1,-) \colon \mathsf{Span}(\mathcal V) \to \mathcal V \text{-} \mathsf{Mat} $ and a cartesian monad $ T $ on an extensive category $ \mathcal V $ with finite limits, we construct…
The category of double categories and double functors is equipped with a symmetric closed monoidal structure. For any double category $\mathbb A$, the corresponding internal hom functor $|[ \mathbb A,-]|$ sends a double category $\mathbb B$…
Every smooth manifold contains particles which propagate. These form objects and morphisms of a category equipped with a functor to the category of Abelian groups, turning this into a 0+1 topological field theory. We investigate the…
We form tricategories and the homomorphisms between them into a bicategory, whose 2-cells are certain degenerate tritransformations. We then enrich this bicategory into an example of a three-dimensional structure called a locally cubical…
The purpose of this expository note is to describe duality and trace in a symmetric monoidal category, along with important properties (including naturality and functoriality), and to give as many examples as possible. Among other things,…