semifunctor profunctor contravariant functor overfunctor bifunctor contravariance functor functor category endofunctor subfunctor