Skip to main content

All Questions

2 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
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?
David Carchedi's user avatar
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\ ...
Johan Thiborg-Ericson's user avatar