24 Apr
2003
24 Apr
'03
6:45 a.m.
YES, because, given a poset X, the category of sheaves over X equipped with the Alexandrov topology is equivalent to the category of *covariant* functors X --> Set. A very important, basic fact, which is at the foundation of a lot of things in topos theory and computer science. Cheers, François
Hello,
I have been re-reading the chapter on intuitionism in Goldblatt's book, specifically the section on Kripke semantics. Am I wrong to say that Kripke semantics is based on the Alexandrov topology generated by the underlying poset?
Regards, Bill