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