基礎論セミナー

過去の記録 ～12/26｜次回の予定｜今後の予定 12/27～

担当者 酒井拓史、長谷川立

2025年11月28日(金)

13:00-14:00   数理科学研究科棟(駒場) 122号室
洞龍弥 氏 (東京大学)
連結性とトポスの充満部分圏 (Japanese)
[ 講演概要 ]
本セミナーでは，toposの連結性と部分圏に関わる3つの定理について述べる．第一に，toposの完全連結性の概念を導入し，局所toposとの双対性について述べる．次に，toposの商に関するLawvereの問題の解答(神尾氏との共同研究)について述べ，最後にtoposの次元に関するLawvereの問題の解答(前原氏と神尾氏との共同研究)について述べる．