大定理というなら Yoneda の方が先