Double Bicategories and Double Cospans

Abstract

Interest in weak cubical n-categories arises in various contexts, in particular in topological field theories. In this paper, we describe a concept of double bicategory, namely a strict model of the theory of bicategories in Bicat. We show that in a special case one can reduce this to what we call a Verity double bicategory, after Domenic Verity. This is a weakened version of a double category, in the sense that composition in both horizontal and vertical directions satisfy associativity and unit laws only up to (coherent) isomorphisms. We prove that there are examples in the form of double bicategories of "double cospans" (or "double spans") in any category with pushouts (pullbacks, respectively), and give a construction from this which involves taking isomorphism classes of objects, and gives a Verity double bicategory of double cospans. We describe cobordisms with corners as an example of this construction.

35 Pages: v3 amends presentation of main defn, develops cobordism example, adds 2 figures

References in corpus (2)

• Categorical Aspects of Topological Quantum Field Theories
• Pseudo Algebras and Pseudo Double Categories

Cited by in corpus (12)

• Compact Closed Bicategories
• Iterated spans and classical topological field theories
• A Prehistory of n-Categorical Physics
• Cohomological Twisting of 2-Linearization and Extended TQFT
• Extended Functorial Field Theories and Anomalies in Quantum Field Theories
• A categorical framework for congruence of applicative bisimilarity in higher-order languages
• Double Fell bundles over discrete double groupoids with folding
• Equivariant Modular Categories via Dijkgraaf-Witten Theory
• Non-Simplicial Nerves for Two-Dimensional Categorical Structures
• Building the bicategory Span${}_2(\mathcal{C})$
• 2-Group Actions and Moduli Spaces of Higher Gauge Theory
• Intercategories: A framework for three-dimensional category theory