In category theory, a branch of mathematics, profunctors are a generalization of relations and also of bimodules.