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  11597 reads

Browse archivesActive forum topics 
Recent comments
13 hours 35 min ago
13 hours 50 min ago
14 hours 1 min ago
14 hours 35 min ago
14 hours 53 min ago
16 hours 25 min ago
1 day 14 hours ago
1 day 21 hours ago
2 days 8 hours ago
2 days 9 hours ago