{"id":"arxiv/2610.08454","url":"https://arxiv.org/abs/2610.08454","tags":["math.CT"],"score":0,"title":"Bi-representable bi-multicategories","domain":"math.CT","source":"arxiv","authors":["Bojana Femić"],"reviews":0,"subject":"math.CT","summary":"We prove a two-dimensional version of Hermida's equivalence result on representable multicategories and classify its stricter versions. The obtained three-dimensional equivalence of the respective totality categories is of categories enriched over the multicategory $\\mathsf{Bicat}$ of Verity. There is a basic enriched equivalence with respect to inherently lax monoidal pseudofunctors, and a one with respect to pseudo-monoidal pseudofunctors, related to the latter via the forgetful enriched functors. We extend Slattery's result on a bi-multicategory structure of the Kleisli bicategory of a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-06","reactions":{}}