<<

Glossary of Symbols

B(x, r) of radius r > 0 centered at x 2 ∂ 37 C generic notation for a 3 Cop opposite category of C 6 CG category of compactly generated spaces together with 111 continuous maps CGWH category of compactly generated weakly Hausdorff spaces 111 together with continuous maps; a convenient category of spaces CH category of compact Hausdorff spaces together with 99 continuous maps C complex numbers 22 CX the (reduced) of a (pointed) space X 124 Dn closed unit ball in Rn 3 ∅ the empty set 1  an epimorphism 14 k generic notation for a field 5 Fld category of fields 16 Grp category of groups 5 fˆ shorthand for the adjunct of a f in some adjunction 92 ' 34 hTop of spaces 5 hTop∗ homotopy category of pointed spaces 121 Z integers: ..., −2, −1, 0, 1, 2,... 22 L a R generic notation indicating that the L and R form an 92 adjunction lp for 1 ≤ p ≤ ∞, the normed vector space of (R-valued) 23 sequences which converge in the p-norm

M f of f 130  a monomorphism 14 148 Glossary of Symbols

Nat(F, G) natural transformations between functors F, G : C → D. alt: 12 DC(F, G) N natural numbers: 0, 1, 2,... 22 P f mapping space of f 130 πn for each n ∈ N, the nth homotopy defined by 121 n [S , −]: Top∗ → Set π1 denotes the functor sending spaces to fundamental 119, 120 (oid)s possibly relative to a subspace or a point RMod category of modules over a ring R 5 R real numbers 2 n RP n-dimensional real projective space 29 Set category of sets 5

Set∗ category of pointed sets 5 ΣX the reduced of a X 124 spec R set of prime ideals of (a ring) R 22 S n n-sphere 3 SX the suspension of a space X 125

Tx the open neighborhoods of x in the topology T 2 Top category of topological spaces 5

Top∗ category of pointed spaces 5 T generic notation for a topology 1

Vectk category of k-vector spaces 5 WH category of weakly Hausdorff spaces together with 111 continuous maps X∗ dual space of an R-module X. alt: hom(X, R) 17