Friday, August 19, 2011

the category of Relations is a 2-category

The category of relations with:

  • 0-cells : Sets (A,B,C,D)
  • 1-cells : Relations(R,S, T)
  • 2-cells : Inclusion. R < S iff forall x:A, y:B, xRy implies xSy
  1. Horizontal composition: R < R' S < S' implies R.S < R'.S'
  2. Vertical composition : R < S < T imples R < T



Am I right?

No comments: