nLab
split idempotent

Contents

Definition

A split idempotent in a category CC is a morphism e:AAe: A \to A which has a retract, meaning an object BB and morphisms r:ABr: A \to B and s:BAs: B \to A such that sr=es \circ r = e but rs=1 Br \circ s = 1_B.

Properties

  • Any split idempotent is an idempotent, since

    ee=(sr)(sr)=s(rs)r=s1 Br=sr=e. e \circ e = (s \circ r) \circ (s \circ r) = s \circ (r \circ s) \circ r = s \circ 1_B \circ r = s \circ r = e .
  • The splitting of an idempotent ee is both the limit and the colimit of the diagram containing only two parallel endomorphisms of AA, namely ee and the identity. Splittings of idempotents are preserved by any functor, making them absolute (co)limits. In ordinary (i.e. unenriched) categories, every absolute (co)limit can be constructed from split idempotents. Thus, the Cauchy completion of an ordinary (Set-enriched) category is just its completion under split idempotents.

  • A category in which all idempotents split is called idempotent complete. The free completion of a category under split idempotents is also called its Karoubi envelope.

Revised on June 1, 2013 01:09:04 by Urs Schreiber (89.204.139.38)