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

Browse archivesActive forum topics 
Recent comments
7 weeks 3 days ago
7 weeks 5 days ago
7 weeks 6 days ago
14 weeks 6 days ago
20 weeks 4 days ago
20 weeks 5 days ago
21 weeks 4 days ago
24 weeks 2 days ago
25 weeks 5 days ago
25 weeks 6 days ago