bicategory (Q3315): Difference between revisions
From MaRDI portal
Created a new Item |
(No difference)
|
Latest revision as of 15:58, 29 July 2024
structure consisting of a class of objects and (between every pair X,Y of objects) a category C(X,Y), along with composition functors C(X,Y)×C(Y,Z)→C(X,Z), such that composition is associative (up to natural equivalence by some isomorphism)
- weak 2-category
- 2-category
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | bicategory |
structure consisting of a class of objects and (between every pair X,Y of objects) a category C(X,Y), along with composition functors C(X,Y)×C(Y,Z)→C(X,Z), such that composition is associative (up to natural equivalence by some isomorphism) |
|
