nach oben

Erschienen in:

2017 | OriginalPaper | Buchkapitel

9. Categories and Functors

verfasst von : Alexey L. Gorodentsev

Erschienen in: Algebra II

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

A category $\mathcal{C}$ is formed by a class of objects $\mathop{\mathrm{Ob}}\nolimits \mathcal{C}$ and a class of disjoint sets $\mathop{\mathrm{Hom}}\nolimits (X,Y ) =\mathop{ \mathrm{Hom}}\nolimits _{\mathcal{C}}(X,Y )$, one set for each ordered pair of objects $X,Y \in \mathop{\mathrm{Ob}}\nolimits \mathcal{C}$. Elements of the set $\mathop{\mathrm{Hom}}\nolimits _{\mathcal{C}}(X,Y )$ are called morphisms from X to Y in the category $\mathcal{C}$. We will depict them by arrows φ: X → Y and refer to the objects X, Y as the source (or domain) and target (or codomain ) of φ respectively. Morphisms $\varphi,\psi \in \mathop{\mathrm{Mor}}\nolimits \mathcal{C}$ are called composable if the source of φ coincides with the target of ψ. For every ordered triple of objects $X,Y,Z \in \mathop{\mathrm{Ob}}\nolimits \mathcal{C}$, the composition map

$$\displaystyle{ \mathop{\mathrm{Hom}}\nolimits (Y,Z) \times \mathop{\mathrm{Hom}}\nolimits (X,Y ) \rightarrow \mathop{\mathrm{Hom}}\nolimits (X,Z)\,,\quad (\varphi,\psi )\mapsto \varphi \circ \psi \,, }$$

(9.1)

is defined. It is associative, meaning that (η ∘φ) ∘ψ = η ∘ (φ ∘ψ) for all composable pairs η, φ and φ, ψ. Finally, for every $X \in \mathop{\mathrm{Ob}}\nolimits \mathcal{C}$, there exists an identity endomorphism

$$\displaystyle{\mathrm{Id}_{X} \in \mathop{\mathrm{End}}\nolimits _{\mathcal{C}}(X)\stackrel{\mathrm{def}}{=}\mathop{\mathrm{Hom}}\nolimits _{\mathcal{C}}(X,X)}$$

such that φ ∘ Id_X = φ and Id_X ∘ψ = ψ for all morphisms φ: X → Y, ψ: Z → X in $\mathcal{C}$. It is actually unique for every $X \in \mathop{\mathrm{Ob}}\nolimits \mathcal{C}$, because Id_X ^′ = Id_X ^′∘ Id_X ^{′ ′} = Id_X ^{′ ′} for every two such endomorphisms $\mathrm{Id}_{X}^{{\prime}},\mathrm{Id}_{X}^{{\prime\prime}}\in \mathop{\mathrm{Hom}}\nolimits (X,X)$.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel -Modules

Nächstes Kapitel Extensions of Commutative Rings

For formal logical reasons, the collection of all sets (even all finite sets) is not itself a set. Similarly, the collections of all rings, groups, topological spaces, etc., are not sets, but something larger, namely classes. The notion of class enlarges the notion of set and makes it possible to formulate correct statements about the classes of all sets, groups, rings, vector spaces, etc. To the extent that we have omitted a discussion of rigorous set theory, we shall refer the reader to a basic course in mathematical logic for the rigorous theory of classes and their interaction with sets. For our purposes, it is enough to know that such a theory exists and that it allows us to deal with the categories of sets, algebras, topological spaces, etc.

An R- module is called finitely presented if it is isomorphic to the quotient module of a free R- module of finite rank by a finitely generated R- submodule of relations.

That is, a partially ordered set; see Sect. 1.4.1 of Algebra I.

A set X is called a topological space if a set $\mathcal{U}(X)$ of subsets in X is chosen such that $\varnothing,X \in \mathcal{U}(X)$, $U \cap W \in \mathcal{U}(X)$ for all $U,W \in \mathcal{U}(X)$, and $\bigcup _{\nu }U_{\nu } \in \mathcal{U}(X)$ for every set of $U_{\nu } \in \mathcal{U}(X)$. The elements $U \in \mathcal{U}(X)$ and their complements X∖U are called, respectively, the open and closed subsets of X.

Also known as the path algebra of $\mathcal{C}$.

That is, φ: X → Y such that $x_{1}\leqslant x_{2} \Rightarrow \varphi (x_{1})\leqslant \varphi (x_{2})$.

Or more precisely, a covariant functor.

One map per each ordered pair of objects $X,Y \in \mathop{\mathrm{Ob}}\nolimits \mathcal{C}$.

In the same way as an endomorphism means a map of a set to itself, an endofunctor means a functor from a category to itself.

Such as $\mathcal{T}\!\mathit{op}$, $\mathcal{G}\mathit{rp}$, $\mathcal{C}\mathit{mr}$.

That is, injective and order-preserving.

In other words, can S ¹ be homeomorphic to the geometric realization of a semisimplicial set X such that both sets X ₀, X ₁ consist of three elements and all the other X _i equal to $\varnothing $?

Where all the sets X _n are considered with the discrete topology and all the simplices $\Delta ^{n} \subset \mathbb{R}^{n+1}$ with the standard topology induced from the ambient spaces $\mathbb{R}^{n+1}$.

