{"id":"arxiv/2610.41551","url":"https://arxiv.org/abs/2610.41551","tags":["math.CT"],"score":0,"title":"Composing Double Categories","domain":"math.CT","source":"arxiv","authors":["Mitchell Buckley","Richard Garner"],"reviews":0,"subject":"math.CT","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-30","reactions":{}}