Morphisms in Context
نویسندگان
چکیده
Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms can be used for the study of structural properties of knowledge represented in formal contexts, with applications to data transformation and merging. In this paper we present a comprehensive treatment of some of the most important morphisms in FCA and their relationships, including dual bonds, scale measures, infomorphisms, and their respective relations to Galois connections. We summarize our results in a concept lattice that cumulates the relationships among the considered morphisms. The purpose of this work is to lay a foundation for applications of FCA in ontology research and similar areas, where morphisms help formalize the interplay among distributed knowledge bases.
منابع مشابه
Homotopy approximation of modules
Deleanu, Frei, and Hilton have developed the notion of generalized Adams completion in a categorical context. In this paper, we have obtained the Postnikov-like approximation of a module, with the help of a suitable set of morphisms.
متن کاملOn morphisms of crossed polymodules
In this paper, we prove that the category of crossed polymodules (i.e. crossed modules of polygroups) and their morphisms is finitely complete. We, therefore, generalize the group theoretical case of this completeness property of crossed modules.
متن کاملToroidalization of locally toroidal morphisms of 3-folds
A toroidalization of a dominant morphism $varphi: Xto Y$ of algebraic varieties over a field of characteristic zero is a toroidal lifting of $varphi$ obtained by performing sequences of blow ups of nonsingular subvarieties above $X$ and $Y$. We give a proof of toroidalization of locally toroidal morphisms of 3-folds.
متن کاملAlgebraically Closed and Existentially Closed Substructures in Categorical Context
We investigate categorical versions of algebraically closed (= pure) embeddings, existentially closed embeddings, and the like, in the context of locally presentable categories. The definitions of S. Fakir [Fa, 75], as well as some of his results, are revisited and extended. Related preservation theorems are obtained, and a new proof of the main result of Rosický, Adámek and Borceux ([RAB, 02])...
متن کاملMorphisms in Logic , Topology , and Formal Concept Analysis
The general topic of this thesis is the investigation of various notions of morphisms between logical deductive systems, motivated by the intuition that additional (categorical) structure is needed to model the interrelations of formal specifications. This general task necessarily involves considerations in various mathematical disciplines, some of which might be interesting in their own right ...
متن کامل