应我院邀请,11月18日下午,中国海洋大学岳跃利教授在腾讯会议作了题为《Frame值Scott开集模结构的构造与应用》的报告。相关师生聆听了此次报告,报告由黄韩亮老师主持。
报告中,岳跃利教授在此次会议中主要介绍对于框架Q,本文介绍了关于Q-Scott开集单元的Kleisli幺半群和Eilenberg Moore代数。首先,我们证明了Q-Scott开集函子可以形成单元,并证明了该单元的Kleisli幺半群正是代数Q-序闭包空间或等价的强Q-凸空间。然后我们证明了Q-Scott开集monad的Eilenberg Moore代数是代数Q-模或等价的模糊框架。报告结束后,在座的师生就相关研究问题进行了探讨和交流。
1995-2002年在中国海洋大学数学科学学院本硕学习,2002年留校任教至今(其中2005-2008年在北京理工大学攻读博士学位);现主要从事格值拓扑和凸结构的研究,主持完成国家自然科学基金青年基金一项,山东省自然科学基金两项,现主持国家自然科学基金面上项目一项。
