← 論文・資料 Lawvere's fourth open problem: Levels in the topos of symmetric simplicial sets 論文・資料 Hora, Ryuya · Kamio, Yuhi · Maehara, Yuki 2025-03-05 AI生成の有無：未記録 公開元 版履歴c3d4c3f631db