News for hackers. Stuff that matters.
Re:Algebraic Data Types by mmarx on Thursday July 31, 2014 @12:11PM (#8114944)
No, altough the wording might have been misleading—I was refering to the second paragraph, while you seem to have applied it to the first. I hope this clarifies the situation a bit:

For any category, the product A * B of two objects A, B (if it exists) is unique only up to isomorphism (this follows from the universal mapping property).

In general, products A * B and C * D need not be isomorphic (and seldomly are), and neither do products from different categories. Many of the commonly-used products actually arise from a product in a suitable category, the cartesian product, for example, is a product in the category of sets.

Re:Algebraic Data Types by tel on Thursday July 31, 2014 @12:26PM (#8115039)
Yeah I think I just misunderstood your statement: I agree with this extension upon it completely.