Symmetric Monoidal Double Category

• Symmetric monoidal double category is a higher-categorical structure combining two types of morphisms and coherent tensor operations with symmetric braiding.
• It integrates double categories with monoidal features by enforcing associativity, unit, and braiding coherence conditions across vertical, horizontal, and 2-dimensional cells.
• Applications span modular functors, spans, profunctors, and topological field theories, demonstrating its central role in advanced categorical frameworks.

A symmetric monoidal double category is a higher-categorical structure that combines the features of both double categories and symmetric monoidal categories, providing an organizational framework that encodes two types of morphisms (vertical and horizontal), 2-dimensional "squares," and coherently compatible tensor product operations equipped with symmetric braiding. This construction has become a foundational object in modern higher category theory, with applications ranging from modular functors in conformal field theory to the categorical study of spans, profunctors, and multicategories.

1. Structure of Double Categories and Monoidal Double Categories

A double category $\mathbb{D}$ consists of:

• A collection of objects $\mathrm{Ob}(\mathbb{D})$.
• For each pair $A,B\in\mathrm{Ob}(\mathbb{D})$, a set of vertical 1-morphisms $A\xrightarrow{v}B$ with strictly associative composition and identities.
• For each pair $A,B\in\mathrm{Ob}(\mathbb{D})$, a set of horizontal 1-cells $A\xRightarrow{f}B$, with composition associative and unital up to coherent isomorphism.
• 2-cells (squares) of the form:

$\begin{tikzcd}[ampersand replacement=%%%%6%%%%] A \ar[r,"M"] \ar[d,"f"'] \ar[dr,phantom,"\Downarrow \alpha"] %%%%6%%%% B \ar[d,"g"] \ C \ar[r,"N"'] %%%%6%%%% D \end{tikzcd}$

with vertical sources and targets given by the vertical morphisms, and horizontal sources and targets given by the horizontal 1-cells. Both vertical and horizontal compositions of squares are defined, subject to the interchange law:

$$(\alpha'\circ_h \alpha)\circ_v (\beta'\circ_h \beta) = (\alpha'\circ_v \beta')\circ_h (\alpha \circ_v \beta)$$

(Shulman, 2010, Hansen et al., 2019, Fuchs et al., 5 May 2026).

A monoidal double category $(\mathbb{D},\otimes,I,\alpha,\lambda,\rho)$ is a double category equipped with:

• A (pseudo) double functor (the tensor product) $\otimes: \mathbb{D}\times\mathbb{D} \to \mathbb{D}$, which acts on all levels (objects, vertical, horizontal, and 2-cells).
• A unit object $\mathrm{Ob}(\mathbb{D})$0 (provided as a double functor $\mathrm{Ob}(\mathbb{D})$1).
• Associator and unitors: invertible double-natural transformations

$\mathrm{Ob}(\mathbb{D})$2

These satisfy the pentagon and triangle coherence axioms (Hansen et al., 2019, Shulman, 2010).

2. Symmetry, Braiding, and Coherence Conditions

A braided monoidal double category includes a braiding, given as an invertible double-natural transformation:

$\mathrm{Ob}(\mathbb{D})$3

where $\mathrm{Ob}(\mathbb{D})$4 swaps the factors in $\mathrm{Ob}(\mathbb{D})$5. The braiding satisfies the hexagon axiom (the corresponding diagram involving associators and $\mathrm{Ob}(\mathbb{D})$6 commutes).

A symmetric monoidal double category is a braided monoidal double category in which the double braiding squares to the identity:

$\mathrm{Ob}(\mathbb{D})$7

These conditions extend naturally to all categorical levels (vertical, horizontal, and 2-cells) and are encoded in the required commutative diagrams (Hansen et al., 2019, Shulman, 2010, Fuchs et al., 5 May 2026, Gambino et al., 18 Nov 2025).

3. Fibrancy and the Lifting Condition

To transfer monoidal, braided, or symmetric structures from the double categorical setting to associated bicategories, a fibrancy (or "lifting") condition is required. Specifically, for every vertical 1-morphism $\mathrm{Ob}(\mathbb{D})$8, there must exist a companion horizontal 1-cell $\mathrm{Ob}(\mathbb{D})$9, together with canonical 2-cells ("zig-zag" triangles) and their duals (conjoints), satisfying specified identities. The fibrancy condition ensures that the induced structure on the horizontal bicategory inherits the desired monoidal properties (Shulman, 2010, Hansen et al., 2019).

4. Symmetric Monoidal Double Categories and Their Horizontal Bicategories

Given a fibrant symmetric monoidal double category $A,B\in\mathrm{Ob}(\mathbb{D})$0, the horizontal bicategory $A,B\in\mathrm{Ob}(\mathbb{D})$1 is defined as follows:

