Composing Double Categories
Abstract
Many kinds of generalised syntax, including internal categories, T-categories or polynomial monads, arise as monads in bicategories of a certain flavour: maps are some kind of span, and composition is some kind of pullback. We explain the pattern behind these similarities: each bicategory is stitched together from two simpler pieces by a distributive law, where the distributivity is governed by pullback. A key novelty is in the kind of distributive law we consider; where Rosebrugh and Wood considered distributive laws between categories, we instead consider pseudo-distributive laws between double categories. A key construction, drawing on work of Weber, obtains such a distributive law from a so-called co-crossed double category: one whose codomain functor is a fibration, and whose cartesian cells are stable under horizontal composition. We show the horizontal Kleisli double category of a monad T is co-crossed just when T is cartesian, and that the composite double category recovers T-spans; that the double category associated to an identity-on-objects functor is co-crossed just when that functor is a calibration in the sense of Bénabou; and that Street's calibrated bicategories yield co-crossed double categories in a similar manner, recovering the double category of polynomials of Gambino--Kock.
Related
- Composing group automorphisms with colour-preserving automorphisms of Cayley graphs
- Schematic Functorialities of Birational Motivic Homotopy Categories
- On the internal homotopy theory of motivic categories
- (2-dep,Σ)-categories are not generalised categories with families
- Models for dagger (∞,1)-categories III: Univalent flagged dagger (∞,1)-categories and unitarily complete dagger Segal anima
BibTeX
@misc{buckley2026composing,
title = {{Composing Double Categories}},
author = {Mitchell Buckley and Richard Garner},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.41551},
eprint = {2610.41551},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.41551},
}
RIS
TY - UNPB
TI - Composing Double Categories
AU - Mitchell Buckley
AU - Richard Garner
PY - 2026
DA - 2026/10/30
PB - arXiv
DO - 10.48550/arxiv.2610.41551
UR - https://arxiv.org/abs/2610.41551
AB - Many kinds of generalised syntax, including internal categories, T-categories or polynomial monads, arise as monads in bicategories of a certain flavour: maps are some kind of span, and composition is some kind of pullback. We explain the pattern behind these similarities: each bicategory is stitched together from two simpler pieces by a distributive law, where the distributivity is governed by pullback. A key novelty is in the kind of distributive law we consider; where Rosebrugh and Wood considered distributive laws between categories, we instead consider pseudo-distributive laws between double categories. A key construction, drawing on work of Weber, obtains such a distributive law from a so-called co-crossed double category: one whose codomain functor is a fibration, and whose cartesian cells are stable under horizontal composition. We show the horizontal Kleisli double category of a monad T is co-crossed just when T is cartesian, and that the composite double category recovers T-spans; that the double category associated to an identity-on-objects functor is co-crossed just when that functor is a calibration in the sense of Bénabou; and that Street's calibrated bicategories yield co-crossed double categories in a similar manner, recovering the double category of polynomials of Gambino--Kock.
ER -