A subcategory of a category is a subset of the morphisms and their sources/targets which is closed under compositions and contains all identity morphisms.

This article is a stub. You can help Wikipedia by fixing it.