Extending resource monotones as Kan extensions