时间:2025年9月17日(星期三)13:00
地点:E4-201
主持人:Xing Gu, ITS
主讲人:Cheng Li, UCSD
报告题目:Idempotent $E_1$ Algebra
报告摘要: In Higher Algebra, Lurie proved that the forgetful functor from the category of idempotent commutative algebras to the category of idempotent $E_0$ algebras is an equivalence. In this talk, I will present a proof of an $E_1$ variant of this statement.