Talk:Strict 2-category
Appearance
(Redirected from Talk:2-category)
This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||
|
Clarifying the definition
[edit]It's really helpful that this page has an 'elementary' definition of a 2-category, meaning one that doesn't require knowledge of enriched categories. It's quite reasonable that someone (i.e. me) might want to learn about 2-categories before learning about enrichment, so it's great that this article tries to make that possible.
However, I found I wasn't able to follow the last part of the definition - the text is just a little too condensed there. If someone has the expertise it would be really great to expand it slightly, so that each condition is spelt out formally and explicitly. I put a couple of [clarification needed] tags to indicate where it gets tricky.