Kan extension

Category theory constructs