Categories Of Relations
- 299 Downloads
Usually a binary relation acts between two different sets. Therefore, an algebraic theory for relations should reflect this kind of typing, i.e., the theory should have a suitable notion of source and target of its elements. A convenient framework for that is given by category theory.
Unable to display preview. Download preview PDF.