categories: Re: Chu spaces vs Topoi (and maybe Stone Spaces)

[Michael Barr <barr@barrs.org>]

Here is what I feel on the question below.  While both toposes and Chu
spaces generalize certain aspects of topological spaces, they generalize
quite different aspects.  Toposes generalize the geometric aspects, while
Chu spaces generalize the formal combinatorial aspects.  In addition, a
topos is a generalization of a single space, while Chu(Set,2) generalizes
Top itself.  And the general Chu(V,X) is not topological at all.

Michael

On Sat, 30 Jun 2001, Galchin Vasili wrote:

> Hello Cat Community,
>  
>       I have been reading some of Prof. Pratt's papers on Chu spaces. I am
> just trying to understand Topos. Both seem to generalize the notion of
> topological spaces. Is there any relationship beteween Chu spaces and
> Topoi?
>  
> Regards,
>  
> Bill Halchin
> 
>