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

Browse archivesActive forum topics 
Recent comments
8 hours 4 min ago
10 hours 1 min ago
17 hours 42 min ago
17 hours 45 min ago
18 hours 26 min ago
18 hours 44 min ago
1 day 3 hours ago
1 day 5 hours ago
1 day 6 hours ago
1 day 7 hours ago