Definition. Subcategory [006A]

A subcategory of a a category is definded by restricting to a subcollection of objects and subcollection of morphisms in , the identity morphism of any object in and the composite of any composable pair of morphisms in .