Defined a more relaxed and usable definition of subcategories.  These
are determined by what I am calling a categorical predicate.  It is
essentially a functor to Set, but in a easier to use form.