前回は、「部分集合」の概念を一般の圏に拡張した。 今回と次回では、「像」の一般化を試みる。 今回は特に、集合論的に定義された「像」が、圏 においてどのような圏論的性質を持つのかを調べる。 での像と、その universal property 過去にこんな記事を書…

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