The generalized one-sided concept lattices represent a generalization of the classical FCA method convenient for a hierarchical analysis of object-attribute models with different types of attributes. The mentioned types of object-attribute models are formalized within the theory as formal contexts of a certain type. The aim of this paper is to investigate some intercontextual relationships represented by the notion of bond. A composition of bonds is defined in order to introduce the category of formal contexts with bonds as morphisms. It is shown that there is a one-to-one correspondence between bonds and supremum preserving mappings between the corresponding generalized one-sided concept lattices. As the main theoretical result it is shown that the introduced category of formal contexts with bonds is equivalent to the category of complete lattices with supremum preserving mappings as morphisms.

中文翻译：

---

广义一面概念格的键

广义的单侧概念格表示经典FCA方法的推广，便于对具有不同类型属性的对象-属性模型进行层次分析。提到的对象-属性模型的类型在理论中被形式化为某种类型的形式上下文。本文的目的是研究以键的概念表示的一些上下文之间的关系。定义键的组成是为了引入形式上下文的类别，其中键是态射。结果表明，在键和对应的广义单侧概念格之间的最高保存映射之间存在一一对应的关系。