Database
BASIC CATEGORY THEORY
Examples of categories
The category of categories
ccatc
Next ⟩
df-catc
Metamath Proof Explorer
Unicode
Structured
Syntax definition
ccatc
Description:
Extend class notation to include the category Cat.
Ref
Expression
Assertion
ccatc
class CatCat