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