Blog post about cofunctors.