Kan Extensions in Context of Concreteness

Details Kan Extensions in Context of Concreteness Kan Extensions in Context of Concreteness

2011-04-18

arxiv.org/abs/1104.3542v1

Mathematics

Category Theory

Scientific paper

This paper contains results from two areas -- formal theory of Kan extensions and concrete categories. The contribution to the former topic is based on the extension of the concept of Kan extension to the cones and we prove that limiting cones create Kan extensions. The latter topic focuses on two significant families of concrete categories over an arbitrary category. Beck categories are defined by preservance properties while newly introduced l-algebraic categories are described by limits of categories of functor algebras. The latter family is shown to be rather natural. The well known Beck's theorem states that the monadic categories are precisely the Beck categories with free objects. We strengthen this theorem by weakening the assumptions of the existence of free objects and we replace it by existence of some Kan extensions, namely the pointwise codensity monads. Moreover, using the result on Kan extensions of cones we show that for l-algebraic categories even weaker assumption fits.

Affiliated with

Also associated with

No associations

Rating

Kan Extensions in Context of Concreteness 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 Kan Extensions in Context of Concreteness, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Kan Extensions in Context of Concreteness will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-72489