(i) If I is a partially ordered set, let Dir(I, R Mod) denote all direct systems of left R-modul

step 1 So I have two subjective functions. I want to show that their composition is also subjective. So

(i) If I is a partially ordered set, let Dir(I, R Mod)...

(i) If $I$ is a partially ordered set, let $\operatorname{Dir}(I, R$ Mod) denote all direct systems of left $R$-modules over $I$. Prove that $\operatorname{Dir}(I, R$ Mod) is a category and that $\underline{\lim }: \operatorname{Dir}(I, R \operatorname{Mod}) \rightarrow$ $R$ Mod is a functor. (ii) In Example $1.19$ (ii), we saw that constant functors define a functor $|\square|: \mathcal{C} \rightarrow \mathcal{C}^{\mathcal{D}}$; to each object $C$ in $\mathcal{C}$ assign the constant functor $|C|$, and to each morphism $\varphi: C \rightarrow C^{\prime}$ in $\mathcal{C}$, assign the natural transformation $|\varphi|:|C| \rightarrow\left|C^{\prime}\right|$ defined by $|\varphi|_{D}=\varphi .$ If $\mathcal{C}$ is cocomplete, prove that $\left(\lim _{\longrightarrow}|\square|\right)$ is an adjoint pair, and conclude that $\underline{\lim }$ preserves direct limits. (iii) Let $I$ be a partially ordered set and let $\operatorname{Inv}(I, R$ Mod) denote the class of all inverse systems, together with their morphisms, of left $R$-modules over $I$. Prove that Inv( $I, R$ Mod) is a category and that $\lim : \operatorname{Inv}\left(I,{ }_{R} \mathbf{M o d}\right) \rightarrow{ }_{R} \mathbf{M o d}$ is a functor. (iv) Prove that if $\mathcal{C}$ is complete, then $(|\square|, \lim )$ is an adjoint pair and lim preserves inverse limits.

(i) If $I$ is a partially ordered set, let $\operatorname{Dir}(I, R$ Mod) denote all direct systems of left $R$-modules over $I$. Prove that $\operatorname{Dir}(I, R$ Mod) is a category and that $\underline{\lim }: \operatorname{Dir}(I, R \operatorname{Mod}) \rightarrow$ $R$ Mod is a functor.
(ii) In Example $1.19$ (ii), we saw that constant functors define a functor $|\square|: \mathcal{C} \rightarrow \mathcal{C}^{\mathcal{D}}$; to each object $C$ in $\mathcal{C}$ assign the constant functor $|C|$, and to each morphism $\varphi: C \rightarrow C^{\prime}$ in $\mathcal{C}$, assign the natural transformation $|\varphi|:|C| \rightarrow\left|C^{\prime}\right|$ defined by $|\varphi|_{D}=\varphi .$ If $\mathcal{C}$ is cocomplete, prove that $\left(\lim _{\longrightarrow}|\square|\right)$ is an adjoint pair, and conclude that $\underline{\lim }$ preserves direct limits.
(iii) Let $I$ be a partially ordered set and let $\operatorname{Inv}(I, R$ Mod) denote the class of all inverse systems, together with their morphisms, of left $R$-modules over $I$. Prove that Inv( $I, R$ Mod) is a category and that $\lim : \operatorname{Inv}\left(I,{ }_{R} \mathbf{M o d}\right) \rightarrow{ }_{R} \mathbf{M o d}$ is a functor.
(iv) Prove that if $\mathcal{C}$ is complete, then $(|\square|, \lim )$ is an adjoint pair and lim preserves inverse limits.

Key Concepts

Inverse Limit (Limit)

The inverse limit is an object that 'collects' an inverse system by taking a kind of 'intersection' of the objects in the system, obeying a universal property. It is characterized by having a family of projection maps such that any object mapping into the system in a compatible manner uniquely factors through the inverse limit.

Cocomplete Category

A cocomplete category is one that has all small colimits, meaning that for any diagram of objects (of any small shape), there exists a universal colimit object that 'collects' the diagram. Cocompleteness guarantees the existence of certain constructions, such as direct limits, which are crucial for many categorical arguments and proofs.

Complete Category

A complete category is one that has all small limits, so that any diagram indexed by a small category has a universal limit. Completeness ensures the ability to perform constructions like inverse limits and is vital in contexts where one needs to 'intersect' or 'approximate' objects from a system consistently.

Adjoint Functor

An adjoint functor is part of a pair of functors between two categories, where one functor is said to be left adjoint to the other if there exists a natural isomorphism between certain hom-sets. The adjunction captures an abstract notion of optimal approximation and is closely connected to the preservation of limits and colimits, often used to transfer properties between categories.

Direct Limit (Colimit)

The direct limit, also known as a colimit in the context of a direct system, is an object that represents a kind of 'union' or 'gluing together' of the objects in the system. It comes equipped with canonical morphisms from the objects in the direct system that satisfy a universal property, meaning that any other object receiving compatible maps factors uniquely through the direct limit.

Constant Functor

A constant functor is a functor that assigns the same object to every object of the source category and the identity morphism (or a fixed morphism) to every morphism. This functor embeds a category into a functor category, and its interaction with limits and colimits is key in various adjunctions and representability results.

Direct System

A direct system refers to a family of objects, such as modules in this context, indexed by a directed set (or partially ordered set) along with morphisms connecting these objects in a way that is compatible with the ordering. Direct systems are used to define colimits (or direct limits) and analyze structures that are built up 'in the limit' from smaller pieces.

Diagram Category

A diagram category (or functor category) is the category whose objects are functors from a fixed index category (often representing a diagram shape such as a partially ordered set) to another category, and whose morphisms are natural transformations between these functors. This concept is crucial for formalizing the idea of systems of objects and morphisms organized in a specified pattern.

Functor

A functor is a mapping between categories that preserves the structure of categories; that is, it maps objects to objects, morphisms to morphisms, and respects both the composition of morphisms and identity morphisms. Functors allow the translation of concepts and results from one category to another, making them fundamental tools in category theory.

Please give Ace some feedback