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