Relations binaires, fermetures, correspondances de Galois

DOI10.24033/bsmf.1401zbMath0033.00603OpenAlexW2302731373MaRDI QIDQ5790797

No author found.

Publication date: 1948

Published in: Bulletin de la Société mathématique de France (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=BSMF_1948__76__114_0

zbMATH Keywords

closure operators binary relations Galois correspondences

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items

General theory of mappings ⋮ A relational division operator: The conjugate kernel ⋮ An algebraic approach to binary relations ⋮ Unnamed Item ⋮ Kernels, in a nutshell ⋮ Diads and their application to topoi ⋮ Ranks of ideals in inverse semigroups of difunctional binary relations ⋮ Relational systems with involution ⋮ The lattice and semigroup structure of multipermutations ⋮ Facets of congruence distributivity in Goursat categories ⋮ Endotypes of partial equivalence relations ⋮ Components and acyclicity of graphs. An exercise in combining precision with concision ⋮ How can representation theories of inverse semigroups and lattices be united? ⋮ On fuzzy difunctional relations ⋮ Closure categories ⋮ Programming from metaphorisms ⋮ A calculational approach to mathematical induction ⋮ Compositions and decompositions of binary relations ⋮ On difunctions ⋮ Isomorphisms of semirings of continuous binary relations on topological spaces ⋮ Semigroups of relatively continuous binary relations and their isomorphisms ⋮ Resource bisimilarity and graded bisimilarity coincide ⋮ Partially-defined equivalence relations: relationship with orthopartitions and connection to rough sets ⋮ Natürliche Zahlen, Ordnung, Nachfolge ⋮ Choices and kernels in bipolar valued digraphs ⋮ Residuated relational systems ⋮ On the categorical behaviour of \(V\)-groups ⋮ Formal context coverage based on isolated labels: an efficient solution for text feature extraction ⋮ Programs as partial graphs. I: Flow equivalence and correctness ⋮ Products of operators of multidimensional structured model of systems ⋮ Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types ⋮ Semigroups of endotopisms of the efficient connected relations ⋮ Relation algebraic domain constructions ⋮ Unnamed Item ⋮ The matrix taxonomy of finitely complete categories ⋮ Multigroups ⋮ Multigroups ⋮ Transitivity and Difunctionality of Bisimulations ⋮ Using difunctional relations in information organization ⋮ Reducing one class of machine learning algorithms to logical operations of plausible reasoning ⋮ The general theory of diads ⋮ Symmetric quotients and domain constructions ⋮ \(A\)-closed classes of idempotent functions of many-valued logic definable by binary relations ⋮ \textsc{QualityCover}: efficient binary relation coverage guided by induced knowledge quality ⋮ Inverse semigroups of local automorphisms of universal algebras ⋮ A-classification of idempotent functions of many-valued logic ⋮ Identities in fixed dimension algebras of multioperations ⋮ Projection representable relations on Menger (2, n)-semigroups ⋮ On the semigroup of binary relations on a finite set ⋮ Théorie des classes dans un demigroupe involutif ⋮ Relation algebras and function semigroups ⋮ On difunctionality of class relations ⋮ Matching relations and the dimensional structure of social choices ⋮ Unnamed Item ⋮ Monoïdes préordonnés et chaînes de Malcev ⋮ On closure operators ⋮ Combinatorial properties of binary semigroups ⋮ Difunctionally induced state machines ⋮ Tight Galois Connections and Complete Distributivity ⋮ On the Naturalness of Mal’tsev Categories ⋮ An Introduction to Regular Categories ⋮ Relation algebras: Concept of points and representability

Cites Work