Locally complete consistent F-augmented contexts: A category-theoretic representation of algebraic L-domains
Locally complete consistent F-augmented contexts: A category-theoretic representation of algebraic L-domains
复制标题
局部完全一致的 F 增强上下文：代数 L 域的范畴论表示
DOI：
10.1016/j.dam.2017.12.016
复制
发表时间：
2018-11
影响因子：
1.1
通讯作者：
Yao Lingjuan
中科院分区：
文献类型：
--
作者：
Guo Lankun;Li Qingguo;Yao Lingjuan
在本文中，我们证明了形式概念分析的能力，表示一个特殊的偏序结构命名为代数L-域。特别地，我们引入了局部完全一致F-增广上下文的概念，并证明了它与以F-可逼近连接为态射的范畴精确等价于以Scott连续函数为态射的代数L-整环范畴.这一结果提供了一个具体的表示代数L-域通过形式概念分析作为一种有效的方法。
In this paper, we demonstrate the capability of formal concept analysis in representing a special partially ordered structures named algebraic L-domains. In particular, we introduce the notion of locally complete consistent F-augmented contexts and prove that its associated category with F-approximable connections as morphisms is precisely equivalent to that of algebraic L-domains with Scott continuous functions as morphisms. This result provides a concrete representation of algebraic L-domains via formal concept analysis as an efficient approach.
登录
查看更多内容
影响因子：
0.5
作者：
Guo Lankun;Li Qingguo;Valtchev Petko;Lin Yaping
通讯作者：
Lin Yaping
粗略的概念格和域
DOI：
10.1016/j.apal.2008.09.028
发表时间：
2009-06
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
通讯作者：
--
影响因子：
9.9
作者：
Guo-Qiang Zhang;Gongqin Shen
通讯作者：
Guo-Qiang Zhang;Gongqin Shen
DOI：
10.1007/978-3-642-01815-2_23
发表时间：
2009-05
期刊：
--
影响因子：
--
作者：
R. Wille
通讯作者：
R. Wille
DOI：
10.21136/cpmf.1938.124080
发表时间：
1938
期刊：
The Journal of Chemical Thermodynamics
影响因子：
--
作者：
M. Stone
通讯作者：
M. Stone