own right.
|
| Clearly, a subcategory D of C is a 'full' subcategory
| if and only if D(X, Y) = C(X, Y) for all X, Y in ob(D).
|
| 17.  Example.  Set is a (nonfull) subcategory of Pfn
|      since ob(Set) = ob(Pfn), Set(X, Y) c Pfn(X, Y),
|      id_X in Pfn(X, X) is the total identity function,
|      and if f, g are composable total functions then
|      their composition gf as partial functions is
|      their composition as total functions.
|
| Manes &amp; Arbib, AAPS, pages 43-44.
|
| Ernest G. Manes &a