11. In homological algebra, the adjointness of curry and apply is known as tensor-hom adjunction . 12. As a result, there is no right adjunction , and hence in practice no rightward movement either. 13. The monad theory matters as part of the effort to capture what it is that adjunctions 'preserve '. 14. The adjunction between topological spaces and locales restricts to an equivalence of categories between sober spaces and spatial locales. 15. This shows that any adjunction of a finite set can be reduced to a successive adjunction of single elements. 16. This shows that any adjunction of a finite set can be reduced to a successive adjunction of single elements. 17. This is formally the tensor-hom adjunction , and is an archetypal example of a pair of adjoint functors. 18. Because of this adjunction , there is an associated monad on the category of sheaves on " X ". 19. More generally, it has been shown that vectorization is a self-adjunction in the monoidal closed structure of any category of matrices. 20. However, the adjoint functors " F " and " G " alone are in general not sufficient to determine the adjunction .
