A general Galois theory for operations and relations in arbitrary categories

DOI10.1007/s00012-012-0209-9zbMath1283.06010OpenAlexW1973387608MaRDI QIDQ1935011

Sebastian Kerkhoff

Publication date: 30 January 2013

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: http://tud.qucosa.de/id/qucosa%3A25678

zbMATH Keywords

invariancedualityGalois theorycategory theorypreservationGalois connectionscoclonesdual operationsinvariant relationspolymorphismsclones of operationsdual relationsclones of relationsGalois closed classes

Mathematics Subject Classification ID

Operations and polynomials in algebraic structures, primal algebras (08A40) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (11)

Clones with nullary operations. ⋮ Dualizing clones as models of Lawvere theories. ⋮ A short introduction to clones. ⋮ Galois theory for semiclones ⋮ Galois connection for multiple-output operations ⋮ Unnamed Item ⋮ Dualizing clones into categories of topological spaces. ⋮ On the definition of suitable orderings to generate adjunctions over an unstructured codomain ⋮ A Generalized Version of the Baker–Pixley Theorem ⋮ A GENERAL DUALITY THEORY FOR CLONES ⋮ Generating Isotone Galois Connections on an Unstructured Codomain

Cites Work

• A general Galois theory for cofunctions and corelations
• Closed systems of functions and predicates
• Une généralisation de la notion de corps
• The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
• Operads and PROPs
• ON DUALIZING CLONES AS LAWVERE THEORIES
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Galois Connections for Generalized Functions and Relational Constraints
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A general Galois theory for operations and relations in arbitrary categories