今まで漠然と知っていた、圏論における集合論のアナロジーをまとめる。 以下、を一般の圏とする。 部分集合と商集合 部分集合や商集合のアナロジーを考えるためには、包含写像や商写像の一般化を考えれば良い。 定義 を の subobject とする。 の subobject …