nLab
module

Context

Higher algebra

Higher linear algebra

Contents

Idea

Basic idea

The basic idea is that a module VV is an object equipped with an action by a monoid AA. This is closely related to the concept of a representation of a group.

A familiar example of a module is a vector space VV over a field kk: this is a module over kk in the category Ab of abelian groups: every element in kk acts on the vector space by multiplication of vectors, and this action respects the addition of vectors.

But nothing in the definition of vector space really depends on the fact that kk here is a field: more generally it could be any commutative ring (or even a general rig) RR. The analog of a vector space for fields replaced by rings is that of a module over the ring RR.

This is the traditional and maybe most common notion of modules. But the basic notion is easily much more general.

Motivation for and role of modules: generalized vector bundles

The theory or monoids or rings and their modules, its “meaning” and usage, is naturally understood via the duality between algebra and geometry:

  1. a ring RR is to be thought of as the ring of functions on some space,

  2. an RR-module is to be thought of as the space of sections of a vector bundle on that space.

A classical situation where this correspondence holds precisely is topology, where

  1. the Gelfand duality theorem says that sending a compact topological space XX to its C-star algebra C(X,)C(X,\mathbb{C}) of continuous functions with values in the complex numbers constitutes an equivalence of categories between compact topological spaces and the opposite category of commutative C *C^\ast-alegebras;

  2. the Serre-Swan theorem says that sending a Hausdorff topological complex vector bundle EXE \to X over a compact topological space to the C(X,)C(X,\mathbb{C})-module of its continuous sections establishes an equivalence of categories between that of topological complex vector bundles over XX and that of finitely generated projective modules over C(X,)C(X,\mathbb{C}).

In fact, as this example already shows, modules faithfully subsume vector bundles, but are in fact more general. In many contexts one regard modules as the canonical generalization of the notion of vector bundles, with better formal properties.

This identification of vector bundles with RR-modules being the spaces of sections of a vector bundle on the space whose ring of functions is RR can be taken then as the very definition: notably in algebraic geometry Gelfand duality is taken to “hold by definition” in that an algebraic variety is essentially by definition the formal dual of a given ring, and the Serre-Swan theorem similarly becomes the statement that the space of sections of a vector bundle over a variety is equivalently given by a module over that ring. (See also at quasicoherent module for more on this.)

This duality between geometry and algebra allows us to re-interpret many statement about modules in terms of vector bundles. For instance

  • the direct sum of modules corresponds to fiberwise direct sum of vector bundles;

  • the extension of scalars of a module along a ring homomorphism corresponds to pullback of vector bundles along the dual map of spaces;

  • etc.

Using this dictionary for instance the notion of descent of vector bundles can be expressed in terms of monadic descent, see at Sweedler coring for discussion of this point.

More general perspectives

The notion of monoid in a monoidal category generalizes directly to that of a monoid in a 2-category, where it is called a monad. Accordingly the notion of module generalizes to this more general case, where however it is called an algebra over a monad . For more on this see Modules for monoids in 2-categories: algebras over monads below.

Apart from this direct generalization, there are two distinct and separately important perspective on the notion of module from the nPOV:

Modules for monoids in 2-categories: modules over monads

The notion of monoid generalizes straightforwardly from monoids in a monoidal category to monoids in a 2-category: for the 2-category Cat, and more generally for arbitrary 2-categories, these are called monads.

A module over a monad (see there for more details) is defined essentially exactly as that of module over a monoid. For historical reasons, a module over a monad in Cat is called an algebra over a monad, because the algebras in the sense of universal algebra can be obtained as algebras/modules over a finitary monad in SetSet: the modules for a free algebra monad (for certain kind of algebras) on Set, which are the composition of the free algebra functor and its right adjoint forgetful functor are exactly algebras of that type. Modules over a fixed monad (in CatCat) are the objects of the Eilenberg-Moore category of the monad; in arbitrary bicategory, this category generalized to Eilenberg-Moore objects which may or may not exist.

Enriched presheaves

The action ρ\rho of a monoid AA in a closed monoidal category VV may be equivalently encoded in terms of a VV-enriched functor

ρ:BAV \rho : \mathbf{B}A \to V

from the delooping one-object VV-enriched category BA\mathbf{B}A corresponding to AA to VV itself.

This means that more generally it makes sense to replace BA\mathbf{B}A by any VV-enriched category CC – regarded as the horizontal categorification of a monoid, a “monoid-oid” – and think of a VV-enriched functor ρ:CV\rho : C \to V – a VV-presheaf on CC – as a module over the category CC.

