0377132人目の素数さん垢版 | 大砲2018/11/09(金) 16:31:10.88ID:/GNTRZJ+ あと何で忘却関手と呼ばないかだが、理論では系列全体を問題にしているから、むしろ誤解を招かないように あえて区別してるのであって、別に格好つけてるからだとは思わない