Publication year: 2007
: 978-1-4020-6164-6
This book introduces several categorical formulations of an abstract theory of relations such as allegories, Dedekind categories and related structures. It is shown that neither theory is sufficiently rich to describe basic operations on fuzzy relations. The book then introduces Goguen categories and provides a comprehensive study of these structures including their representation theory, and the definability of norm-based operations.
: Humanities, Social Science and Law, Allegories, Categories, Computer science, Fuzzy relations, Goguen, Relation algebras, proof