| 姓 名 | 贺伟 | 性 别 | 男 | 出生年月 | 1964-01 |
|---|---|---|---|---|---|
| 所在院校 | 南京师范大学 | 所在院系 | 数学与计算机科学学院 | ||
| 职称 | 教授 | 招生专业 | 基础数学 | ||
| 研究领域 | Locale理论，Topos理论, 拓扑学（范畴拓扑学，一般拓扑学），范畴论，格论 |
| 联系方式 | weihe@njnu.edu.cn | 电 话 | 邮 编 | 0 | |
|---|---|---|---|---|---|
| 地 址 |
| 个人简介 |
| 贺伟，男，1964年1月8日生，陕西省横山县人，九三学社成员，理学博士。美国数学会会员，伦敦数学会会员。现任南京师范大学数学与计算机科学学院教授，博士生导师。主要研究领域：Locale理论，Topos理论, 拓扑学（范畴拓扑学，一般拓扑学），范畴论，格论。 贺伟，男，1964年1月8日生，陕西省横山县人，九三学社成员，理学博士。美国数学会会员，伦敦数学会会员。现任南京师范大学数学与计算机科学学院教授，博士生导师。主要研究领域：Locale理论，Topos理论, 拓扑学（范畴拓扑学，一般拓扑学），范畴论，格论。 |
| 获得奖项 |
| 1997年获四川大学和四川省优秀博士学位论文。 1999年获陕西省教委科技进步一等奖。 1997年获四川大学和四川省优秀博士学位论文。 1999年获陕西省教委科技进步一等奖。 |
| 著作及论文 |
| 1.Remarks on Completely Regular Lindelf Reflection of Locales, Appl.Categorical Structures,13(2005), 71-77. 2.Lattice of Quotients of Completely Distributive Lattices, Algebra Universalis, to appear. 3.Regular Paracompact Reflection of Locales, Algebra Universalis, to appear. 4.A Constructive Proof of The Gelfand-Kolmogorov Theorem, Appl.Categorical Structures, 12(2004), 197-202. 5.Weakly topological representation of locales, Acta Math. Sinica,2004,47(3). 6.Homopopy Theory of Locales, Acta Math.Sinica,2003,46 (5),951-960. 7.Directed Inverse Limits Spatial Locales,Proc.Amer.Math. Soc.2002，130(10)，2811-2814. 8.Sobreity of Scott Topology and Weak Topology on Posets, Comment.Math.Univ.Carolinae.2002,43(3),531-535. 9.Convergence of Filters Without Points, Acta Math.Sinica, 2001,44(2),217-221. 10.S-compcat Locales and S-compcat Spaces, Acta Math.Sinica, 2000,43(6),1111-1114. 11.Interior and boundary of locales, Advances in Math., 2000,29(4),357-361. 12.Compact Regular Reflections of Locales, Acta Math. Sinica, 1999,42(3),441-444. 13.Steenrod’s Theorem for Locales, Math.Proc.Camb.Phi.Soc 1998,124(2),305-307. 14.Inverse limits in the category of locales, Science in China，1998，41(5)，476-482. 15.Spectrum of Heyting algebras, Advances in Math.,1998,27(2),139-142. 16.Zero-Dimension Locales, Acta Math.Sinica, 1998,41(3),539 -544. 17.Generalized Zadeh function, Fuzzy Sets and Systems, 1998, 97(3),359-544. 18.The Reflective Subcategories of The Category of Locales, Chinese Ann.Math.1997，18(3),361-366. 19.Remarks on Component Nucleus, J.Sichuan Univ.1997,1,12-16... 1.Remarks on Completely Regular Lindelf Reflection of Locales, Appl.Categorical Structures,13(2005), 71-77. 2.Lattice of Quotients of Completely Distributive Lattices, Algebra Universalis, to appear. 3.Regular Paracompact Reflection of Locales, Algebra Universalis, to appear. 4.A Constructive Proof of The Gelfand-Kolmogorov Theorem, Appl.Categorical Structures, 12(2004), 197-202. 5.Weakly topological representation of locales, Acta Math. Sinica,2004,47(3). 6.Homopopy Theory of Locales, Acta Math.Sinica,2003,46 (5),951-960. 7.Directed Inverse Limits Spatial Locales,Proc.Amer.Math. Soc.2002，130(10)，2811-2814. 8.Sobreity of Scott Topology and Weak Topology on Posets, Comment.Math.Univ.Carolinae.2002,43(3),531-535. 9.Convergence of Filters Without Points, Acta Math.Sinica, 2001,44(2),217-221. 10.S-compcat Locales and S-compcat Spaces, Acta Math.Sinica, 2000,43(6),1111-1114. 11.Interior and boundary of locales, Advances in Math., 2000,29(4),357-361. 12.Compact Regular Reflections of Locales, Acta Math. Sinica, 1999,42(3),441-444. 13.Steenrod’s Theorem for Locales, Math.Proc.Camb.Phi.Soc 1998,124(2),305-307. 14.Inverse limits in the category of locales, Science in China，1998，41(5)，476-482. 15.Spectrum of Heyting algebras, Advances in Math.,1998,27(2),139-142. 16.Zero-Dimension Locales, Acta Math.Sinica, 1998,41(3),539 -544. 17.Generalized Zadeh function, Fuzzy Sets and Systems, 1998, 97(3),359-544. 18.The Reflective Subcategories of The Category of Locales, Chinese Ann.Math.1997，18(3),361-366. 19.Remarks on Component Nucleus, J.Sichuan Univ.1997,1,12-16. 20.Locally compact regular compactification of Locales, Chinese Science Bulletin,1996,41(23),1726. 21.Qusicopmactness of locales, J. Sichuan Univ. 1996,1, 11-15. |
| 承担项目 |
| 1999―2001，Locale理论的构造式处理，国家自然科学基金项目，主持。 1999-2000，无点同伦理论，中国博士后科学基金项目，主持。 2002―2005，Locale与连续函数环理论，国家自然科学基金项目，主持。 2004―2007，序，拓扑及形式语义学的数学基础，国家自然科学基金重点项目，负责locale理论子课题。 1999―2001，Locale理论的构造式处理，国家自然科学基金项目，主持。 1999-2000，无点同伦理论，中国博士后科学基金项目，主持。 2002―2005，Locale与连续函数环理论，国家自然科学基金项目，主持。 2004―2007，序，拓扑及形式语义学的数学基础，国家自然科学基金重点项目，负责locale理论子课题。 |