2020-09-29 トポスと論理 数学 夏の間にCategorical Logicの勉強をしました。 型付き論理の論理式をトポスで解釈できるよという話です。まだ勉強始めた段階であまり自信がないので誤植とかあったらすみません。 いずれもう少し綺麗にまとまったものも作りたいですね。