archives

Elementary Category Theory

Recently I started learning CT, and I'm trying to express the property "set A is contained within set B" (in the Set Category) using CT language only, but I'm quite stuck.

This bothers me for some time now, so I was wondering if someone here has any leads?

Thanks in advance!

By Ohad Kammar at 2004-06-26 19:31 | LtU Forum | 13 comments | other blogs | 14330 reads