All Questions
Tagged with cartesian-closed-categories monads
3 questions
0
votes
0
answers
35
views
Are there cartesian closed monads that also preserve the closed structure of the CCC
When I look for cartesian closed monads, I only find monads where the endofunctor preserves the cartesian structure of a cartesian closed category
$$
\operatorname T\ (a \times b) = (\operatorname T\ ...
2
votes
1
answer
428
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 ...
- 53.3k
5
votes
0
answers
676
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?
- 15.5k