Database
BASIC CATEGORY THEORY
Categorical constructions
Hom functor
cyon
Next ⟩
df-hof
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cyon
Description:
Extend class notation with the Yoneda embedding.
Ref
Expression
Assertion
cyon
class
Yon