In category theory and its applications to other branches of mathematics, kernels are a generalization of the kernels of group homomorphisms, the kernels of module homomorphisms and certain other kernels from algebra. Intuitively, the kernel of the morphism f : X → Y is the "most general" morphism k : K → X that yields zero when composed with (followed by) f. Note that kernel pairs and difference kernels (also known as binary equalisers) sometimes go by the name "kernel"; while related, these aren't quite the same thing and are not discussed in this article. (Wikipedia).
Category Theory 1.1: Motivation and Philosophy
Motivation and philosophy
From playlist Category Theory
Kernel of a group homomorphism
In this video I introduce the definition of a kernel of a group homomorphism. It is simply the set of all elements in a group that map to the identity element in a second group under the homomorphism. The video also contain the proofs to show that the kernel is a normal subgroup.
From playlist Abstract algebra
I introduce the Bergman kernel of a domain and study its first properties. For more on this topic see Chapter 1.4 of Krantz's "Function theory of several complex variables."
From playlist Several Complex Variables
PNWS 2014 - What every (Scala) programmer should know about category theory
By, Gabriel Claramunt Aren't you tired of just nodding along when your friends starts talking about morphisms? Do you feel left out when your coworkers discuss a coproduct endofunctor? From the dark corners of mathematics to a programming language near you, category theory offers a compac
From playlist PNWS 2014
Category theory for JavaScript programmers #19: some formality around categories
http://jscategory.wordpress.com/source-code/
From playlist Category theory for JavaScript programmers
Charles Rezk - 4/4 Higher Topos Theory
Course at the school and conference “Toposes online” (24-30 June 2021): https://aroundtoposes.com/toposesonline/ Slides: https://aroundtoposes.com/wp-content/uploads/2021/07/RezkNotesToposesOnlinePart4.pdf In this series of lectures I will give an introduction to the concept of "infinity
From playlist Toposes online
Hodge theory and derived categories of cubic fourfolds - Richard Thomas
Richard Thomas Imperial College London September 16, 2014 Cubic fourfolds behave in many ways like K3 surfaces. Certain cubics - conjecturally, the ones that are rational - have specific K3s associated to them geometrically. Hassett has studied cubics with K3s associated to them at the le
From playlist Mathematics
A (proper) introduction to derived CATegories
While there are introductions to derived categories that are more sensible for practical aspects, in this video I give the audience of taste of what's involved in the proper, formal definition of derived categories. Special thanks to Geoff Vooys, whose notes (below) inspired this video: ht
From playlist Miscellaneous Questions
Introduction to p-adic Hodge theory (Lecture 4) by Denis Benois
PROGRAM PERFECTOID SPACES ORGANIZERS: Debargha Banerjee, Denis Benois, Chitrabhanu Chaudhuri, and Narasimha Kumar Cheraku DATE & TIME: 09 September 2019 to 20 September 2019 VENUE: Madhava Lecture Hall, ICTS, Bangalore Scientific committee: Jacques Tilouine (University of Paris, France
From playlist Perfectoid Spaces 2019
Ulrich Bauer (3/19/19): Persistence diagrams as diagrams
Title: Persistence Diagrams as Diagrams Abstract: We explore the perspective of viewing persistence diagrams, or persistence barcodes, as diagrams in the categorical sense. Specifically, we consider functors indexed over the reals and taking values in the category of matchings, which has
From playlist AATRN 2019
Affine Springer fibers and the small quantum group - Pablo Boixeda Alvarez
Short Talks by Postdoctoral Members Topic: Affine Springer fibers and the small quantum group Speaker: Pablo Boixeda Alvarez Affiliation: Member, School of Mathematics Date: September 22, 2020 For more video please visit http://video.ias.edu
From playlist Mathematics
Isadore Singer- 1. Index Theory Revisited [1996]
slides for this talk: http://www.math.stonybrook.edu/Videos/SimonsLectures/direct_download.php?file=PDFs/43-Singer.pdf Simons Lecture Series Stony Brook University Department of Mathematics and Institute for Mathematical Sciences October 1-10, 1996 Isadore Singer MIT http://www.math.st
From playlist Number Theory
Introduction to the Kernel and Image of a Linear Transformation
This video introduced the topics of kernel and image of a linear transformation.
From playlist Kernel and Image of Linear Transformation
Matrix factorisations and quantum error correcting codes
In this talk Daniel Murfet gives a brief introduction to matrix factorisations, the bicategory of Landau-Ginzburg models, composition in this bicategory, the Clifford thickening of a supercategory and the cut operation, before coming to a simple example which shows the relationship between
From playlist Metauni
Michael Groechenig - Complex K-theory of Dual Hitchin Systems
Let G and G’ be Langlands dual reductive groups (e.g. SL(n) and PGL(n)). According to a theorem by Donagi-Pantev, the generic fibres of the moduli spaces of G-Higgs bundles and G’-Higgs bundles are dual abelian varieties and are therefore derived-equivalent. It is an interesting open probl
From playlist 2021 IHES Summer School - Enumerative Geometry, Physics and Representation Theory
Category Theory: The Beginner’s Introduction (Lesson 1 Video 2)
Lesson 1 is concerned with defining the category of Abstract Sets and Arbitrary Mappings. We also define our first Limit and Co-Limit: The Terminal Object, and the Initial Object. Other topics discussed include Duality and the Opposite (or Mirror) Category. Follow me on Twitter: @mjmcodr
From playlist Category Theory: The Beginner’s Introduction