云亭数学讲坛2022第95讲——张德学教授

文章来源:bat365在线平台官网登录发布日期:2022-12-03浏览次数:350


应学院邀请,四川大学张德学教授将在线作学术报告。

报告题目Formal balls of Q-categories

报告摘要The construction of the formal ball model for metric spaces due to Edalat and Heckmann was generalized to Q-categories by Kostanek and Waszkiewicz, where Q is a commutative and unital quantale. This talk concerns the influence of the structure of the quantale Q on the connection between Yoneda completeness of Q-categories and directed completeness of their sets of formal balls. In the case that Q is the unit interval [0, 1] equipped with a continuous t-norm, it is shown that in order that Yoneda completeness of each Q-category be equivalent to directed completeness of its set of formal balls, a necessary and sufficient condition is that the t-norm is Archimedean.

报告时间20221208日下午2:30

报告地点:腾讯会议(会议号:775-719-680)

邀 请 人:乔军胜 副教授

届时欢迎广大师生参与交流!

报告人简介:

张德学,四川大学数学学院教授,研究领域为基于多值逻辑的序与拓扑理论。