From this perspective a CC-DD-bimodule is a VV-enriched functor C op×DVC^{op}\times D \to V, which is in this context known as a profunctor from CC to DD. The notion of the bicategory VModV Mod of VV-enriched categories, VV-profunctors between these and transformations between those is then a generalization of the category of monoids in VV and bimodules between them.

Stabilized overcategories

A module NN over a (commutative, unital) ring RR may be encoded in another ring: the one that as an abelian group is the direct sum RNR \oplus N and whose product is defined by the formulas

(r 1,n 1)(r 2,n 2):=(r 1r 2,r 1n 1+r 2n 2). (r_1, n_1) \cdot (r_2,n_2) := (r_1 r_2, r_1 n_1 + r_2 n_2) \,.

This is a square-0 extension of RR. It is canonically equipped with a ring homomorphism RNRR \oplus N \to R which is the identity on RR and sends all elements of NN to 0. As such, RNRR \oplus N \to R is an object in the overcategory CRing/RCRing/R. But a special such object: it is in fact canonically an abelian group object in CRing/RCRing/R, where the group operation (over RR!) is given by addition of elements in NN.

From this perspective, it makes sense for general categories CC to think of the abelianization of their overcategories C/AC/A as categories of modules over the object AA.

Taken all together, this makes the fiberwise abelianization of their codomain fibration cod:[I,C]Ccod : [I,C] \to C the category of all possible modules over all objects of CC.

This general perspective has a nice vertical categorification to the context of (∞,1)-categories: abelianization becomes stabilization in this context, and the fiberwise stabilization of the codomain fibration of any (∞,1)-category CC is the tangent (∞,1)-category T CCT_C \to C.

For instance for sAlg ksAlg_k the (∞,1)-category of simplicial algebras over a ground field kk of characteristic 0, we have that the stabilization Stab(sAlgk/A)Stab(sAlgk/A) of the over (∞,1)-category over AA is equivalent to the (,1)(\infty,1)-category AModA Mod of AA-modules.

Definition

We spell out the definition of module for

with the special classical cases of

and

Then we give more general definitions

Modules over a monoid in a monoidal category

Let (𝒱,,I)(\mathcal{V}, \otimes, I) be a monoidal category and AA a monoid object in 𝒱\mathcal{V}, hence an object A𝒱A \in \mathcal{V} equipped with a multiplication morphism

:AAA \cdot : A \otimes A \to A

and a unit element

e:IA e : I \to A

satisfying the associativity law and the unit law.

Definition

A (left) module over AA in (𝒱,,I)(\mathcal{V}, \otimes, I) is

  • an object N𝒱N \in \mathcal{V}

  • equipped with a morphism

    ρ:ANN \rho : A \otimes N \to N

    in 𝒱\mathcal{V}

such that this satisfies the axioms of an action, in that the following are commuting diagrams in 𝒱\mathcal{V}:

AAN id Aρ AN id n ρ AN ρ N \array{ A \otimes A \otimes N &\stackrel{id_A \otimes \rho}{\to}& A \otimes N \\ \downarrow^{\mathrlap{\cdot \otimes id_n}} && \downarrow^{\mathrlap{\rho}} \\ A \otimes N &\stackrel{\rho}{\to}& N }

and

IN iid N AN ρ N. \array{ I \otimes N &&\stackrel{i \otimes id_N}{\to}&& A \otimes N \\ & \searrow && \swarrow_{\mathrlap{\rho}} \\ && N } \,.

Modules over a ring

A ring is (as discused there) equivalently a monoid object in the category Ab of abelian groups turned into a monoidal category by means of the tensor product of abelian groups \otimes. Accordingly a module over RR is a module in (Ab,)(Ab,\otimes) accordin to def. 1.

We unwind what this means in terms of abelian groups regarded as sets with extra structure:

Definition

