# Tagged Questions

**1**

vote

**1**answer

160 views

### Seems like Reader monad composed with a strong monad produces a monad, am I right?

Take a Cartesian (or monoidal) closed category; define Reader monad for a given object $E$ as
$X \mapsto X^E$; and take a strong monad $M$ (strong means preserves product or tensor product).
Now the ...

**1**

vote

**0**answers

275 views

### Cartesian-closed categories of algebras

If the Kleisli-category of a monad is Cartesian-closed, can we say when the category of Eilenberg-Moore algebras is?