Portability  nonportable 

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) 