应学院邀请，四川大学张德学教授将在线作学术报告。
报告题目：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.
报告时间：2022年12月08日下午2:30
报告地点：腾讯会议(会议号:775-719-680)
邀 请 人：乔军胜 副教授
届时欢迎广大师生参与交流！
报告人简介:
张德学，四川大学数学学院教授，研究领域为基于多值逻辑的序与拓扑理论。
