User loginNavigation 
Elementary Category TheoryRecently 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 20040626 19:31  LtU Forum  previous forum topic  next forum topic  other blogs  11510 reads

Browse archivesActive forum topics 
Recent comments
5 hours 25 min ago
8 hours 53 min ago
9 hours 43 min ago
11 hours 51 min ago
1 day 2 hours ago
1 day 7 hours ago
4 days 14 hours ago
1 week 1 day ago
1 week 1 day ago
1 week 2 days ago