Talk:Bicategory
 | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
Isn't this what is usually called a (strict) 2-category? (as opposed to weak?) For example, in CFWM, Mac Lane gives quite different definitions for "bicategory" and "2-category". What seems to be described here is actually what is he calls "2-category", and is not the same thing as "bicategory" (to my understanding).
A bicatgeory is a weak 2-category, where associativity holds only up to coherent isomorphism, as stated here.
Start a discussion about improving the Bicategory page
Talk pages are where people discuss how to make content on Wikipedia the best that it can be. You can use this page to start a discussion with others about how to improve the "Bicategory" page.
