show/hide this revision's text 3 added 9 characters in body; deleted 2 characters in body; added 2 characters in body; deleted 9 characters in body

show/hide this revision's text 2 added 5 characters in body; deleted 20 characters in body

Can anybody give a definition of the equalizer completion of a cartesian category?

Is the method to get more or less as the regular and exact completions in the way that are given in: http://ncatlab.org/nlab/show/regular+and+exact+completions?

How is in that case the behaviour of the forgetful functor ${FL}\longrightrrow{FP}$FL-->FP (where FL are categories with finite limits and FP categories with finite products)?
show/hide this revision's text 1

Equalizer completion

Can anybody give a definition of the equalizer completion of a cartesian category? Is the method to get more or less as the regular and exact completions in the way that are given in: http://ncatlab.org/nlab/show/regular+and+exact+completions? How is in that case the behaviour of the forgetful functor ${FL}\longrightrrow{FP}$ (where FL are categories with finite limits and FP categories with finite products)?