Category theory

  • #1
1,569
2
One question for now:
1. If C is a full subcategory of D and D is a full subcategory of C, what can be said, if anything, about C and D being either equal or equivalent in some way?
 

Answers and Replies

  • #2
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
They'd have to be equal.

Every object of C is an object of D, and vice cersa. Full subcategories are determined by their objects.
 
  • #3
1,569
2
2. Could you explain slice categories?

I have a quote that I don't get:
It is useful to think of an object of Set/A as an A-indexed family of disjoint sets (the inverse images of the elements of A). The commutivity of teh above diagram means that the function h is consistent with the decomposition of B and C into disjoint sets.
In the "above diagram," f:B-->A, g:C-->A, and h:B-->C s.t. gh=f.

Thanks in advance...
 
  • #4
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
Have you worked much with fiber bundles? I think they're a good model to understand what's going on.

You can imagine the objects of the slice category are the projections from objects of the original category to the base object.

For a given projection, each "point" X of the base object corresponds to a "fiber", those "points" of the source object that project onto X. (Thus, we have a B-indexed family of fibers)

The morphisms of the slice category, then, are the morphisms that act "fiber-wise". That is, if P is in a fiber of X, then f(P) is also in a fiber of X.

Of course, in general you won't have points and fibers to manipulate, but I think this is the spirit behind it.
 
Last edited:

Related Threads on Category theory

  • Last Post
Replies
8
Views
4K
  • Last Post
Replies
14
Views
3K
  • Last Post
Replies
9
Views
3K
  • Last Post
Replies
7
Views
3K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
1
Views
3K
  • Last Post
Replies
2
Views
7K
  • Last Post
Replies
4
Views
2K
Replies
2
Views
2K
  • Last Post
Replies
1
Views
2K
Top