Constructing symmetric monoidal bicategories functorially

Abstract

We present a method of constructing monoidal, braided monoidal, and symmetric monoidal bicategories from corresponding types of monoidal double categories that satisfy a lifting condition. Many important monoidal bicategories arise naturally in this way, and applying our general method is much easier than explicitly verifying the coherence laws of a monoidal bicategory for each example. Abstracting from earlier work in this direction, we express the construction as a functor between locally cubical bicategories that preserves monoid objects; this ensures that it also preserves monoidal functors, transformations, adjunctions, and so on. Examples include the monoidal bicategories of algebras and bimodules, categories and profunctors, sets and spans, open Markov processes, parametrized spectra, and various functors relating them.

62 pages; v2: updated references

References in corpus (10)

• Constructing symmetric monoidal bicategories
• Enhanced 2-categories and limits for lax morphisms
• Comparing composites of left and right derived functors
• Pseudo Algebras and Pseudo Double Categories
• Mixed quantum states in higher categories
• Enriched indexed categories
• Coarse-Graining Open Markov Processes
• Cartesian Double Categories with an Emphasis on Characterizing Spans
• Not every pseudoalgebra is equivalent to a strict one
• Intercategories: A framework for three-dimensional category theory

Cited by in corpus (10)

• Minimal nondegenerate extensions
• Open Diagrams via Coend Calculus
• Structured versus Decorated Cospans
• Fully extended $\mathbf{r}$-spin TQFTs
• The algebra and machine representation of statistical models
• Structured and Decorated Cospans from the Viewpoint of Double Category Theory
• Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories
• Bimonoidal Categories, $E_n$-Monoidal Categories, and Algebraic $K$-Theory
• Composing Behaviors of Networks
• Extended TQFTs and Algebraic Geometry