Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | sjoerd@w3future.com |
Safe Haskell | Safe-Inferred |
2, or the Boolean category. It contains 2 objects, one for true and one for false. It contains 3 arrows, 2 identity arrows and one from false to true.
Documentation
Category Boolean |
|
HasBinaryCoproducts Boolean | Disjunction is the binary coproduct in the Boolean category. |
HasBinaryProducts Boolean | Conjunction is the binary product in the Boolean category. |
HasInitialObject Boolean | False is the initial object in the Boolean category. |
HasTerminalObject Boolean | True is the terminal object in the Boolean category. |
CartesianClosed Boolean | Implication makes the Boolean category cartesian closed. |