Map composition generalized to coherent collections of maps
- 77 Downloads
Relation algebras give rise to partial algebras on maps, which are generalized to partial algebras on polymaps while preserving the properties of relation union and composition. A polymap is defined as a map with every point in the domain associated with a special set of maps. Polymaps can be represented as small subcategories of Set*, the category of pointed sets. Map composition and the counterpart of relation union for maps are generalized to polymap composition and sum. Algebraic structures and categories of polymaps are investigated. Polymaps present the unique perspective of an algebra that can retain many of its properties when its elements (maps) are augmented with collections of other elements.
KeywordsRelation algebra partial algebra composition
Unable to display preview. Download preview PDF.
- 2.Börger R. Connectivity spaces and component categories. In: Categorical Topology, Proc Int Conf, Toledo/Ohio 1983. Sigma Ser Pure Math, 5. 1984, 71–89Google Scholar
- 5.De Morgan A. On the syllogism: IV, and the logic of relations. T Cambridge Philos Soc, 1864, 10: 331–358Google Scholar