Induced FunLike using injective function.

Stream: Is there code for X?

[Wrenna Robson]

Suppose I have an instance FunLike Y A B and an injection f : X -> Y. This induces a FunLike X A B in the obvious way - but do we have a name for this construction?