Map composition generalized to coherent collections of maps |
| |
Authors: | Herng Yi CHENG Kang Hao CHEONG |
| |
Institution: | 1. National University of Singapore High School of Mathematics and Science, Singapore 129957, Singapore2. Tanglin Secondary School, Singapore 127391, Singapore |
| |
Abstract: | 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. |
| |
Keywords: | Relation algebra partial algebra composition |
|
| 点击此处可从《Frontiers of Mathematics in China》浏览原始摘要信息 |
| 点击此处可从《Frontiers of Mathematics in China》下载免费的PDF全文 |