Given a category C, and an object x:C a slice category C/x is the category of pairs of C-objects y, and morhpisms from y to x.