In this paper, we generalize the notions of polymorphisms and invariant relations to arbitrary categories. This leads us to a Galois connection that coincides with the classical case from universal algebra if the underlying category is the category of sets, but remains applicable no matter how the category is changed. In analogy to the situation in universal algebra, we characterize the Galois closed classes by local closures of clones of operations and local closures of what we will introduce as clones of (generalized) relations. Since the approach is built on purely category-theoretic properties, we will also discuss the dualization of our notions.
| Identifer | oai:union.ndltd.org:DRESDEN/oai:qucosa.de:bsz:14-qucosa-73920 |
| Date | 20 September 2011 |
| Creators | Kerkhoff, Sebastian |
| Contributors | Technische Universität Dresden, Fakultät Mathematik und Naturwissenschaften |
| Publisher | Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden |
| Source Sets | Hochschulschriftenserver (HSSS) der SLUB Dresden |
| Language | deu |
| Detected Language | English |
| Type | doc-type:preprint |
| Format | application/pdf |
| Relation | dcterms:isPartOf:Preprint / Technische Universität Dresden ; MATH-AL 2011,04 |
Page generated in 0.0085 seconds