模糊集理论中拓扑，序，与逻辑结构之间的相互关系

本项目从强化范畴的角度系统研究了模糊序以及它与模糊拓扑和形式概念分析之间的联系，完成了研究任务。主要结果包括：(1)在逻辑値域(Q,&)是可除的完备剩余格的情形建立了模糊集上的模糊序理论（不止是分明集上的模糊序）。说明了一个模糊集赋予模糊序恰好是一个取值于由(Q,&)诱导的一个quantaloid的强化范畴，这将模糊集上的序的研究归结为一类特殊的强化范畴的研究。（2）系统研究了quantaloid上的强化范畴之间的Isbell伴随和Kan伴随，特别是它们的函子性质。（3）作为Isbell伴随和Kan伴随的函子性质的特殊情形，证明了基于模糊形式概念分析和模糊粗糙集理论的概念格都是定义在由模糊形式背景和信息映射构成的范畴上的函子，并且它们都可经过模糊闭包空间分解。（4）利用Isbell伴随建立了基于模糊集之间的模糊关系（不止是分明集之间的模糊关系）的形式概念分析理论。