On coalgebras over algebras

Details On coalgebras over algebras On coalgebras over algebras

2010-05-06

arxiv.org/abs/1005.0938v1

Mathematics

Category Theory

17 pages, to appear in ENTCS

Scientific paper

We extend Barr's well-known characterization of the final coalgebra of a $Set$-endofunctor as the completion of its initial algebra to the Eilenberg-Moore category of algebras for a $Set$-monad $\mathbf{M}$ for functors arising as liftings. As an application we introduce the notion of commuting pair of endofunctors with respect to the monad $\mathbf{M}$ and show that under reasonable assumptions, the final coalgebra of one of the endofunctors involved can be obtained as the free algebra generated by the initial algebra of the other endofunctor.

Affiliated with

Also associated with

No associations

Rating

On coalgebras over 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 On coalgebras over algebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On coalgebras over algebras will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-25953