こんな定理を見たのですが、これはここで議論されていた米田のレンマと何か（どんな）関係があるのでしょうか？
＜定理＞射の集合をもつどんな圏も、集合を対象とし、関数を射とする或る圏と同型である。