The concept lattice functors

The concept lattice functors
复制标题

格函子的概念

DOI:
10.1016/j.ijar.2012.07.002
复制
发表时间:
2013
影响因子:
3.9
通讯作者:
Zhang Dexue
Zhang Dexue
中科院分区:
计算机科学2区
文献类型:
--
作者:
Shen Lili;Zhang Dexue

文献摘要

参考文献

被引文献

相似文献

本文关注的是上下文、封闭空间和完全格之间的关系。结果表明,对于单位量子L,形式概念格和属性导向概念格都是从L-上下文和信息态的L-Ctx范畴到完全L-格和上界保持映射的L-Sup范畴的函子。此外,形式概念格函子可以写成从L-Ctx到L-闭包空间和连续函数的范畴L-Cls的右伴随函子和从L-Cls到L-Sup的左伴随函子的组合。
This paper is concerned with the relationship between contexts, closure spaces, and complete lattices. It is shown that, for a unital quantale L, both formal concept lattices and property oriented concept lattices are functorial from the category L-Ctx of L-contexts and infomorphisms to the category L-Sup of complete L-lattices and suprema-preserving maps. Moreover, the formal concept lattice functor can be written as the composition of a right adjoint functor from L-Ctx to the category L-Cls of L-closure spaces and continuous functions and a left adjoint functor from L-Cls to L-Sup.
DOI: 10.1007/978-3-642-59830-2
发表时间: 1999
期刊: --
影响因子: --
作者:
B. Ganter;Rudolf Wille
通讯作者: B. Ganter;Rudolf Wille
DOI: --
发表时间: 2002-05
期刊: Fundam. Informaticae
影响因子: --
作者:
G. Georgescu;A. Popescu
通讯作者: G. Georgescu;A. Popescu
DOI: 10.1016/j.apal.2003.01.001
发表时间: 2004-08
期刊: Ann. Pure Appl. Log.
影响因子: --
作者:
R. Belohlávek
通讯作者: R. Belohlávek
DOI: 10.1007/978-3-540-70901-5_1
发表时间: 2007-02
期刊: --
影响因子: --
作者:
B. Ganter
通讯作者: B. Ganter
DOI: 10.1007/978-3-642-29892-9
发表时间: 2012
期刊: --
影响因子: --
作者:
Florent Domenach;D. Ignatov;Jonas Poelmans
通讯作者: Florent Domenach;D. Ignatov;Jonas Poelmans