Category theory

Kernel (category theory)

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).

Kernel (category theory)
Video thumbnail

Category Theory 2.1: Functions, epimorphisms

Functions, epimorphisms

From playlist Category Theory

Video thumbnail

Category Theory 1.1: Motivation and Philosophy

Motivation and philosophy

From playlist Category Theory

Video thumbnail

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

Video thumbnail

What is the Bergman kernel?

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

Video thumbnail

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

Video thumbnail

Category Theory 1.2: What is a category?

What is a Category?

From playlist Category Theory

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Related pages

Module (mathematics) | Algebraic structure | Vector space | Subalgebra | Normal morphism | Isomorphism | Subobject | Inclusion map | Preadditive category | Pointed space | Universal algebra | Module homomorphism | Homomorphism | Cokernel | Mathematics | Field (mathematics) | Equaliser (mathematics) | Subtraction | Ring (mathematics) | Category theory | Zero morphism | Subset | Morphism | Concrete category | Monomorphism | Abstract algebra | Group homomorphism | Category of rings | Kernel (algebra) | Universal property | Opposite category | Monoid | Image (category theory)