A module NN over a ring RR is

  1. an object NN \in Ab, hence an abelian group;

  2. equipped with a morphism

    α:RNN \alpha : R \otimes N \to N

    in Ab; hence a function of the underlying sets that sends elements

    (r,n)rnα(r,n) (r,n) \mapsto r n \coloneqq \alpha(r,n)

    and which is a bilinear function in that it satisfies

    (r,n 1+n 2)rn 1+rn 2 (r, n_1 + n_2) \mapsto r n_1 + r n_2

    and

    (r 1+r 2,n)r 1n+r 2n (r_1 + r_2, n) \mapsto r_1 n + r_2 n

    for all r,r 1,r 2Rr, r_1, r_2 \in R and n,n 1,n 2Nn,n_1, n_2 \in N;

  3. such that the diagram

    RRN RId N RN Id Rα α RN N \array{ R \otimes R \otimes N &\stackrel{\cdot_R \otimes Id_N}{\to}& R \otimes N \\ {}^{\mathllap{Id_R \otimes \alpha}}\downarrow && \downarrow^{\mathrlap{\alpha}} \\ R \otimes N &\to& N }

    commutes in Ab, which means that for all elements as before we have

    (r 1r 2)n=r 1(r 2n). (r_1 \cdot r_2) n = r_1 (r_2 n) \,.
  4. such that the diagram

    1N 1id N RN α N \array{ 1 \otimes N &&\stackrel{1 \otimes id_N}{\to}&& R \otimes N \\ & \searrow && \swarrow_{\mathrlap{\alpha}} \\ && N }

    commutes, which means that on elements as above

    1n=n. 1 \cdot n = n \,.
Remark

The category of all modules over all commutative rings is Mod. It is a bifibration

ModCRing Mod \to CRing

over CRing.

This fibration may be characterized intrinsically, which gives yet another way of defining RR-modules. This we turn to below.

GG-sets

Simpler than the traditionally default notion of a module in (Ab,)(Ab,\otimes), as above is that of a module in Set, equipped with its cartesian monoidal structure. (These days one may want to think of this as a notion of modules over F1.)

A monoid object in (Set,×)(Set,\times) is just a monoid, for instance a discrete group GG. A GG-module in (Set,×)(Set,\times) is simpy an action, say a group action.

Definition

For SS \in Set and GG a discrete group, a GG-action of GG on SS is a function

ρ:G×SS \rho \colon G \times S \to S

such that

  1. the neutral element acts trivially

    *×S S (e,id S) ρ G×S \array{ * \times S &&\stackrel{\simeq}{\to}&& S \\ & {}_{(e,id_S)}\searrow && \nearrow_{\mathrlap{\rho}} \\ && G \times S }
  2. the action property holds: for all g 1,g 2Gg_1, g_2 \in G and sSs \in S we have ρ(g 1,ρ(g 2,s))=ρ(g 1g 2,s)\rho(g_1,\rho(g_2, s)) = \rho(g_1 \cdot g_2, s).

More on this below.

Abelian groups with GG-action as modules over the group ring

If a discrete group acts, as in def. 3, on the set underlying an abelian group and acts by linear maps (abelian group homomorphisms), then this action is equivalently a module over the group ring [G]\mathbb{Z}[G] as in def. 2.

Definition

For GG a discrete group, write [G]\mathbb{Z}[G] \in Ring for the ring

  1. whose underlying abelian group is the free abelian group on the set underlying GG;

  2. whose multiplication is given on basis elements by the group operation in GG.

Remark

For GG a finite group an element rrr of [G]\mathbb{Z}[G] is for the form

r= gGr gg r = \sum_{g \in G} r_g g

with r gr_g \in \mathbb{Z}. Addition is given by addition of the coefficients r gr_g and multiplication is given by the formula

rr˜ = gG g˜G(r gr˜ g˜)gg˜ = qG( gg˜=qr gr˜ g˜)q. \begin{aligned} r \cdot \tilde r & = \sum_{g \in G} \sum_{\tilde g \in G} (r_g \tilde r_{\tilde g}) g \cdot \tilde g \\ & = \sum_{q \in G} \left( \sum_{g \tilde g = q} r_g \tilde r_{\tilde g} \right) q \end{aligned} \,.
Proposition

For AA \in Ab an abelian group with underlying set U(A)U(A), GG-actions ρ:G×U(A)U(A)\rho \colon G \times U(A) \to U(A) such that for each element gGg \in G the function ρ(g,):U(A)U(A)\rho(g,-) \colon U(A) \to U(A) is an abelian group homomorphism are equivalently [G]\mathbb{Z}[G]-module structures on AA.

Proof

Since the underlying abelian group of [G]\mathbb{Z}[G] is a free by definition, a bilinear map [G]×AA\mathbb{Z}[G] \times A \to A is equivalently for each basis element gGg \in G a linear map AAA \to A. Similarly the module property is determined on basis elements, where it reduces manifestly to the action property of GG on U(A)U(A).

