Framed bicategories and monoidal fibrations

Abstract

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 bicategorical notions do not work well in these cases, because the `morphisms between 0-cells', such as ring homomorphisms, are missing. We can include them by using a pseudo double category, but usually these morphisms also induce base change functors acting on the 1-cells. We avoid complicated coherence problems by describing base change `nonalgebraically', using categorical fibrations. The resulting `framed bicategories' assemble into 2-categories, with attendant notions of equivalence, adjunction, and so on which are more appropriate for our examples than are the usual bicategorical ones. We then describe two ways to construct framed bicategories. One is an analogue of rings and bimodules which starts from one framed bicategory and builds another. The other starts from a `monoidal fibration', meaning a parametrized family of monoidal categories, and produces an analogue of the framed bicategory of spans. Combining the two, we obtain a construction which includes both enriched and internal categories as special cases.

80 pages. Main definition simplified. Final version, to appear in TAC

Cited by in corpus (25)

• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• Polynomial functors and polynomial monads
• Enhanced 2-categories and limits for lax morphisms
• A Construction of String 2-Group Models using a Transgression-Regression Technique
• String diagrams for traced and compact categories are oriented 1-cobordisms
• Structured versus Decorated Cospans
• Linear Dependent Type Theory for Quantum Programming Languages
• On string topology of classifying spaces
• A 2-Categorical Analysis of the Tripos-to-Topos Construction
• Networks of hybrid open systems
• Networks of open systems
• Periodic points and topological restriction homology
• Generalized stability for abstract homotopy theories
• An orthogonal approach to algebraic weak factorisation systems
• Cornering Optics
• Promonads and String Diagrams for Effectful Categories
• A categorical approach to the maximum theorem
• Structured and Decorated Cospans from the Viewpoint of Double Category Theory
• A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
• Protocol Choice and Iteration for the Free Cornering
• Bi-invariance for Uniform Strategies on Event Structures
• Cartesian double theories: A double-categorical framework for categorical doctrines
• Concurrent Process Histories and Resource Transducers
• Situated Transition Systems
• A pasting theorem for iterated Segal spaces