← 論文・資料 Solution to Lawvere's first problem: A Grothendieck topos that has proper class many quotient topoi 論文・資料 Kamio, Yuhi · Hora, Ryuya 2024-07-24 AI生成の有無：未記録 公開元 版履歴3125bb8a546d