Lemmas in category theory | Homological algebra

Horseshoe lemma

In homological algebra, the horseshoe lemma, also called the simultaneous resolution theorem, is a statement relating resolutions of two objects and to resolutions ofextensions of by . It says that if an object is an extension of by , then a resolution of can be built up inductively with the nth item in the resolution equal to the coproduct of the nth items in the resolutions of and . The name of the lemma comes from the shape of the diagram illustrating the lemma's hypothesis. (Wikipedia).

Horseshoe lemma
Video thumbnail

Proof of Lemma and Lagrange's Theorem

Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys Proof of Lemma and Lagrange's Theorem. This video starts by proving that any two right cosets have the same cardinality. Then we prove Lagrange's Theorem which says that if H is a subgroup of a finite group G then the order of H div

From playlist Abstract Algebra

Video thumbnail

Linear Transformations: Onto

Linear Algebra: Continuing with function properties of linear transformations, we recall the definition of an onto function and give a rule for onto linear transformations.

From playlist MathDoctorBob: Linear Algebra I: From Linear Equations to Eigenspaces | CosmoLearning.org Mathematics

Video thumbnail

Berge's lemma, an animated proof

Berge's lemma is a mathematical theorem in graph theory which states that a matching in a graph is of maximum cardinality if and only if it has no augmenting paths. But what do those terms even mean? And how do we prove Berge's lemma to be true? == CORRECTION: at 7:50, the red text should

From playlist Summer of Math Exposition Youtube Videos

Video thumbnail

Derivative Of A Square Root!! (Calculus)

#Math #Calculus #Physics #Tiktok #Studyhacks #NicholasGKK #Shorts

From playlist Calculus

Video thumbnail

Digression: Hochschild Homology of Schemes

We define and study Hochschild homology for schemes. This video is a slight digression from the rest of the lecture course and we assume familiarity with schemes. The exercise might be a bit tricky... Feel free to post comments and questions at our public forum at https://www.uni-muenste

From playlist Topological Cyclic Homology

Video thumbnail

Algebraic Topology 1.1 : Homotopy (Animation Included)

In this video, I will introduce homotopy equivalence, some basic examples of homotopy, and the transitivity of homotopy. I use an animation to intuitively explain these concepts. Translate This Video : Notes : None yet Patreon : https://www.patreon.com/user?u=16481182 Teespring : https://

From playlist Topology

Video thumbnail

Linear Algebra 6j: Linear Systems for the Impatient

https://bit.ly/PavelPatreon https://lem.ma/LA - Linear Algebra on Lemma http://bit.ly/ITCYTNew - Dr. Grinfeld's Tensor Calculus textbook https://lem.ma/prep - Complete SAT Math Prep

From playlist Part 1 Linear Algebra: An In-Depth Introduction with a Focus on Applications

Video thumbnail

Lecture 10: The circle action on THH

In this video we construct an action of the circle group S^1 = U(1) on the spectrum THH(R). We will see how this is the homotopical generalisation of the Connes operator. The key tool will be Connes' cyclic category. The speaker is of course Achim Krause and not Thomas Nikolaus as falsely

From playlist Topological Cyclic Homology

Video thumbnail

Lecture 3: Classical Hochschild Homology

In this video, we introduce classical Hochschild homology and discuss the HKR theorem. 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-muenster.de/IVV5WS/Web

From playlist Topological Cyclic Homology

Video thumbnail

Alexandra Skripchenko: Real-normalised differential with a single order 2 pole

CONFERENCE Recording during the thematic meeting : "Combinatorics, Dynamics and Geometry on Moduli Spaces" the September 22, 2022 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwid

From playlist Algebraic and Complex Geometry

Video thumbnail

Lecture 7: Hochschild homology in ∞-categories

In this video, we construct Hochschild homology in an arbitrary symmetric-monoidal ∞-category. The most important special case is the ∞-category of spectra, in which we get Topological Hochschild homology. Feel free to post comments and questions at our public forum at https://www.uni-mu

From playlist Topological Cyclic Homology

Video thumbnail

Lecture 8: Bökstedt Periodicity

In this video, we give a proof of Bökstedts fundamental result showing that THH of F_p is polynomial in a degree 2 class. This will rely on unlocking its relation to the dual Steenrod algebra and the fundamental fact, that the latter is free as an E_2-Algebra. Feel free to post comments a

From playlist Topological Cyclic Homology

Video thumbnail

Linear Algebra 6g: Linear Dependence Example 3 - Geometric Vectors

https://bit.ly/PavelPatreon https://lem.ma/LA - Linear Algebra on Lemma http://bit.ly/ITCYTNew - Dr. Grinfeld's Tensor Calculus textbook https://lem.ma/prep - Complete SAT Math Prep

From playlist Part 1 Linear Algebra: An In-Depth Introduction with a Focus on Applications

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

Math 060 101317C Linear Transformations: Isomorphisms

Lemma: Linear transformations that agree on a basis are identical. Definition: one-to-one (injective). Examples and non-examples. Lemma: T is one-to-one iff its kernel is {0}. Definition: onto (surjective). Examples and non-examples. Definition: isomorphism; isomorphic. Theorem: T

From playlist Course 4: Linear Algebra (Fall 2017)

Video thumbnail

Linear Algebra 2e: Confirming All the 'Tivities

https://bit.ly/PavelPatreon https://lem.ma/LA - Linear Algebra on Lemma http://bit.ly/ITCYTNew - Dr. Grinfeld's Tensor Calculus textbook https://lem.ma/prep - Complete SAT Math Prep

From playlist Part 1 Linear Algebra: An In-Depth Introduction with a Focus on Applications

Video thumbnail

Linear Algebra Vignette 1a: Matrix Representation of a Linear Transformation

This course is on Lemma: http://lem.ma Lemma looking for developers: http://lem.ma/jobs Other than http://lem.ma, I recommend Strang http://bit.ly/StrangYT, Gelfand http://bit.ly/GelfandYT, and my short book of essays http://bit.ly/HALAYT Questions and comments below will be prompt

From playlist Linear Algebra Vignettes

Video thumbnail

Digression: THH of the integers (corrected)

In this video, we explain how to compute THH of the integers. In order to do this we compute it first relative to the element p and then use a spectral sequence to deduce the final result. This is a corrected version of the old video, in which I got the Hasse-squares at 13:10 and 24:20 w

From playlist Topological Cyclic Homology

Video thumbnail

Linear Algebra 6z: Outtakes from Chapters 5 and 6

https://bit.ly/PavelPatreon https://lem.ma/LA - Linear Algebra on Lemma http://bit.ly/ITCYTNew - Dr. Grinfeld's Tensor Calculus textbook https://lem.ma/prep - Complete SAT Math Prep

From playlist Part 1 Linear Algebra: An In-Depth Introduction with a Focus on Applications

Video thumbnail

Lecture 15: TC of F_p (corrected)

In this video, we compute TC of the field F_p with p-elements. As an application of this computation we deduce that THH of F_p-algebras is in a highly compatible fashion an Module over HZ. This relates to fundamental work of Kaledin and has some subtle aspects to it, which we carefully dis

From playlist Topological Cyclic Homology

Related pages

Exact sequence | Abelian category | Projective object | Snake lemma | Homological algebra | Opposite category | Mathematical induction | Coproduct | Commutative diagram | Injective object | Nine lemma