>>662
>一般にOb(C)が集合のものを小圏と言うらしいですが、
>大圏のとき、この『組』は集合論的に何なのでしょう？

対象が集合でないのに、集合論を持ってきても意味無いだろう
繰り返しになるが、対象の中身は存在する必要がない
集合論で扱われるものは、集合として矛盾無く存在するものであるが
対象にはそういった制約が無い