1. The map r _ B is the unit of this adjunction . 2. Every monad arises from some adjunction , in fact typically from many adjunctions. 3. Every monad arises from some adjunction, in fact typically from many adjunctions . 4. Left adjunction and the Head Movement Constraint ensure that the Mirror Principle holds. 5. Therefore, different heads can have a specification for right vs . left adjunction . 6. In general, adjunctions are not equivalences & mdash; they relate categories of different natures. 7. The construction of adjunction spaces is an example of pushouts in the category of topological spaces. 8. Multiple related examples can be given together, as in Adjunction formula # Applications to curves. 9. The Kan extension is one of the broadest descriptions of a useful general class of adjunctions . 10. In homological algebra, the relationship between currying and uncurrying is known as tensor-hom adjunction .
Mobile