應學院邀請,四川大學張德學教授将在線作學術報告。
報告題目: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)
邀 請 人:喬軍勝 副教授
屆時歡迎廣大師生參與交流!
報告人簡介:
張德學,四川大學數學學院教授,研究領域為基于多值邏輯的序與拓撲理論。