Advertisement

Categories Of Relations

Chapter
  • 299 Downloads
Part of the Trends in Logic book series (TREN, volume 25)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer 2007

Personalised recommendations