>>706
返答はとてもありがたいのですが、
あなたの「集合」の定義を教えていただけないでしょうか？
（これが私の考えているのと違うと困るので。
ちなみに私の知っている集合の定義は、
集合とは何物かに属するクラス、
すなわち「Aが集合とはあるクラスBが存在しAはBに属する」
というものです。但し「クラス」「属する」は無定義語とする。）
「集合に限る限らない」以前に
私の集合の定義では対象は集合であると言うことは了解していただけると思います。
（∵対象∈Ob(C)={圏Cの対象全体}）