Associate the morphism with `ApFunctor` and require it to be a category