Remark

This reformulation of linear GG-actions in terms of modules allows to treat GG-actions in terms of homological algebra. See at Ext – Relation to group cohomology.

Presheaves in enriched category theory

Equivalently (in the case where VV is a closed monoidal category, where VV is regarded as enriched in itself), if we regard the monoid AA as a one-object 𝒱\mathcal{V}-enriched category BA\mathbf{B}A, the module together with its action are given by a VV-enriched functor

ρ:BAV. \rho : \mathbf{B}A \to V \,.

Correspondingly, a left module over AA is a functor

ρ:(BA) opV. \rho : (\mathbf{B}A)^{\mathrm{op}} \to V \,.

In this language the concept directly generalizes to the horizontal categorification of monoids AA. Let KK be any VV-enriched category, then VV-functors ρ:KV \rho : K \to V give right modules and functors ρ:K opV \rho : K^{\mathrm{op}} \to V give left modules over KK. Accordingly, for KK and LL two VV-enriched categories one says that VV-functors

K opLV K^{op} \otimes L \to V

are KK-LL-bimodules, also known as profunctors or distributors from KK to LL.

Modules over a ring

For RR a ring, write BR\mathbf{B}R for the Ab-enriched category with a single object and hom-object R=BR(,)R = \mathbf{B}R(\bullet, \bullet).

Then a left RR-module NN is equivalently an Ab-enriched functor

N:BRAb. N : \mathbf{B}R \to Ab \,.

This makes manifest that the category RRMod is an Ab-enriched category, namely the Ab-enriched functor category

RMod[BR,Ab]. R Mod \simeq [\mathbf{B}R,Ab] \,.

The right RR-modules can be considered as AbAb-functors BR opAb\mathbf{B}R^{op}\to Ab. Then the usual tensor product (over \mathbb{Z}) MNM\otimes N of a right and left RR-modules can be considered as a functor BR opBRAb\mathbf{B}R^{op}\otimes \mathbf{B}R\to Ab. The coend RMN\int^R M\otimes N computes then to M RNM\otimes_R N.

GG-Sets

Classically the notion of module is always regarded internal to Ab, so that a module is always an abelian group with extra structure. But noticing that such abelian ring modules are just enriched presheaves in Ab-enriched category theory, it makes sense to consider enriched presheaves in general VV-enriched category theory as a natural generalization of the notion of module.

For that generalization the case of Set-enriched category theory plays a special basic role:

a group GG (with no extra structre, i.e. just a set with group structure) is a monoid in Set. A module over GG in the sense of Set-enriched functor (just an ordinary functor)

BGSet \mathbf{B}G \to Set

is nothing but a GG-set: a set equipped with a GG-action:

BG\mathbf{B}G is the small category that is the delooping groupoid of GG, which has a single object and Hom BG(,)=GHom_{\mathbf{B}G}(\bullet,\bullet) = G. The functor BGSet\mathbf{B}G \to Set takes the single object to some set SS and takes each morphism (g)(\bullet \stackrel{g}{\to} \bullet) to an automorphism ρ(g):SS\rho(g) : S \to S of that set, such that composition is respected. This is just a representation of GG on the set SS.

Of course for this story to work, GG need not be a group, but could be any monoid.

In terms of stabilized overcategories

There is a general definition of modules in terms of stabilized slice-categories of the category of monoids: tangent (infinity,1)-categories.

Modules over a ring

The ordinary case of modules over rings is phrased in terms of stabilized overcategories by the following observation, which goes back at least to Jon Beck’s 1967 thesis, and is found in the important paper of Daniel Quillen; both listed below.

Proposition

Let RCRingR \in CRing be a commutative ring. Then there is a canonical equivalence between the category RModR Mod of RR-modules and the category Ab(CRing/R)Ab(CRing/R) of abelian group objects in the overcategory of CRingCRing over RR

RModAb(CRing/R). R Mod \simeq Ab(CRing/R) \,.
Proof

We first unwind what the structure of an abelian group object (p:KR)(p: K \to R) in the overcaregory CRing/RCRing/R is explicitly

The unit of the abelian group object in CRing/RCRing/R is a diagram

R K Id p R. \array{ R &&\to&& K \\ & {}_{\mathllap{Id}}\searrow && \swarrow_{\mathrlap{p}} \\ && R } \,.

This diagram identifies KK with a ring whose underlying abelian group is the direct sum Rker(p)R \oplus ker(p) of some ring RR with the kernel of pp such that for rRr \in R and nker(p)n \in ker(p) we have rnker(p)r\cdot n \in ker(p).

