Mathematics – Category Theory
Scientific paper
2004-07-14
Mathematics
Category Theory
16 pages, XYpic diagrams
Scientific paper
State monads in cartesian closed categories are those defined by the familiar
adjunction between product and exponential. We investigate the structure of
their algebras, and show that the exponential functor is monadic provided the
base category is sufficiently regular, and the exponent is a non-empty object.
No associations
LandOfFree
State monads and their algebras does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with State monads and their algebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and State monads and their algebras will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-335337