>>279
Cat(小圏の圏)の中だけで圏論を考えるといろいろ面倒が無くなりそうではあるけれど
実際に何が面倒なのかというのが>>245
に書いたオレの疑問