>>278
＞>集合だって一種の圏だからね。効力絶大だよ。
＞それは集合の効力であって、圏の効力ではないでしょ

その見方は大いに間違っていると言わざるを得ない。
むしろ、集合に効力があるのはそれ自体が圏だからだよ。
数学において代数系や位相空間が有用なのは知ってるよね？
それは、代数系や位相空間も圏であるからに他ならない。