[<<][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][>>][..]