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:qucosa:25678 |
| Date | 20 September 2011 |
| Creators | Kerkhoff, Sebastian |
| Publisher | Technische Universität Dresden |
| Source Sets | Hochschulschriftenserver (HSSS) der SLUB Dresden |
| Language | German |
| Detected Language | English |
| Type | doc-type:preprint, info:eu-repo/semantics/preprint, doc-type:Text |
| Rights | info:eu-repo/semantics/openAccess |
| Relation | urn:nbn:de:bsz:14-qucosa-100659, qucosa:26311 |
Page generated in 0.0017 seconds