Let C, D be Category with C≤D Then C is a full subcategory of D iff ∀A,B:C.C[A,B]=D[A,B] That is, C is simply a restriction of objects but not morphisms.