2021-04-12 心理的空間の上の層への操作 圏一般論 幾何っぽい 順像=前送り は簡単 逆像=引き戻し は難しい、極限を使ってさらに層化が必要。 逆像には、極限を使った右逆像と、余極限を使った左逆像がある。 右逆像は外からの近似、左逆像は内からの近似。 右逆像は順像の右随伴、左逆像は順像の左随伴。