Talk:Bicategory

From Wikipedia, the free encyclopedia

Mathematics Portal This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating:	Stub Class	Low Priority	Field: Foundations, logic, and set theory
Please update this rating as the article progresses, or if the rating is inaccurate. Click to show/hide comments. Please add to or update the comments to suggest improvements to the article. Please add useful comments here--Cronholm144 07:56, 24 May 2007 (UTC)

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.