un funtor con un adjunto izquierdo y uno derecho.