relaxed use of Category to alow normal Category and separate Hom. This
lets us _not_ specify the category for the QFunctor for Const.