• 和の像と像の和
• 共通部分の像と像の共通部分
• 和の逆像と逆像の和
• 共通部分の逆像と逆像の共通部分

上記は「共通部分の像と像の共通部分」以外等号が成立する．圏論的に見るとこのことを多少整理でき，実はこれは「像は左随伴でしかないのに対して，逆像は右随伴でも左随伴でもあるから」ということができる．このことをまとめた．
　圏論ってタイトルに入ってる記事があるのかっこいいなというだけで書いたため、記述が多少雑である．悪しからず．書くにあたってセミナーで西郷甲矢人さんに伺ったことを大いに参照した．

圏論的に見る像，逆像にかかる包含関係.pdf ダウンロード