集合の圏があるというだけ
圏はその目的に適う定義をするだけ
冪で何を意図しているか不明ではあるが
小圏の圏ならまだしも一般の圏で
部分圏の全体のようなものを考えることはそもそもできない