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

Browse archives
Active forum topics 
Recent comments
2 weeks 6 days ago
3 weeks 6 days ago
6 weeks 1 day ago
6 weeks 6 days ago
7 weeks 2 hours ago
7 weeks 2 days ago
7 weeks 2 days ago
7 weeks 3 days ago
7 weeks 4 days ago
7 weeks 4 days ago