Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
New page: dominance
So you’ll tell us about the ’synthetic topology’ you discussed at Introduction to Synthetic Mathematics (part 1)?
And, will there be a part 2?
The paper I’m working on for the “New Spaces in Mathematics and Physics” project is sort of a part 2.
That would be very interesting for me when you’re ready to release it.
I started synthetic topology with two references. The second reference speaks of different approaches:
Synthetic topology is not a finished subject. Among possible approaches [19, 6] we chose the one that is most similar to synthetic domain theory [18, 10], in which spaces are treated as objects of a suitable topos.
Surely Paul Taylor’s Abstract Stone Duality is relevant, if a slightly different approach?
I’ve expanded a bit. We also need synthetic domain theory and synthetic computability. Should Vickers’ topology via logic have it’s one page? I am incline to leave it here.
Minor changes to synthetic mathematics.
Re #5, yes, the [6] in the quote in #4 is Taylor.
Started synthetic domain theory.
1 to 8 of 8