That is, the space obtained from $\Delta ^{n}$ by collapsing its boundary to one point. For example, the 2-sphere S ² is obtained in this way from the triangle.

This means that every point x ∈ U is mapped to the fiber p ⁻¹(x) over x.

Algebraic manifolds will be defined and studied in Chap. 12

Equivalently, the locally constant functions.

In which every subset U ⊂ X is declared to be open.

Note that they are distinct, because $\vert X\vert \geqslant 2$.

Or functorial.

Whenever the words “canonical isomorphism” have been used previously in this course, it was precisely in this explicit sense.

See Sect. 9.2.3 on p. 193.

Sending a vector to the sequence of its coordinates in the chosen basis.

Meaning that there is a unique pair of quasi-inverse equivalences between them.

That is, all maps $G:\mathop{ \mathrm{Hom}}\nolimits _{\mathcal{C}}(X,Y ) \rightarrow \mathop{\mathrm{Hom}}\nolimits _{\mathcal{D}}(G(X),G(Y ))$ are bijective.

See Example 9.6 on p. 190.

See Example 9.9 on p. 194.

Intuitively, a simplicial map of triangulated spaces | X | → | Y | is a continuous map respecting the triangulations. The latter property is formalized as a natural transformation of presheaves X → Y. In particular, this forces a simplicial map to send every k-simplex of the triangulation on | X | to a k-simplex of the triangulation on | Y | via an affine map, and to respect the incidences between the simplices.

In particular, in the category $\mathcal{A}\mathit{b} = \mathcal{M}\mathit{od}_{\mathbb{Z}}$.

See Sect. 13.1.1 of Algebra I.

That is, $\mathbb{Z}$- modules.

Compare with Sect. 6.3 on p. 139 and Sect. 6.3.4 on p. 144.

See Example 9.7 on p. 191.

Every such continuous map is called a singular simplex of Y.

See formula (9.15) on p. 203.

See the same formula (9.15).

See Sect. 9.3 on p. 195.

Or the projective limit.

Or the injective limit.

See Example 9.8 on p. 192.

Recall that $\Delta _{Y } =\{ (y,y) \in Y \times Y \mid y \in Y \}$; compare with Sect. 1.2.2 of Algebra I.

That is, the intersection of all equivalences R ⊂ Y × Y containing $\mathop{\mathrm{im}}\nolimits (\varphi \times \psi )$; see Sect. 1.2.2 of Algebra I.

In the categories of groups and commutative rings, the pushforwards are traditionally called the amalgamated and tensor products respectively.

Compare with Example 9.2 on p. 186.

Filtered diagrams are also called direct or inductive systems of morphisms. Cofiltered diagrams are also called inverse or projective systems of morphisms.

This means that 1 ∈ S and st ∈ S for all s, t ∈ S; see Sect. 4.1.1 of Algebra I.

Or ring of fractions with numerators in K and denominators in S; see Sect. 4.1.1 of Algebra I.

The horizontal arrows in (9.32) are the canonical morphisms from the limit to the nodes of the diagram.

Whose horizontal arrows are the canonical morphisms from the nodes of the diagram to the colimit.

Namely, the (co) kernel of a homomorphism is the (co)equalizer of this homomorphism and the zero homomorphism.

That is, the completion of $\mathbb{Z}$ with respect to the p-adic distance | x, y | _p = ∥ x − y ∥ _p, where the p-adic norm ∥ z ∥ _p of an integer z = p ^sm, gcd(m, p) = 1, equals p ^−s.

That is, 1 ∈ S and st ∈ S for all s, t ∈ S.

See Problem 7.8 of Algebra I.

By Corollary 9.5 on p. 218, it is enough to show that filtered colimits commute with kernels.

This means that the first two functors are not right exact, and the third is not left exact.

A module P with these properties is called projective.

A module I possessing these properties is called injective.

That is, $r\varphi (x)\stackrel{\mathrm{def}}{=}\varphi (xr)$ for all r, x ∈ R, $\varphi: R \rightarrow \mathbb{Q}/\mathbb{Z}$.

See Sect. 9.2 on p. 189.

That is, an equivalence can be established by means of exact quasi-inverse functors.

[DK]

Danilov, V.I., Koshevoy, G.A.: Arrays and the Combinatorics of Young Tableaux, Russian Math. Surveys 60:2 (2005), 269–334.MathSciNetCrossRef

[Fu]

Fulton, W.: Young Tableaux with Applications to Representation Theory and Geometry. Cambridge University Press, 1997.MATH

[FH]

Fulton, W., Harris, J.: Representation Theory: A First Course, Graduate Texts in Mathematics. Cambridge University Press, 1997.MATH

[Mo]

Morris, S. A.: Pontryagin Duality and the Structure of Locally Compact Abelian Groups, London Math. Society LNS 29. Cambridge University Press, 1977.

Titel: Categories and Functors
verfasst von: Alexey L. Gorodentsev
Verlag: Springer International Publishing
Buch: Algebra II
Print ISBN: 978-3-319-50852-8

Electronic ISBN: 978-3-319-50853-5

Copyright-Jahr: 2017
DOI: https://doi.org/10.1007/978-3-319-50853-5_9

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"