Bimorphisms and attribute implications in heterogeneous formal contexts

Formal concept analysis is a powerful mathematical framework based on mathematical logic and lattice theory for analyzing object-attribute relational systems. Over the decades, Formal concept analysis has evolved from its theoretical foundations into a versatile methodology applied across various disciplines. A heterogeneous formal context provides a feasible generalization of a formal context, enabling diverse truth-degrees of objects, attributes, and fuzzy relations. In our paper, we present extended theoretical results on heterogeneous formal contexts, including bimorphisms, Galois connections, and heterogeneous attribute implications. We recall the basic notions and properties of the heterogeneous formal context and its concept lattice. Moreover, we present extended results on bimorphisms and Galois connections in a heterogeneous formal context, including a self-contained proof of the main result. We include examples of introduced notions in heterogeneous formal contexts and two-valued logic. We propose the extension of attribute implications for heterogeneous formal contexts and explore their validity. By embracing heterogeneity in Formal concept analysis, we enrich its extended theoretical foundations and pave the way for innovative applications across diverse domains, including personal data protection and cybersecurity.