[Haskell-cafe] Re: Improved documentation for Bool

ajb at spamcop.net ajb at spamcop.net
Mon Jan 19 21:40:16 EST 2009

G'day all.

Quoting David Menendez <dave at zednenem.com>:

> Are there any instances of Boolean that aren't isomorphic to Bool?

Sure.  Two obvious examples:

- The lattice of subsets of a "universe" set, where "or" is union
"and" is intersection and "not" is complement with respect to the

- Many-valued logic systems.

- Intuitionistic logic systems.

- The "truth values" of an arbitrary topos (i.e. the points of the
subobject classifier).

Look up "Heyting algebra" for examples.

Andrew Bromage

More information about the Haskell-Cafe mailing list