Mathematics – Category Theory
Scientific paper
2007-11-05
Mathematics
Category Theory
70 pages. Copy at http://math.berkeley.edu/~gbergman/papers
Scientific paper
If C and D are varieties of algebras in the sense of general algebra, then by a representable functor C --> D we understand a functor which, when composed with the forgetful functor D --> Set, gives a representable functor in the classical sense; Freyd showed that these functors are determined by D-coalgebra objects of C. Let Rep(C,D) denote the category of all such functors, a full subcategory of Cat(C,D), opposite to the category of D-coalgebras in C. It is proved that Rep(C,D) has small colimits, and in certain situations, explicit constructions for the representing coalgebras are obtained. In particular, Rep(C,D) always has an initial object. This is shown to be "trivial" unless C and D either both have_no_ zeroary operations, or both have _more_than_one_ derived zeroary operation. In those two cases, the functors in question may have surprisingly opulent structures. It is also shown that every set-valued representable functor on C admits a universal morphism to a D-valued representable functor. Several examples are worked out in detail, and areas for further investigation noted.
No associations
LandOfFree
Colimits of representable algebra-valued functors 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 Colimits of representable algebra-valued functors, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Colimits of representable algebra-valued functors will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-133706