
A Gentle Introduction to Category Theory
... Example 2. C = Groups is the category where ob(C) are groups, and morphisms are homomorphisms between two groups. Again, composition is the usual functional composition. Similarly we have Ab where the objects are abelian groups and morphisms are homomorphisms between them. In the two examples above, ...
... Example 2. C = Groups is the category where ob(C) are groups, and morphisms are homomorphisms between two groups. Again, composition is the usual functional composition. Similarly we have Ab where the objects are abelian groups and morphisms are homomorphisms between them. In the two examples above, ...
HIGHER CATEGORIES 1. Introduction. Categories and simplicial
... needs. We would like to demonstrate this. This will lead to another type of category theory — the theory of infinity categories. This is the aim of the present course. 1.1.1. Category theory appeared in algebraic topology which studies algebraic invariants of topological spaces. From the very beginn ...
... needs. We would like to demonstrate this. This will lead to another type of category theory — the theory of infinity categories. This is the aim of the present course. 1.1.1. Category theory appeared in algebraic topology which studies algebraic invariants of topological spaces. From the very beginn ...
IV.2 Homology
... Cycles and holes. It has been said that in d-dimensional space the prisons are made of (d − 1)-dimensional walls. This is because a wall of dimension d − 2 or less cannot separate any portion of the space from the rest. A more formal expression of this observation is a statement that relates a subse ...
... Cycles and holes. It has been said that in d-dimensional space the prisons are made of (d − 1)-dimensional walls. This is because a wall of dimension d − 2 or less cannot separate any portion of the space from the rest. A more formal expression of this observation is a statement that relates a subse ...
PDF
... b ∈ B, there is a ∈ A such that f (a) = b. This means that g(b) = g(f (a)) = h(f (a)) = h(b), or g = h, showing that f is epi. On the other hand, suppose f : A → B is epi. Define g, h : B → B/f (A) as follows: g(x) = f (A) and h(x) = x + f (A) for all x ∈ B. Then g(f (a)) = f (A) = f (a) + f (A) = h ...
... b ∈ B, there is a ∈ A such that f (a) = b. This means that g(b) = g(f (a)) = h(f (a)) = h(b), or g = h, showing that f is epi. On the other hand, suppose f : A → B is epi. Define g, h : B → B/f (A) as follows: g(x) = f (A) and h(x) = x + f (A) for all x ∈ B. Then g(f (a)) = f (A) = f (a) + f (A) = h ...
Introduction to Sheaves
... 1. The Constant Presheaf; Let G be a abelian group and let F be the contravarient function from open sets of X to abeilan groups, such that F (U ) = G. 2. Real valued functions; Let O(U ) denote all functions f : U → R. These functions form a group under pointwise addition, and give the structure of ...
... 1. The Constant Presheaf; Let G be a abelian group and let F be the contravarient function from open sets of X to abeilan groups, such that F (U ) = G. 2. Real valued functions; Let O(U ) denote all functions f : U → R. These functions form a group under pointwise addition, and give the structure of ...
Section 07
... respect to the cover U, with coefficients in A, and denoted H ∗ (U, A). (One also simply says Čech cohomology of U, or of X thus leaving the cover U implicit. Recall that the definition depends on the chosen order on the index set of the cover U. It can be shown, however, that the resulting cohomol ...
... respect to the cover U, with coefficients in A, and denoted H ∗ (U, A). (One also simply says Čech cohomology of U, or of X thus leaving the cover U implicit. Recall that the definition depends on the chosen order on the index set of the cover U. It can be shown, however, that the resulting cohomol ...
Dated 1/22/01
... As one approach, we decide to look at the totality of sequences which satisfy the reccurence of the Fibonacci sequences. (One of the principles for research being to embed examples in more general frameworks.) This one is motivated by the observation that the initial conditions (F0 , F1 ) = (0, 1) m ...
... As one approach, we decide to look at the totality of sequences which satisfy the reccurence of the Fibonacci sequences. (One of the principles for research being to embed examples in more general frameworks.) This one is motivated by the observation that the initial conditions (F0 , F1 ) = (0, 1) m ...
First Class - shilepsky.net
... as AxB = {(a,b) aA bB}. We can generalize this for n sets S1, …Sn as S1 x S2 x … x Sn = {(s1, s2, …, sn) siSi for i = 1,…n } We can create new groups from old groups by taking cartesian products of their underlying set and finding an appropriate operation on the n-tuples. What operation sho ...
... as AxB = {(a,b) aA bB}. We can generalize this for n sets S1, …Sn as S1 x S2 x … x Sn = {(s1, s2, …, sn) siSi for i = 1,…n } We can create new groups from old groups by taking cartesian products of their underlying set and finding an appropriate operation on the n-tuples. What operation sho ...
Categories and functors, the Zariski topology, and the
... Categories and functors, the Zariski topology, and the functor Spec We do not want to dwell too much on set-theoretic issues but they arise naturally here. We shall allow a class of all sets. Typically, classes are very large and are not allowed to be elements. The objects of a category are allowed ...
... Categories and functors, the Zariski topology, and the functor Spec We do not want to dwell too much on set-theoretic issues but they arise naturally here. We shall allow a class of all sets. Typically, classes are very large and are not allowed to be elements. The objects of a category are allowed ...
Ch13sols
... ( x y) p x p y p , x, y R. The first part of that problem is proved by noting that the binomial coefficients appearing in the sum, except for the 0 and p terms, have p in the numerator and not in the denominator, and hence are divisible by p. Part b is proved by induction on the power of p, ...
... ( x y) p x p y p , x, y R. The first part of that problem is proved by noting that the binomial coefficients appearing in the sum, except for the 0 and p terms, have p in the numerator and not in the denominator, and hence are divisible by p. Part b is proved by induction on the power of p, ...
23 Introduction to homotopy theory
... Example 23.3. One can define a model for S starting from simplicial sets sSet := Set . Recall that op is the category whose objects are the posets [n] = {0, . . . , n} and whose ...
... Example 23.3. One can define a model for S starting from simplicial sets sSet := Set . Recall that op is the category whose objects are the posets [n] = {0, . . . , n} and whose ...
Homological algebra

Homological algebra is the branch of mathematics that studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precursor to algebraic topology) and abstract algebra (theory of modules and syzygies) at the end of the 19th century, chiefly by Henri Poincaré and David Hilbert. The development of homological algebra was closely intertwined with the emergence of category theory. By and large, homological algebra is the study of homological functors and the intricate algebraic structures that they entail. One quite useful and ubiquitous concept in mathematics is that of chain complexes, which can be studied both through their homology and cohomology. Homological algebra affords the means to extract information contained in these complexes and present it in the form of homological invariants of rings, modules, topological spaces, and other 'tangible' mathematical objects. A powerful tool for doing this is provided by spectral sequences.From its very origins, homological algebra has played an enormous role in algebraic topology. Its sphere of influence has gradually expanded and presently includes commutative algebra, algebraic geometry, algebraic number theory, representation theory, mathematical physics, operator algebras, complex analysis, and the theory of partial differential equations. K-theory is an independent discipline which draws upon methods of homological algebra, as does the noncommutative geometry of Alain Connes.