The product of RNRR \oplus N \to R with itself in the overcategory is the fiber product over RR in the original category, hence is RNNR \oplus N \oplus N.

The addition operation on the abelian group object is therefore a morphism

RNN RN R. \array{ R \oplus N \oplus N &&\to&& R \oplus N \\ & \searrow && \swarrow \\ && R } \,.

With the above unit, the unit axiom on this operation together with the fact that the top morphism is a ring homomorphism says that this morphism is

RNNId(Id+Id)RN. R \oplus N \oplus N \stackrel{Id \oplus (Id + Id)}{\to} R \oplus N \,.

Since the ring product in the direct product ring RNNR \oplus N \oplus N between two elements in the two copies of NN vanishes, it therefore has to vanish between two elements in the same copy, too.

This says that RNR \oplus N is a square-0 extension of RR. Conversely, for every square-0-extension we obtain an abelian group object this way.

For instance the square-0-extension of a ring RR corresponding to the canonical RR-module structure on RR itself is the ring of dual numbers for RR.

Modules over a group

Let GG be a group. Taking together the above desriptions

  1. of Modules over a group as modules over the group ring

  2. of Modules over a ring as stabilized overcategories

one finds:

Proposition

The category of GG-modules is equivalent to the category of abelian group objects in the slice of Ring over the group ring

GModAb(Ring /[G]). G Mod \simeq Ab(Ring_{/\mathbb{Z}[G]}) \,.

But there is also a more direct characterization along these lines, not involving the auxiliary construction of group rings.

Proposition

The category of GG-modules is equivalent to the category of abelian group objects in the slice category of groups over GG

GModAb(Grp /G). G Mod \simeq Ab(Grp_{/G}) \,.
Proof

The proof is analogous to that of prop. 2. One checks that a group homomorphism G^G\hat G \to G with the structure of an abelian group object over GG is a central extension of GG by some abelian group AA which more over is a split extension (the is the neutral element of the abelian group object) and hence is a semidirect product group G^GA\hat G \simeq G \ltimes A. By the discussion there these are equivalently given by actions of GG on AA by group automorphisms. This is precisely what it means for AA to carry a GG-module structure.

This construction generalizes to ∞-groups. See at ∞-action the section ∞-action – G-modules.

Modules over a simplicial ring

Let sAlg ksAlg_k (or sAlgsAlg for short) be the (∞,1)-category of commutative simplicial algebras over a base field kk.

For AsAlg kA \in sAlg_k there is generally a functor

AModStab(sAlg k/A) A Mod \to Stab(sAlg_k/A)

from the stable (∞,1)-category of AA-modules to the stabilization of the overcategory of sAlgsAlg. But in general this functor is neither essentially surjective nor full. If however kk has characteristic 0, then this is an equivalence.

Modules over an algebra over an operad

There is a notion of algebra over an operad. The corresponding notion of modules is described at module over an algebra over an operad.

Examples

Of modules over a ring

Let RR be a commutative ring.

Example

The ring RR is naturally a module over itself, by regarding its multiplication map RRRR \otimes R \to R as a module action RNNR \otimes N \to N with NRN \coloneqq R.

Example

More generally, for nn \in \mathbb{N} the nn-fold direct sum of the abelian group underlying RR is naturally a module over RR

R nR nRRR nsummands. R^n \coloneqq R^{\oplus_n} \coloneqq \underbrace{R \oplus R \oplus \cdots \oplus R}_{n\;summands} \,.

The module action is componentwise:

r(r 1,r 2,,r n)=(rr 1,rr 2,rr n). r \cdot (r_1, r_2, \cdots, r_n) = (r \cdot r_1, r\cdot r_2, \cdot r \cdot r_n) \,.
Example

Even more generally, for II \in Set any set, the direct sum iIR\oplus_{i \in I} R is an RR-module.

This is the free module (over RR) on the set SS.

The set II serves as the basis of a free module: a general element v iRv \in \oplus_i R is a formal linear combination of elements of II with coefficients in RR.

For special cases of the ring RR, the notion of RR-module is equivalent to other notions:

Example

For R=R = \mathbb{Z} the integers, an RR-module is equivalently just an abelian group.

Example

A \mathbb{Z}-module, hence an abelian group, is not a free module if it has a non-trivial torsion subgroup.

Example

