>>686
>しかし、「中身があるから集合」
>などというの考え方はないと思います。

そういうことを言ってるのではなく
対象とするものがなんであるかは問わないと言っている

＞ >>662に書いたとおり"対象 \in Ob(C)"ですので対象は集合論的に集合です。

集合に限るならば、普通に集合系から集合系への写像における
定義域、写像、値域の組でいい
なんのために大圏を持ち出したかったのか分からないが。