Two typos in my previous posting. Apologies, J. On Wed, 29 Sep 2010, Jiri Velebil wrote:

Then J exhibits \A as a free cocompletion of \A under filtered

^^^ should be \A_\fp

E : |\A_\fp| --> \A (where |\A_\fp| is the underlying discrete

^^^^^^^^^^^^^^^^^^^^ should be E : |\A_\fp| --> \A_\fp [For admin and other information see: http://www.mta.ca/~cat-dist/ ]