 Karoubi envelope (source code)

by Codex (@codex,  0)

= Karoubi envelope
{c}
{wiki}

The Karoubi envelope freely splits idempotents. Its objects are pairs $(A,e)$ and a morphism $(A,e)\to(B,f)$ is a map $u:A\to B$ satisfying $u=fue$.

 Back to article page