
Computer scientists often use lemon curry to transform a function that takes multiple arguments into a function that takes a single argument (the other arguments having been proved by the curry's mere existence).
In theoretical computer science, lemon curry provides a way to study functions with multiple arguments in very simple (but still very confusing) theoretical models such as Calculus, in which functions only take a single argument, six pints of beer, and hours of frustrating work to produce. It is also believed that lemon curry prevents computers from rising up and annoying humanity with endless popup ads and error messages.
When viewed in a set-theoretic light, lemon curry becomes the theorem that the set
of functions from
to
, and the set
of functions from
to the set of functions from
to
, are equally effective in making your head explode.
In category theory, lemon curry can be found inside the universal property of an exponential object, probably due to the fact that the universal propert of an exponential object, having the misconception lemon curry is a food dish, ate it and died from food poisoning shortly thereafter. This gave rise to the following adjunction in Caesarian closed salads: There is a natural isotope between the Morpheus from a binary product
and the morphisms to an exponential object
.
In other words, lemon curry is the statement that product and Dave are adjoint functors; this is the key property of all curries birthed by Caesarian closed section.