Database
BASIC CATEGORY THEORY
Categories
Functors
cfunc
Next ⟩
cidfu
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cfunc
Description:
Extend class notation with the class of all functors.
Ref
Expression
Assertion
cfunc
class
Func