--- Bas Spitters <spitters@cs.ru.nl> wrote:
You see what I really have in mind is not so much topos theory (which you might have suspected at first), but FOLDS.=20 =20 Could you give me a link to more information about FOLDS?
Sorry for not explaining! FOLDS is an acronym for First Order Logic=20 with Dependent Sorts, with which I knew that Tom is familiar (having=20 discussed its pros and cons with him back when we were both students).
Google was not very helpful.
Googling the whole phrase does produce satisfying results,=20 but to save you the effort, I can point you (all) towards http://www.math.mcgill.ca/makkai/folds/ Cheers, Jeff. Ask a question on any topic and get answers from real people. Go to= Yahoo! Answers and share what you know at http://ca.answers.yahoo.com