Do you know programming? A coexponential A−B is intuitively roughly speaking an A together with a return position where you can place a B. It’s how function calls are implemented in computers, as morphisms A−B→0, corresponding to the fact that you have the parameters A and the call stack −B.
(More formally: given a coproduct (~disjoint union) +, a coexponential − is defined based on A→B+C being equivalent to A−B→C.)
Not a category theorist, I only understood this post through set theory analogies, so I have no idea what you just said.
Do you know programming? A coexponential A−B is intuitively roughly speaking an A together with a return position where you can place a B. It’s how function calls are implemented in computers, as morphisms A−B→0, corresponding to the fact that you have the parameters A and the call stack −B.
(More formally: given a coproduct (~disjoint union) +, a coexponential − is defined based on A→B+C being equivalent to A−B→C.)
OK, that explanation helped me understand coexponentials a bit but I’m unsure how it’s relevant to the assymetry between the examples Alok gave.