应闽南师范大学数学与统计学院和福建省粒计算及其应用重点实验室邀请，4月21日下午，陕西师范大学韩胜伟教授在腾讯会议作了题为《Cancellation problems for the tensor product of complete lattices》的报告。相关师生聆听了此次报告，报告由孙文老师主持。

报告中，韩胜伟教授主要介绍了完备格范畴Sup中张量乘积的消去律。首先，研究了广义幂集格的张量积。接下来，证明了张量乘积的消去定律与偏序集的笛卡尔乘积的消去律有着密切的关系，并给出了一类不满足张量乘积消去定律的完备格。然后，还研究了完全格的特定子类的消去律。报告结束后，在座的师生就相关研究问题进行了探讨和交流。

韩胜伟，男，陕西师范大学教授，博士生导师。2008年毕业于陕西师范大学获得博士学位，2010年和2014年分别在在清华大学数学系和美国丹佛大学数学系做访问学者。美国数学会《数学评论》评论员、中国系统工程学会模糊数学与模糊系统分会理事、非经典逻辑与计算专委会理事、陕西省工业与应用数学学会理事。主持两项项国家自然科学项目，一项陕西省自然科学基金面上项目。研究兴趣为序代数、逻辑代数和不确定理论。 在《Applied Categorical Structures》、《Theory and Applications of Categories》、《Studia Logica》、《Semigroup Forum》、《Algebra Universalis》、《Journal of Algebra and Its Applications》、《Topology and its Application》、《International Journal of Theoretical Physics》、《Fuzzy Sets and Systems》、《Information Sciences》、《数学学报》等国内外期刊发表SCI论文30多篇，2016年在科学出版社出版学术专著《Quantale理论基础》。