- #1

- 1,569

- 2

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?

- Thread starter phoenixthoth
- Start date

- #1

- 1,569

- 2

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?

- #2

Hurkyl

Staff Emeritus

Science Advisor

Gold Member

- 14,916

- 19

Every object of C is an object of D, and vice cersa. Full subcategories are determined by their objects.

- #3

- 1,569

- 2

I have a quote that I don't get:

In the "above diagram," f:B-->A, g:C-->A, and h:B-->C s.t. gh=f.It is useful to think of an object ofSet/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.

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.

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:

- 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

- Last Post

- Replies
- 2

- Views
- 2K

- Last Post

- Replies
- 1

- Views
- 2K