Database
BASIC CATEGORY THEORY
Examples of categories
The category of sets
csetc
Next ⟩
df-setc
Metamath Proof Explorer
Unicode
Structured
Syntax definition
csetc
Description:
Extend class notation to include the category Set.
Ref
Expression
Assertion
csetc
class SetCat