Database
BASIC CATEGORY THEORY
Categorical constructions
Hom functor
chof
Next ⟩
cyon
Metamath Proof Explorer
Ascii
Structured
Syntax definition
chof
Description:
Extend class notation with the Hom functor.
Ref
Expression
Assertion
chof
class
Hom
F