wait wtf I always thought currying, in like, the CS sense, and the tensor-hom adjunction for modules or were basically the same thing. so I was going around thinking "oh yeah that means R-modules, R-algebras, etc. are all cartesian closed, cartesian closed just means there's an internal hom"
but that's not true, since the tensor product of modules is *not* the categorical product. it's even less true for algebras, where the tensor product is the *co-product* of all things. this is fucking with me, because these cases are *the* example of "internal hom" in my head
in either of these cases, does the product actually have a right adjoint? I don't think so... In the case of vector spaces, definitely not, since the dimension would be fucky...
ｃｙｂｒｅｓｐａｃｅ: the social hub of the information superhighway
jack in to the mastodon fediverse today and surf the dataflow through our cybrepunk, slightly glitchy web portal
support us on patreon or liberapay!