On coalgebra based on classes

Details On coalgebra based on classes On coalgebra based on classes

2003-06-20

arxiv.org/abs/cs/0306118v1

Computer Science

Logic in Computer Science

Scientific paper

Every endofunctor of the category of classes is proved to be set-based in the
sense of Aczel and Mendler, therefore, it has a final coalgebra. Other basic
properties of these endofunctors are proved, e.g. the existence of a free
completely iterative theory.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-243550