- Like the slice categories, we now consider a category derived from an existing category and
*two*of its objects. Let be defined by essentially the same procedure. - Objects are pairs of morphisms in to
*A*and*B*, and morphisms (between, say, and are diagrams like the following that commute: - Flipping the arrows gives an analogous category related to the coslice category.