Additive categories | Homological algebra

Abelian category

In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties. The motivating prototypical example of an abelian category is the category of abelian groups, Ab. The theory originated in an effort to unify several cohomology theories by Alexander Grothendieck and independently in the slightly earlier work of David Buchsbaum. Abelian categories are very stable categories; for example they are regular and they satisfy the snake lemma. The class of abelian categories is closed under several categorical constructions, for example, the category of chain complexes of an abelian category, or the category of functors from a small category to an abelian category are abelian as well. These stability properties make them inevitable in homological algebra and beyond; the theory has major applications in algebraic geometry, cohomology and pure category theory. Abelian categories are named after Niels Henrik Abel. (Wikipedia).

Video thumbnail

Derived Categories part 1

We give a buttload of definitions for morphisms on various categories of complexes. The derived category of an abelian category is a category whose objects are cochain complexes and whose morphisms I describe in this video.

From playlist Derived Categories

Video thumbnail

Groups and subgroups

Jacob explains the fundamental concepts in group theory of what groups and subgroups are, and highlights a few examples of groups you may already know. Abelian groups are named in honor of Niels Henrik Abel (https://en.wikipedia.org/wiki/Niels_Henrik_Abel), who pioneered the subject of

From playlist Basics: Group Theory

Video thumbnail

Every Group of Order Five or Smaller is Abelian Proof

Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys Every Group of Order Five or Smaller is Abelian Proof. In this video we prove that if G is a group whose order is five or smaller, then G must be abelian.

From playlist Abstract Algebra

Video thumbnail

Abel formula

This is one of my all-time favorite differential equation videos!!! :D Here I'm actually using the Wronskian to actually find a nontrivial solution to a second-order differential equation. This is amazing because it brings the concept of the Wronskian back to life! And as they say, you won

From playlist Differential equations

Video thumbnail

Kazuya Kato - Logarithmic abelian varieties

Correction: The affiliation of Lei Fu is Tsinghua University. This is a joint work with T. Kajiwara and C. Nakayama. Logarithmic abelian varieties are degenerate abelian varieties which live in the world of log geometry of Fontaine-Illusie. They have group structures which do not exist in

From playlist Conférence « Géométrie arithmétique en l’honneur de Luc Illusie » - 5 mai 2021

Video thumbnail

Group theory 31: Free groups

This lecture is part of an online math course on group theory. We review free abelian groups, then construct free (non-abelian) groups, and show that they are given by the set of reduced words, and as a bonus find that they are residually finite.

From playlist Group theory

Video thumbnail

Group theory 17: Finite abelian groups

This lecture is part of a mathematics course on group theory. It shows that every finitely generated abelian group is a sum of cyclic groups. Correction: At 9:22 the generators should be g, h+ng not g, g+nh

From playlist Group theory

Video thumbnail

Math 139 Fourier Analysis Lecture 07: Cesaro and Abel summability

Cesaro and Abel Summability: Cesaro mean (Cesaro sum); Fejer kernel; closed form of the Fejer kernel; Fejer kernels are good kernels (approximations of the identity); consequences. Abel means; Abel summable. Abel means of the Fourier series of a function. Abel means as convolution with

From playlist Course 8: Fourier Analysis

Video thumbnail

Normal subgroups

Before we carry on with our coset journey, we need to discover when the left- and right cosets are equal to each other. The obvious situation is when our group is Abelian. The other situation is when the subgroup is a normal subgroup. In this video I show you what a normal subgroup is a

From playlist Abstract algebra

Video thumbnail

Lecture 1: Invitation to topos theory

This talk introduces the motivating question for this semester of the Curry-Howard seminar, which is how to organise mathematical knowledge using topoi. The approach sketched out in the talk is via first-order theories, their associated classifying topoi, and adjoint pairs of functors betw

From playlist Topos theory seminar

Video thumbnail

Lie Algebras and Homotopy Theory - Jacob Lurie

Members' Seminar Topic: Lie Algebras and Homotopy Theory Speaker: Jacob Lurie Affiliation: Professor, School of Mathematics Date: November 11, 2019 For more video please visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

Sucharit Sarkar - Khovanov homotopy type

June 29, 2018 - This talk was part of the 2018 RTG mini-conference Low-dimensional topology and its interactions with symplectic geometry

From playlist 2018 RTG mini-conference on low-dimensional topology and its interactions with symplectic geometry II

Video thumbnail

Categories 2: Functors

This lecture is part of an online course on category theory. We define functors and give some examples of them. For the other lectures in the course see https://www.youtube.com/playlist?list=PL8yHsr3EFj51F9XZ_Ka4bLnQoxTdMx0AL

From playlist Categories for the idle mathematician

Video thumbnail

The rising sea: Grothendieck on simplicity and generality - Colin McLarty [2003]

Slides for this talk: https://drive.google.com/file/d/1yDmqhdcKo6-YpDpRdHh2hvuNirZVbcKr/view?usp=sharing Notes for this talk: https://drive.google.com/open?id=1p45B3Hh8WPRhdhQAd0Wq0MvmY0JYSnmc The History of Algebra in the Nineteenth and Twentieth Centuries April 21 - 25, 2003 Colin Mc

From playlist Mathematics

Video thumbnail

Lecture 6: HKR and the cotangent complex

In this video, we discuss the cotangent complex and give a proof of the HKR theorem (in its affine version) Feel free to post comments and questions at our public forum at https://www.uni-muenster.de/TopologyQA/index.php?qa=tc-lecture Homepage with further information: https://www.uni-m

From playlist Topological Cyclic Homology

Video thumbnail

Stefano Marseglia, Computing isomorphism classes of abelian varieties over finite fields

VaNTAGe Seminar, February 1, 2022 License: CC-BY-NC-SA Links to some of the papers mentioned in this talk: Honda: https://doi.org/10.2969/jmsj/02010083 Tate: https://link.springer.com/article/10.1007/BF01404549 Deligne: https://eudml.org/doc/141987 Hofmann, Sircana: https://arxiv.org/ab

From playlist Curves and abelian varieties over finite fields

Video thumbnail

Lecture 12: Classifying topoi (Part 1)

This is the first of several talks on the subject of classifying topoi. I began with a brief reminder of the overall picture from the first talk, i.e. what are classifying topoi and why do we care (from the point of view of organising mathematics). Then I spent some time talking about tens

From playlist Topos theory seminar

Video thumbnail

Marc Levine - "The Motivic Fundamental Group"

Research lecture at the Worldwide Center of Mathematics.

From playlist Center of Math Research: the Worldwide Lecture Seminar Series

Video thumbnail

Every Subgroup of an Abelian Group is Normal Proof

Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys Every Subgroup of an Abelian Group is Normal Proof

From playlist Abstract Algebra

Video thumbnail

3D Gauge Theories: Vortices and Vertex Algebras (Lecture 2) by Tudor Dimofte

PROGRAM: VORTEX MODULI ORGANIZERS: Nuno Romão (University of Augsburg, Germany) and Sushmita Venugopalan (IMSc, India) DATE & TIME: 06 February 2023 to 17 February 2023 VENUE: Ramanujan Lecture Hall, ICTS Bengaluru For a long time, the vortex equations and their associated self-dual fie

From playlist Vortex Moduli - 2023

Related pages

Category of abelian groups | Coherent sheaf | Vector space | Tensor product | Alexander Grothendieck | Exact sequence | Pullback (category theory) | Preadditive category | Representation theory | Adjoint functors | Kernel (category theory) | Quotient object | Pushout (category theory) | Category theory | Subcategory | Finitely generated abelian group | Abelian group | Module (mathematics) | Image (category theory) | Normal morphism | Subobject | G-module | Product (category theory) | Coimage | Finitary | Regular category | Cokernel | Triangulated category | Noetherian ring | Sheaf (mathematics) | Biproduct | Comodule | Zero morphism | Category (mathematics) | Derived functor | Morphism | Functor | Direct sum | Scheme (mathematics) | Axiom | AB5 category | Grothendieck topology | Nine lemma | Complete category | Exact functor | Enriched category | Lie group | Homological algebra | Zariski tangent space | Algebraic topology | Cohomology | Localizing subcategory | Subquotient | Cohomological dimension | Mathematics | Algebraic geometry | Exact category | Monoidal category | Commutative ring | Topological space | Finite set | Direct sum of modules | Short five lemma | Coproduct | Group (mathematics) | Isomorphism | Maschke's theorem | Commutative algebra | Additive category | Chain complex | Direct product | Five lemma | Noetherian scheme | Field (mathematics) | Snake lemma | Ring (mathematics) | Monomorphism | Class (set theory) | Functor category | Mitchell's embedding theorem | Epimorphism | Finitely generated module