Database
BASIC CATEGORY THEORY
Categories
Full & faithful functors
cful
Next ⟩
cfth
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cful
Description:
Extend class notation with the class of all full functors.
Ref
Expression
Assertion
cful
class
Full