当前位置:问答库>论文摘要

题目:对偶分子格范畴具有代数性

关键词:无

  摘要

  具体范畴的(monad)代数性问题是范畴论中一主要的研究课题,围绕这个问题,本文作了相互联系的如下两方面的工作: 其一:首次提出了完全分配元的概念,并籍此给出了1990年曾被樊太和博士讨论过但至今未见解决的完备格上的自由分子格的结构。值得一提的是,我们的方法是万有的(完备格上的有由连续格,(frame),甚至更一般的自由Ф-连续格的结构均可依此法获得,而且此法可同时获得两种不同形式的自由对象。) 其二:用完全初等的方法圆满地解决了曾被P.T.Johnstone等人试图证明但至今还模棱两可的对偶分子格范畴的代数性问题。证明了:对偶分子格范畴具有代数性,而且还证明了对偶分子格范畴再TOP范畴上的代数性,使P.T.Johnstone等人关于这个问题所得到的一切结果成为本工作的推论。