Portability  nonportable 

Stability  experimental 
Maintainer  sjoerd@w3future.com 
Safe Haskell  SafeInferred 
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. 