[Haskell-cafe] Topoi, the categorical Analysis of Logic