{"id":"arxiv/2602.03149","url":"https://arxiv.org/abs/2602.03149","tags":["math.CT"],"score":0,"title":"Homodular pseudofunctors and bicategories of modules","domain":"math.CT","source":"arxiv","authors":["Ross Street"],"reviews":0,"subject":"math.CT","summary":"The universal property for the Bénabou bicategory of distributors (although we call them \"modules\") presented here is somewhat implicitly spread over a series of papers and yet, to my knowledge, does not appear in print. The inclusion of a bicategory $\\mathscr{W}$ into the bicategory $\\mathscr{W}\\text{-}\\mathrm{Mod}$ of $\\mathscr{W}$-enriched categories and modules between them does have a completion property with respect to freely adjoining lax colimits (collages). Here we are interested in the universal property of the construction of $\\mathscr{W}\\text{-}\\mathrm{Mod}$ from…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-03","reactions":{}}