Gunther Schmidt: Relational Concepts in Social Choice

Authors

Title

Status, Abstract

Gunther Schmidt

A point-free relation-algebraic approach to general topology
.pdf .bib

Relational and Algebraic Methods in Computer Science -- 14th International Conference, RAMICS 2014
April 28--May 1, 2014, Kloster Marienstatt Westerwald, Germany

Proceedings appeared as Lect. Notes in Comput. Sci. 8428 (226--241)

Fakultät für Informatik
Universität der Bundeswehr München
85577 Neubiberg, Germany
Gunther.Schmidt@UniBw.de
April 2014 In advanced functional programming, researchers have investigated the existential image, the power transpose, and the power relator, e.g. It will be shown how the existential image is of use when studying continuous mappings between different topologies relationally. Normally, structures are compared using homomorphisms and sometimes isomorphisms. This applies to group homomorphisms, to graph homomorphisms and many more. The technique of comparison for topological structures will be shown to be quite different. Having in mind the cryptomorphic versions of neighborhood topology, open kernel topology, open sets topology, etc., this seems important. Lifting concepts to a relational and, thus, algebraically manipulable and shorthand form, shows that existential and inverse images must here be used for structure comparison. Applying the relational language TituRel to such topological concepts allows to study and also visualize them.

Authors	Title	Status, Abstract
Gunther Schmidt	A point-free relation-algebraic approach to general topology .pdf .bib	Relational and Algebraic Methods in Computer Science -- 14th International Conference, RAMICS 2014 April 28--May 1, 2014, Kloster Marienstatt Westerwald, Germany Proceedings appeared as Lect. Notes in Comput. Sci. 8428 (226--241)
Fakultät für Informatik Universität der Bundeswehr München 85577 Neubiberg, Germany Gunther.Schmidt@UniBw.de	April 2014	In advanced functional programming, researchers have investigated the existential image, the power transpose, and the power relator, e.g. It will be shown how the existential image is of use when studying continuous mappings between different topologies relationally. Normally, structures are compared using homomorphisms and sometimes isomorphisms. This applies to group homomorphisms, to graph homomorphisms and many more. The technique of comparison for topological structures will be shown to be quite different. Having in mind the cryptomorphic versions of neighborhood topology, open kernel topology, open sets topology, etc., this seems important. Lifting concepts to a relational and, thus, algebraically manipulable and shorthand form, shows that existential and inverse images must here be used for structure comparison. Applying the relational language TituRel to such topological concepts allows to study and also visualize them.