2011/04/18 by Ján Pavlík, Jan Pavlík, Pavlík, Jan
Computer Science · Mathematics · #18C05 #18C15 #18C20 #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic, programming, and type systems #math.CT #msc:18C05 #msc:18C15 #msc:18C20
paper · pdf · doi:10.48550/arxiv.1104.3542
arxiv created 2011/04/18 · openalex publication_date 2011/04/18 · arxiv updated 2011/04/19 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.