Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeMay 29th 2013
   • (edited May 29th 2013)
   • PermaLink
   Author: Urs
   Format: MarkdownItexto _[[idempotent completion]]_ (_[[Karoubi envelope]]_) I have added : * the [abstract definition](http://ncatlab.org/nlab/show/Karoubi+envelope#AbstractDefinition) * the [construction via the Yoneda embedding](http://ncatlab.org/nlab/show/Karoubi+envelope#UnderTheYonedaEmbedding) * a [pointer](http://ncatlab.org/nlab/show/Karoubi+envelope#Definition) to further constructions discussed at _[[Cauchy complete category]]_ * statement of the [finality](http://ncatlab.org/nlab/show/Karoubi+envelope#Finality) of the completion morphism; * a classical [Reference](http://ncatlab.org/nlab/show/Karoubi+envelope#References)

   to idempotent completion (Karoubi envelope) I have added :

   • the abstract definition

   • the construction via the Yoneda embedding

   • a pointer to further constructions discussed at Cauchy complete category

   • statement of the finality of the completion morphism;

   • a classical Reference