• Objects: same as $A,B\in\mathrm{Ob}(\mathbb{D})$2 (the objects of the underlying vertical category).
• 1-cells: horizontal 1-cells of $A,B\in\mathrm{Ob}(\mathbb{D})$3, $A,B\in\mathrm{Ob}(\mathbb{D})$4.
• 2-cells: globular 2-cells, i.e., squares whose vertical edges are both identities.

The symmetric monoidal structure on $A,B\in\mathrm{Ob}(\mathbb{D})$5 descends to $A,B\in\mathrm{Ob}(\mathbb{D})$6:

• The tensor product on objects and 1-cells comes from the corresponding structures in $A,B\in\mathrm{Ob}(\mathbb{D})$7.
• Associators, unitors, and braidings are given by the companions of the corresponding vertical arrows in $A,B\in\mathrm{Ob}(\mathbb{D})$8.
• All coherence diagrams (pentagon, triangle, hexagon, syllepsis) are induced via the uniqueness and compatibility properties of companions.

The association $A,B\in\mathrm{Ob}(\mathbb{D})$9 extends to a functor between (fibrant) symmetric monoidal double categories and symmetric monoidal bicategories, preserving the full algebraic structure (Shulman, 2010, Hansen et al., 2019).

5. Canonical Examples

Several prominent examples illustrate the ubiquity and utility of symmetric monoidal double categories:

• Bordisms: The double category $A\xrightarrow{v}B$0 of 1-manifolds, smooth embeddings (vertical), 2-dimensional bordisms (horizontal), and isotopy classes of embeddings of bordisms (squares), with disjoint union as the symmetric monoidal structure (Fuchs et al., 5 May 2026).
• Spans: For any category $A\xrightarrow{v}B$1 with pullbacks, the double category $A\xrightarrow{v}B$2 takes objects from $A\xrightarrow{v}B$3, horizontal 1-cells as spans, vertical arrows as morphisms in $A\xrightarrow{v}B$4, and squares as maps of spans. It is symmetric monoidal under the cartesian product.
• Profunctors: The double category $A\xrightarrow{v}B$5, with small categories as objects, functors as vertical arrows, profunctors as horizontal arrows, and natural transformations as 2-cells, is symmetric monoidal under the cartesian product (Hansen et al., 2019, Shulman, 2010).
• Open Markov Processes: Combinatorially, one obtains further examples by considering decorated cospans or similar structures under disjoint union.
• Multicategories and Operads: The double category of symmetric multicategories, multifunctors, and bimodules inherits a symmetric oplax monoidal structure, subsuming constructions such as the Boardman-Vogt tensor product (Gambino et al., 18 Nov 2025).

6. The Gray Monoidal Product and Closed Structure

The category of double categories and double functors $A\xrightarrow{v}B$6 admits a symmetric closed monoidal structure via the Gray tensor product $A\xrightarrow{v}B$7:

• For double categories $A\xrightarrow{v}B$8 and $A\xrightarrow{v}B$9, $A,B\in\mathrm{Ob}(\mathbb{D})$0 is constructed as the left adjoint to the internal hom $A,B\in\mathrm{Ob}(\mathbb{D})$1.
• The unit object $A,B\in\mathrm{Ob}(\mathbb{D})$2 is the terminal double category.
• There are canonical associator, unitors, and symmetric braiding (with coherence diagrams given in full detail, e.g., pentagon and hexagon, in (Böhm, 2019)).
• The closed structure is realized by the adjunction:

$A,B\in\mathrm{Ob}(\mathbb{D})$3

(Böhm, 2019). This structure ensures that various double category constructions (e.g., identity, monads, quintets) are strongly monoidal functors.

7. Applications and Significance

Symmetric monoidal double categories provide the essential setting for advanced categorical constructions, particularly where "two-dimensional" morphisms interact with symmetric tensor products. Notable areas of application include:

• Modular Functors and Topological Field Theories: Modular functors arising from string-net and skein-theoretic constructions are framed as symmetric monoidal double functors out of bordism double categories (Fuchs et al., 5 May 2026).
• Functorial Constructions in Higher Category Theory: The passage from double categories with symmetric monoidal structure to symmetric monoidal bicategories underpins modern approaches to higher categorical algebra and topological quantum field theory (Hansen et al., 2019, Shulman, 2010).
• Abstract Categorical Frameworks: The double categorical perspective unifies and extends classic categorical objects, such as spans, profunctors, operadic bimodules, and Markov processes, supporting a wide variety of algebraic and geometric applications (Gambino et al., 18 Nov 2025).

Symmetric monoidal double categories, equipped with precise lifting properties and internal monoidal structures, thus constitute a central organizing principle in higher-dimensional algebra and its applications.