发表机构
Mathematical Institite of Serbian Academy of Sciences and Arts（塞尔维亚科学与艺术学院数学研究所）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文证明了Hermida等价结果的二维版本，分类了更严格版本，并推广了Slattery关于Kleisli双范畴的双多范畴结构，涵盖双可表示性。
AI 中文摘要
我们证明了Hermida关于可表示多范畴的等价结果的一个二维版本，并对其更严格版本进行了分类。所得到的相应整体范畴的三维等价是关于Verity的双范畴$\nmathsf{Bicat}$上的丰富范畴。存在一个关于固有松弛幺半群伪函子的基本丰富等价，以及一个关于伪幺半群伪函子的等价，后者通过遗忘丰富函子与前者相关联。我们将Slattery关于一个2-多范畴的Kleisli双范畴的双多范畴结构的结果进行了推广，该结构包含了双可表示性。
英文摘要
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 2-multicategory encompassing bi-representability.
Comments61 pages, of which at least 16 pages of diagrams and tables
