category

最常见的一种定义，以集合论为基础：

实际上，对象集和态射集都可以是真类。这样的范畴称为大范畴(large category)，比如Set。