At a deeper level currying is just a specific application of the Hom-tensor adjunction to the category of Sets.
Used in a Sentence
hom-tensor
How to use hom-tensor in a sentence. Live example sentences for hom-tensor pulled from indexed public discussions.
Editorial note
At a deeper level currying is just a specific application of the Hom-tensor adjunction to the category of Sets.
Examples5
Definitions0
Parts of speech1
Quick take
At a deeper level currying is just a specific application of the Hom-tensor adjunction to the category of Sets.
Example sentences
Why is dedicated standard library support needed, when you can recover it from tuples, single-argument functions and Hom-tensor adjunctions[0]?
Given a vector in V and a transformation W^V, you can get a vector in W -- I think categorically this is called the hom-tensor adjunction?
This universal property is elegant and immediately gives the Hom-tensor adjunction, but to show that tensor products satisfying it actually exist you'll need an explicit construction, which can be done by quotienting a free module.
In module theory, which is a bit close to ZX, category theory gets used in a big way to calculate things: See left/right exact functors, co/contravariant functors, derived functors, the hom-tensor adjunction, etc.
Frequently asked questions
Short answers drawn from the clearest meanings and examples for this word.
How do you use hom-tensor in a sentence?
At a deeper level currying is just a specific application of the Hom-tensor adjunction to the category of Sets.