About completion of (simple) categories see (my try) in: http://mathoverflow.net/questions/41386/equalizer-completion/46086#46086 In Adamek, J. and Rosicky, J., Locally presentable and accessible categories, Cambridge University Press. (1994) you find interesting kind of completions (category).