APL, Python, Haskell, Pointfree, Category theory
All things that are so fascinating to me.
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
Horizontal composition: R < R' S < S' implies R.S < R'.S'
Vertical composition : R < S < T imples R < T
Am I right?
No comments:
Post a Comment
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment