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.
Fong developed `decorated cospans' to model various kinds of open systems: that is, systems with inputs and outputs. In this framework, open systems are seen as the morphisms of a category and can be composed as such, allowing larger open systems to be built up from smaller ones. Much work has already been done in this direction, but there is a problem: the notion of isomorphism between decorated cospans is often too restrictive. Here we introduce and compare two ways around this problem: structured cospans, and a new version of decorated cospans. Structured cospans are very simple: given a fu…
Given a double category D such that D_0 has pushouts, we characterize oplax/lax adjunctions between D and Cospan(D_0) such that the right adjoint is normal and restricts to the identity on D_0, where Cospan(D_0) denotes the double category on D_0 whose vertical morphisms are cospans. We show that such a pair exists if and only if D has companions, conjoints, and 1-cotabulators. The right adjoints are induced by the companions and conjoints, and the left adjoints by the 1-cotabulators. The notion of a 1-cotabulator is a common generalization of the symmetric algebra of a module and Artin-Wraith…
This paper introduces the notion of weakly globular double categories, a particular class of strict double categories, as a way to model weak 2-categories; it explores its use in defining a double category of fractions, and shows that the sub-2-category of groupoidal weakly globular double categories forms an algebraic model of homotopy 2-types.
We present a method of constructing symmetric monoidal bicategories from symmetric monoidal double categories that satisfy a lifting condition. Such symmetric monoidal double categories frequently occur in nature, so the method is widely applicable, though not universally so.
We treat the problem of lifting bicategories into double categories through categories of vertical morphisms. We make use of a specific instance of the Grothendieck construction to provide, for every bicategory equipped with a possible vertical category, together with a suitable monoidal pre-cosheaf relating these two structures, a double category lifting the decorated bicategory along the category of vertical morphisms provided as set of initial conditions. We prove in particular that every decorated bicategory admits a lift to a double category. We study relations of instances of our constru…
For a topos $\mathbf{T}$, there is a bicategory $\mathbf{MonicSp(Csp(T))}$ whose objects are those of $\mathbf{T}$, morphisms are cospans in $\mathbf{T}$, and 2-morphisms are isomorphism classes of monic spans of cospans in $\mathbf{T}$. Using a result of Shulman, we prove that $\mathbf{MonicSp(Csp(T))}$ is symmetric monoidal, and moreover, that it is compact closed in the sense of Stay. We provide an application which illustrates how to encode double pushout rewrite rules as $2$-morphisms inside a compact closed sub-bicategory of $\mathbf{MonicSp(Csp(Graph))}$.
One goal of applied category theory is to better understand networks appearing throughout science and engineering. Here we introduce "structured cospans" as a way to study networks with inputs and outputs. Given a functor $L \colon \mathsf{A} \to \mathsf{X}$, a structured cospan is a diagram in $\mathsf{X}$ of the form $L(a) \rightarrow x \leftarrow L(b)$. If $\mathsf{A}$ and $\mathsf{X}$ have finite colimits and $L$ is a left adjoint, we obtain a symmetric monoidal category whose objects are those of $\mathsf{A}$ and whose morphisms are isomorphism classes of structured cospans. This is a hyp…
This is the first part of a series of papers studying the problem of existence of double categories for which horizontal bicategory and object category are given. We refer to this problem as the problem of existence of internalizations for decorated bicategories. We establish a formal framework within which the problem of existence of internalizations can be correctly formulated. Further, we introduce the condition of a double category being globularily generated. We prove that the problem of existence of internalizations for a decorated bicategory admits a solution if and only if it admits a …
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 functor…
In this thesis, we introduce Cartesian double categories, motivated by the work of Carboni, Kelly, Walters, and Wood on Cartesian bicategories. Moving from bicategories to the slightly more generalized notion of double categories allows us to set the whole theory inside the welcoming 2-category of double categories, and to overcome technical problems that were caused by working with left adjoints inside a general bicategory. Cartesian double categories that are also fibrant are of particular interest to us. After describing some important properties of Cartesian and fibrant double categories, …
This note informally describes a way to build certain cubical n-categories by iterating a process of taking models of certain finite limits theories. We base this discussion on a construction of "double bicategories" as bicategories internal to Bicat, and see how to extend this to n-tuple bicategories (and similarly for tricategories etc.) We briefly consider how to reproduce "simpler" definitions of weak cubical n-category from these.
We show how the notion of intercategory encompasses a wide variety of three-dimensional structures from the literature, notably duoidal categories, monoidal double categories, cubical bicategories, double bicategories and Gray categories. Variations on the notion of span provide further examples of interest, an important one being the intercategory of sets. We consider the three kinds of morphism of intercategory as well as the cells binding them with applications to the above structures. In particular hom functors are studied.
This book is an introduction to 2-categories and bicategories, assuming only the most elementary aspects of category theory. A review of basic category theory is followed by a systematic discussion of 2-/bicategories, pasting diagrams, lax functors, 2-/bilimits, the Duskin nerve, 2-nerve, adjunctions and monads in bicategories, 2-monads, biequivalences, the Bicategorical Yoneda Lemma, and the Coherence Theorem for bicategories. Grothendieck fibrations and the Grothendieck construction are discussed next, followed by tricategories, monoidal bicategories, the Gray tensor product, and double cate…
The subject of this paper is the higher structure of the strictification adjunction, which relates the two fundamental bases of three-dimensional category theory: the $\mathbf{Gray}$-category of $2$-categories and the tricategory of bicategories. We show that -- far from requiring the full weakness provided by the definitions of tricategory theory -- this adjunction can be $\textit{strictly}$ enriched over the symmetric closed multicategory of bicategories defined by Verity. Moreover, we show that this adjunction underlies an adjunction of bicategory-enriched symmetric multicategories. An appe…
This is a first of a series of two papers. Our motive is to tackle the question raised in Böhm's "The Gray Monoidal Product of Double Categories" from Applied Categorical Structures: which would be an alternative notion to intercategories of Grandis and Paré, so that monoids in Böhm's monoidal category $Dbl$ of strict double categories and double pseudo functors be an example of it? Before addressing this question we observe that although bicategories embed into pseudo double categories, this embedding is not monoidal, with the usual notion of a monoidal pseudo double category. We then prove t…
We define the phrase `category enriched in an fc-multicategory' and explore some examples. An fc-multicategory is a very general kind of 2-dimensional structure, special cases of which are double categories, bicategories, monoidal categories and ordinary multicategories. Enrichment in an fc-multicategory extends the (more or less well-known) theories of enrichment in a monoidal category, in a bicategory, and in a multicategory. Moreover, fc-multicategories provide a natural setting for the bimodules construction, traditionally performed on suitably cocomplete bicategories. Although this paper …
Notions of generalized multicategory have been defined in numerous contexts throughout the literature, and include such diverse examples as symmetric multicategories, globular operads, Lawvere theories, and topological spaces. In each case, generalized multicategories are defined as the "lax algebras" or "Kleisli monoids" relative to a "monad" on a bicategory. However, the meanings of these words differ from author to author, as do the specific bicategories considered. We propose a unified framework: by working with monads on double categories and related structures (rather than bicategories),…
As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into bicategories. Foldings are equivalent to connection pairs, and also to thin structures if the vertical and horizontal morphisms coincide. In a sense, the squares of a double category with folding are determined in a functorial way by the 2-cells of the horizontal 2-category. As a special case, strict 2-algebras with one object and everything invertible are crossed modu…
Enrichment and internal categories are two different way to generalize the notion of category. As such, enriching double categories (which are categories internal to Cat) is not a clear concepts. One can look at the internal categories of the category of C-enriched categories or the internal C-category in Cat. This concepts, unfortunately, are not powerful enough, even thin (posetal) double categories can't be seen this way. However, an orthogonal investigation, that of the enrichment by a double category, will help relaxing the internal C-category to a incorporate the internal categories of t…
This paper emerged as a result of tackling the following three issues. Firstly, we would like the well known embedding of bicategories into pseudo double categories to be monoidal, which it is not if one uses the usual notion of a monoidal pseudo double category. Secondly, in \cite{Gabi} the question was raised: which would be an alternative notion to intercategories of Grandis and Paré, so that monoids in Böhm's monoidal category $(Dbl,\ot)$ of strict double categories and strict double functors with a Gray type monoidal product be an example of it? We obtain and prove that precisely the mono…
