unital weak functor?