Hi Steve, Yes I do have doubts. It seems to me that if we look at the "construction" of the free category as an algorithm then at any step we will only have a finite approximation of the free category. Why do you say that the free category exists? Thanks, Bill --- Steve Vickers <s.j.vickers@cs.bham.ac.uk> wrote:

On 6 Jun 2005, at 22:00, Galchin Vasili wrote:

...

Hello,

Let G be a directed graph that either has an infinite # of nodes or has edges which are loops.

Would a constructist recognize the existence of G's free category?

Thank you, Bill Halchin

Dear Bill,

The answer is Yes. What did you have doubts about?

Steve Vickers.

__________________________________________________ Do You Yahoo!? Tired of spam? Yahoo! Mail has the best spam protection around http://mail.yahoo.com