¿Hay alguna palabra para restringir el codominio de una función?

Question

Considere una función $f : A \rightarrow B$ .

Podemos restringir la función a cualquier subconjunto de su dominio. Eso es completamente estándar.

A veces también nos gustaría restringir el codominio de una función. Notable y obviamente, el codominio debe ser lo suficientemente grande para contener la imagen $f(A)$ del dominio bajo $f$ .

¿Hay una palabra o un formalismo para restringir el codominio de una función?

Answer 1

Dada una función $f : A \to B$ y un subconjunto $V \subseteq B$ tal que $f[A] \subseteq V$ la función $A \to V$ de acuerdo con $f$ se llama corestricción de $f$ a $V$ .

El término es comúnmente utilizado por los teóricos de la categoría como yo (ver aquí por ejemplo) ya que la correstricción es literalmente el dual categórico de la restricción.

Ver también esta pregunta relacionada en MathOverflow.