Re: free categories viewed from a constructivist viewpoint
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
participants (1)
-
Galchin Vasili