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?
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.
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
