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 

HasTerminalObject Boolean  True is the terminal object in the Boolean category. 
HasInitialObject Boolean  False is the initial object in the Boolean category. 
HasBinaryProducts Boolean  Conjunction is the binary product in the Boolean category. 
HasBinaryCoproducts Boolean  Disjunction is the binary coproduct in the Boolean category. 
CartesianClosed Boolean  Implication makes the Boolean category cartesian closed. 
data NatAsFunctor f g whereSource