[X-logic-www] [X-Logic] Re: OpenMind [11]

[<com...@x-...>]

Subject- Re: OpenMind
Url- 

Didn''t argue for superiority as foundation.  My point was that such a (categorial) basis provide a better platform for coding mathematical objects and operations.  As you clearly have more knowledge of this area, perhaps you could indicate how you would use set-theoretic constructs as a basis for for such coding.  It may well be there are well understood techniques for doing this of which I am unaware.  If you are aware of such, and have web or other references from which I might learn I would be grateful.