For R=kR = k a field, an RR-module is equivalently a vector space over kk.

Every finitely generated free kk-module is a free module, hence everey finite dimensional vector space has a basis. For infinite dimensions this is true if the axiom of choice holds.

Example

For f:SRf : S \to R a homomorphism of rings, restriction of scalars produces RR-modules f *Nf_* N from SS-modules NN and extension of scalars produces SS-modules f !Nf_! N from RR-modules NN.

Example

For NN a module and {n i} iI\{n_i\}_{i \in I} a set of elements, the linear span

n i iIN, \langle n_i\rangle_{i \in I} \hookrightarrow N \,,

(hence the completion of this set under addition in NN and multiplication by RR) is a submodule of NN.

Example

Consider example 8 for the case that the module is N=RN = R, the ring itself, as in example 1. Then a submodule is equivalently (called) an ideal of RR.

Example

Let XX be a topological space and let

RC(X,) R \coloneqq C(X,\mathbb{C})

be the ring of continuous functions on XX with values in the complex numbers.

Given a complex vector bundle EXE \to X on XX, write Γ(E)\Gamma(E) for its set of continuous sections. Since for each point xXx \in X the fiber E xE_x of EE over xx is a \mathbb{C}-module (by example 6), Γ(X)\Gamma(X) is a C(X,)C(X,\mathbb{C})-module.

By the Serre-Swan theorem if XX is Hausdorff and compact, then Γ(X)\Gamma(X) is a projective C(X,)C(X,\mathbb{C})-module and indeed there is an equivalence between projective C(X,)C(X,\mathbb{C})-modules and complex vector bundles over XX.

More on this below in Vector bundle and modules.

Vector bundles and modules

A vector space is a vector bundle over the point. For every vector bundle EXE \to X over a space XX, its collection Γ(E)\Gamma(E) of sections is a module over the monoid/ring of functions on XX. When XX is a ringed space, Γ(X)\Gamma(X) is usefully thought of as a sheaf of modules over the structure sheaf of XX:

For describing vector bundles and their generalization it turns out that this perspective of encoding them in terms of their modules of sections is useful. For instance the category of vector bundles on a space typically fails to be an abelian category. But if instead of looking just as sheaves of modules on XX that arise as sections of vector bundles one generalizes to coherent sheaves of modules then one obtains an abelian category, something like the completion of Vect(X)Vect(X) to an abelian category. If one further demands that the category be closed under push-forward operations, such as to obtain a bifibration of generalized vctor bundles over spaces, one arrives at the notion of quasicoherent sheaves of modules over the structure sheaf.

But it turns out that the category of quasicoherent sheaves over a test space (see there for details) is equivalent simply to the category of all modules over the (functions on) this test space. This means that quasicoherent sheaves of modules have a nice description in terms of the general-abstract-nonsense characterization of modules discussed above:

For CC our (∞,1)-category of of test spaces (hence the opposite category C opC^{op} our (∞,1)-category of “functions rings” on test spaces), by the above the assignment of all modules over a test space is given by

Mod:C op(,1)Cat Mod : C^{op} \to (\infty,1)Cat
Mod:UStab(C/U). Mod : U \mapsto Stab( C/U ) \,.

Then for XX any space regarded as an ∞-stack on CC, a “quasicorent \infty-stack of modules” on XX is a morphism

XMod. X \to Mod \,.

References

General

A standard textbook is

  • F.W. Anderson, K.R. Fuller, Rings and Categories of Modules, Graduate Texts in Mathematics, Vol. 13, Springer-Verlag, New York, (1992)

Lectures notes on sheaves of modules / modules over a ringed space are in

Lecture notes with an eye towards physics are in

On modules as enriched presheaves

See also the references at enriched category theory and at profunctor.

On modules as stabilized overcategories

The observation that the category of modules over a ring RR is equivalent to the category of abelian group objects in the overcategory CRing/RCRing/R was used by Quillen:

  • Daniel G. Quillen, On the (co-)homology of commutative rings, in Proc. Symp. on Categorical Algebra, 65 – 87, American Math. Soc., 1970.

More ‘classical’ references for this include Jon Beck’s thesis

  • Jon M. Beck, Triples, algebras and cohomology, thesis.

The fully abstract higher categorical concept in terms of stabilized overcategories and the tangent (∞,1)-category appears in

(∞,1)-modules over A-∞ algebras are discussed in section 4.2 of

Revised on August 19, 2014 01:26:27 by David Corfield (129.12.18.74)