前層の逆像は左Kan拡張であり、層の順像と逆像の随伴が、Kan拡張と合成の随伴と層化と忘却関手の随伴から従うことを追加してもいいでしょうか？ --Kitamado（会話） 2019年2月28日 (木) 15:04 (UTC)[返信]
