Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | sjoerd@w3future.com |
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 | |
HasBinaryProducts Boolean | |
HasInitialObject Boolean | False is the initial object in the Boolean category. |
HasTerminalObject Boolean | True is the terminal object in the Boolean category. |
Show (Obj Boolean a) |