[<<][math][>>][..]

Thu Dec 28 18:12:55 EST 2017

## De Morgan vs. product/coproduct

De Morgan's duality is straightforward. When expressed in ^,v,~
~(~A v ~B) = A ^ B
~(~A ^ ~B) = A v B
The duality operation is to flip all polarities, and exchange v and ^.
Why is product/sum duality so convoluted in functional programming
notation?
A good starting point for looking at this is category theory's
products and coproducts.
E.g from here
https://en.wikipedia.org/wiki/Coproduct
Why are products and coproducts "dramatically different"?
In general, why are categorical duals so different?

[Reply][About]

[<<][math][>>][..]