A general Galois theory for cofunctions and corelations
From MaRDI portal
Publication:1866821
DOI10.1007/s000120050163zbMath1011.08008OpenAlexW2355150452MaRDI QIDQ1866821
Martin Rössiger, Reinhard Pöschel
Publication date: 23 April 2003
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s000120050163
Applications of universal algebra in computer science (08A70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Galois correspondences, closure operators (in relation to ordered sets) (06A15)
Related Items (7)
Dualizing clones as models of Lawvere theories. ⋮ Unnamed Item ⋮ A general Galois theory for operations and relations in arbitrary categories ⋮ A Generalized Version of the Baker–Pixley Theorem ⋮ Invariants of monadic coalgebras ⋮ A GENERAL DUALITY THEORY FOR CLONES ⋮ Universal coalgebra: A theory of systems
This page was built for publication: A general Galois theory for cofunctions and corelations
