Category theory

Karoubi envelope

In mathematics the Karoubi envelope (or Cauchy completion or idempotent completion) of a category C is a classification of the idempotents of C, by means of an auxiliary category. Taking the Karoubi envelope of a preadditive category gives a pseudo-abelian category, hence the construction is sometimes called the pseudo-abelian completion. It is named for the French mathematician Max Karoubi. Given a category C, an idempotent of C is an endomorphism with . An idempotent e: A → A is said to split if there is an object B and morphisms f: A → B,g : B → A such that e = g f and 1B = f g. The Karoubi envelope of C, sometimes written Split(C), is the category whose objects are pairs of the form (A, e) where A is an object of C and is an idempotent of C, and whose morphisms are the triples where is a morphism of C satisfying (or equivalently ). Composition in Split(C) is as in C, but the identity morphism on in Split(C) is , rather thanthe identity on . The category C embeds fully and faithfully in Split(C). In Split(C) every idempotent splits, and Split(C) is the universal category with this property.The Karoubi envelope of a category C can therefore be considered as the "completion" of C which splits idempotents. The Karoubi envelope of a category C can equivalently be defined as the full subcategory of (the presheaves over C) of retracts of representable functors. The category of presheaves on C is equivalent to the category of presheaves on Split(C). (Wikipedia).

Video thumbnail

The BuShou of HanZi :囗

A brief description of the BuShou of 囗.

From playlist The BuShou of HanZi

Video thumbnail

The BuShou of HanZi :禾

A brief description of the BuShou of 禾.

From playlist The BuShou of HanZi

Video thumbnail

Laurent Lafforgue - 4/4 Classifying toposes of geometric theories

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/LafforgueSlidesToposesOnline.pdf The purpose of these lectures will be to present the theory of classifying topose

From playlist Toposes online

Video thumbnail

The BuShou of HanZi :力

A brief description of the BuShou of 力.

From playlist The BuShou of HanZi

Video thumbnail

Max Karoubi: Hermitian K theory invariants in Topology and Algebraic Geometry

The lecture was held within the framework of the Hausdorff Trimester Program: Non-commutative Geometry and its Applications and the Workshop: Number theory and non-commutative geometry 24.11.2014

From playlist HIM Lectures: Trimester Program "Non-commutative Geometry and its Applications"

Video thumbnail

The BuShou of HanZi :宀

A brief description of the BuShou of 宀.

From playlist The BuShou of HanZi

Video thumbnail

Shinichiroh Matsuo : Gysin maps and bulk-edge correspondence

Abstract: We propose a yet another definition of KR-groups, which combines those of Atiyah and Karoubi and gives a simple proof of the Bott periodicity. Using the new definition, we can formulate the bulk-edge correspondence for free fermion systems as the functoriality of the Gysin map. T

From playlist Mathematical Physics

Video thumbnail

Geordie Williamson: Langlands and Bezrukavnikov II Lecture 22

SMRI Seminar Series: 'Langlands correspondence and Bezrukavnikov’s equivalence' Geordie Williamson (University of Sydney) Abstract: The second part of the course focuses on affine Hecke algebras and their categorifications. Last year I discussed the local Langlands correspondence in bro

From playlist Geordie Williamson: Langlands correspondence and Bezrukavnikov’s equivalence

Video thumbnail

Max Karoubi: Algebraic maps between spheres and Bott periodicity

The lecture was held within the framework of the Hausdorff Trimester Program: K-Theory and Related Fields. At the beginning of his research, J.-L. Loday proved that an algebraic map between an n-dimensional torus and an n-sphere is necessarily homotopic to a constant map. We generalize th

From playlist HIM Lectures: Trimester Program "K-Theory and Related Fields"

Video thumbnail

Arthur Bartels: K-theory of group rings (Lecture 2)

The lecture was held within the framework of the Hausdorff Trimester Program: K-Theory and Related Fields. Arthur Bartels: K-theory of group rings The Farrell-Jones Conjecture predicts that the K-theory of group rings RG can be computed in terms of K-theory of group rings RV where V vari

From playlist HIM Lectures: Trimester Program "K-Theory and Related Fields"

Video thumbnail

Non-commutative motives - Maxim Kontsevich

Geometry and Arithmetic: 61st Birthday of Pierre Deligne Maxim Kontsevich Institute for Advanced Study October 20, 2005 Pierre Deligne, Professor Emeritus, School of Mathematics. On the occasion of the sixty-first birthday of Pierre Deligne, the School of Mathematics will be hosting a fo

From playlist Pierre Deligne 61st Birthday

Video thumbnail

The BuShou of HanZi :目

A brief description of the BuShou of 目.

From playlist The BuShou of HanZi

Video thumbnail

The BuShou of HanZi :心

A brief description of the BuShou of 心.

From playlist The BuShou of HanZi

Video thumbnail

The BuShou of HanZi :耳

A brief description of the BuShou of 耳.

From playlist The BuShou of HanZi

Video thumbnail

Loss Functions: Policy Learning

Professor Stefan Wager distills best practices for causal inference into loss functions.

From playlist Machine Learning & Causal Inference: A Short Course

Video thumbnail

Yonatan Harpaz - New perspectives in hermitian K-theory II

Warning: around 32:30 in the video, in the slide entitled "Karoubi's conjecture", a small mistake was made - in the third bulleted item the genuine quadratic structure appearing should be the genuine symmetric one (so both the green and red instances of the superscript gq should be gs), an

From playlist New perspectives on K- and L-theory

Video thumbnail

The BuShou of HanZi : 車

A brief description of the BuShou of 車.

From playlist The BuShou of HanZi

Video thumbnail

The BuShou of HanZi :舌

A brief description of the BuShou of 舌.

From playlist The BuShou of HanZi

Video thumbnail

Vincent Calvez: Collective movement - course 2

HYBRID EVENT Recorded during the meeting "Mathematical Modeling of Organization in Living Matter" the March 31, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematic

From playlist Partial Differential Equations

Video thumbnail

The BuShou of HanZi :片

A brief description of the BuShou of 片.

From playlist The BuShou of HanZi

Related pages

Projective module | Adjoint functors | Vector bundle | Untyped lambda calculus | Pseudo-abelian category | Mathematics | Representable functor | Preadditive category | Serre–Swan theorem | Triangulated category | Presheaf (category theory) | Automorphism | Involution (mathematics) | Endomorphism | Motive (algebraic geometry) | Category (mathematics) | Isomorphism | Morphism