Metadata
Author: WikiMatrix
Data
English[en]
Now the obvious uniqueness of f' suffices to obtain the required adjunction—the morphism-part of the functor F can be derived from general considerations (see adjoint functors).
Spanish[es]
Ahora, la unicidad obvia de f' basta para obtener el carácter adjunto requerido — el aspecto de morfismo del funtor F puede derivarse sobre la base de consideraciones generales (ver funtores adjuntos).