应我院邀请，12月15日下午，四川大学张德学教授在腾讯会议作了题为《Formal balls of Q-categories》的报告。相关师生聆听了此次报告，报告由唐忠宝老师主持。

报告中，张德学教授在此次会议中简要介绍了Kostanek和Waszkiewicz将Edalat和Heckmann对度量空间的形式球模型的构造推广到Q范畴，其中Q是一个交换的单位量子。本文讨论了量子Q的结构对Q范畴的Yoneda完备性与其形式球集合的有向完备性之间的联系的影响。在Q是单位区间[0，1]配备连续t范数的情况下，证明了为了使每个Q范畴的Yoneda完备性等价于其形式球集合的有向完备性，t范数是阿基米德的一个充要条件。报告结束后，在座的师生就相关研究问题进行了探讨和交流。

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