ノート:Kan拡張

この記事は2013年11月24日に削除依頼の審議対象になりました。議論の結果、版指定削除となりました。

具体例編集

最新のコメント：5 年前1件のコメント1 人が協議に参加

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