Hi Paul I still think you are getting me wrong, as did Ronnie. But never mind, i am used to it since i don't follow the mainstream science ways to specialize, solve problems, publish, repeat. Yet the problems interest will pass very soon. I now know 19 ordinary category problems (if you explain this one) vs. at least 23 in higher category theory. This explains why i restricted to ordinary categories.
From the good side i should be thankful that you and Ronnie trie to direct me towards "true mathematics",
but i have already found my "true mathematics". A big part of the process to get there was precisely to ask own quastions and finding the answers to them. But some people just got irritated when i asked them questions (in their field!) they didn't have the answer to.
Another is how to embed the category of locales in a CCC WITHOUT using illegitimate presheaves (Vickers and Townsend) or the axiom of collection (Heckmann).
I don't follow to the end here. Why should presheaves be illegitimate? Then, i suppose the axiom of collection is valid at least in the CCC. But what is so bad about the axiom of collection in this case? Do the embedding get bad? Best regards Rafael Borowiecki [For admin and other information see: http://www.mta.ca/~cat-dist/ ]