2 апр. 2020 г. · A bicategory (or a weak 2-category) is a concept in category theory used to extend the notion of category to handle the cases where the composition of ...

7 дек. 2020 г. · Bicategories are exactly weak 2-categories and so subsume (strict) 2-categories. Both have objects, morphisms, and 2-cells, but a ...

19 дек. 2017 г. · But of course according to the usual definition MonCat constitutes just a bicategory with 1- and 2-morphisms being monoidal functors and ...

9 сент. 2023 г. · The category BiMod is defined to have rings as objects and isomorphism classes of bimodules as morphisms.

10 нояб. 2019 г. · On the nlab page for internal diagrams, it's stated that given a finitely cocomplete category C we can form a bicategory CAT(C) of categories ...

10 сент. 2017 г. · Every ∞-bicategory is a weak ∞-bicategory, because every scaled anodyne morphism is a bicategorical equivalence (Proposition 3.1.13). What about ...

15 июл. 2017 г. · A bicategory (= weak 2-category) is a 0-cell in what category? · "bicategory" as usual means "weak 2-category". · I am well aware that this is ...

13 июл. 2022 г. · I know of a bicategory of rings, bimodules and bimodule homomorphisms. Do you have a reference where your bicategory is described/defined? Or ...

A 2-cell in Span(C), ie a morphism between spans, is a morphism between the two apices such that the 2 triangles commute.

6 авг. 2017 г. · Even in a bicategory you have the vertical composition that is strict, meaning that the 2-cells with vertical composition form a category, in ...