Closure is a comonad in the category of profunctors