Re: question about distributive categories

Vaughan Pratt's reply confirms my suspicion that for a symmetric monoidal closed category with tensor @ and exponential -o the Keisli category for the (strong) monad induced by the functor T that maps X to (X -o A) -o A (A fixed) is highly unlikely to be cartesian closed AND non-trivial. This probably is a well-known result. I'd appreciate pointers to the literature. -- J"urgen Koslowski | If I don't see you no more in this world | I meet you in the next world | and don't be late! koslowj@math.ksu.edu | Jimi Hendrix (Voodoo Chile) +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++