29 Jul
1993
29 Jul
'93
2:53 p.m.
Consider a symmetric monoidal closed category C with finite coproducts. Write -o for the exponentiation. Are there non-trivial examples of objects A of C such that the functor _-oA maps every tensor product X \tensor Y to (the object part of) a coproduct X-oA + Y-oA (in C)? Such an A would be a nice candidate for an "answers object" for "continuation semantics" in computer science. -- J"urgen -- J"urgen Koslowski | If I don't see you no more in this world | I meet you in the next world | and don't be late! koslowj@math.ksu.edu | Jimi Hendrix (Voodoo Chile) +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++