Open Research Index

Homodular pseudofunctors and bicategories of modules

Ross Street

arXivarxiv/2602.03149Feb 3, 2026math.CTscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2602.03149
curl -X POST /api/v1/records/arxiv/2602.03149/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.03149/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'