In mathematics, specifically category theory, adjunction is a relationship that two functors may have. In homological algebra, the relationship between currying and uncurrying is known as tensor-hom adjunction. This adjunction accounts for much of the importance of loop spaces in stable homotopy theory. In homological algebra, the adjointness of curry and apply is known as tensor-hom adjunction. "Beck's monadicity theorem" gives a necessary and sufficient condition for an adjunction to be monadic. As was mentioned above, any adjunction gives rise to a monad. This is known as the tensor-hom adjunction; see also . Theorems of this type are called inversion of adjunction. Instead, disparities in grammaticality emerge in environments of topicalization and adverbial adjunction. A derivation starts with an initial tree, combining via either "substitution" or "adjunction". The adjunction formula relates the canonical bundles of "X" and "D". The genus-degree formula for plane curves can be deduced from the adjunction formula. The map formula 8 is the unit of this adjunction. This adjunction can be understood geometrically, as follows. Left adjunction and the Head Movement Constraint ensure that the Mirror Principle holds.