A Relationship between Left Exact and Representable Functors
H. B. Stauffer
Abstract
Open-access reader
H. B. Stauffer
Abstract
Open-access reader
Our aim in this paper is to demonstrate a relationship between left exact and representable functors. More precisely, in the functor category whose objects are the additive functors from the dual of an abelian category ๐ to the category of abelian groups and whose morphisms are the natural transformations between them, the left exact functors can be characterized as those equivalent to a direct limit of representable functors taken over a directed class. The proof will proceed in the following manner. Lambek [3] and Ulmer [7] have shown that any functor T in can be expressed as a direct limit of representable functors taken over a comma category. When T is left exact, it is easily observed that this comma category is a filtered category. When T is left exact, it is easily observed that this comma category is a filtered category.
OpenAlex reports 5 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Our aim in this paper is to demonstrate a relationship between left exact and representable functors. More precisely, in the functor category whose objects are the additive functors from the dual of an abelian category ๐ to the category of abelian groups and whose morphisms are the natural transformations between them, the left exact functors can be characterized as those equivalent to a direct limit of representable functors taken over a directed class. The proof will proceed in the following manner. Lambek [3] and Ulmer [7] have shown that any functor T in can be expressed as a direct limit of representable functors taken over a comma category. When T is left exact, it is easily observed that this comma category is a filtered category. When T is left exact, it is easily observed that this comma category is a filtered category.
Key concepts: Mathematics, Functor, Functor category, Exact functor, Natural transformation, Ext functor, Pure mathematics, Morphism