Fork me on GitHub
Math for the people, by the people.

User login

category of small categories

Defines: 
Cat
Type of Math Object: 
Definition
Major Section: 
Reference
Groups audience: 

Mathematics Subject Classification

18D05 no label found18B99 no label found

Comments

6 looks wrong. If a category has pullbacks and products then it will also have equalizers.
See Proposition 11.14 on page 198 of http://katmat.math.uni-bremen.de/acc/acc.pdf

You're right! Not sure what I was thinking... I have made the correction. Thanks.

Subscribe to Comments for "category of small categories"