『トポスと高階論理』を読んでいる

前はちんぷんかんぷんだった文章が分かるようになるのって成長を実感するよね
トポスの導入で射A→ΩとTからなるpullbackを考えたとき自動的にmono性が証明されるのにびっくり