Fri Feb 2

Representable functors.
Yoneda lemma.
Given modules _SA, _RB_S, we get a functor
Hom_S(A,Hom_R(B,*)) -> Set,
which we claim is representable by "B @_S A".
Definition of @.
Example: Reals @_Z Z ~ Reals.