3 Matching Annotations
  1. Feb 2021
    1. In fact, the Product comonad is just the dual of the Writer monad and effectively the same as the Reader monad (both discussed below)
  2. Jul 2020
    1. the ∧ and ∨ operators are dual in this sense, because (¬x ∧ ¬y) and ¬(x ∨ y) are equivalent. This means that for every theorem of classical logic there is an equivalent dual theorem. De Morgan's laws are examples