/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 unstableontology.com
Topological metaphysics: relating point-set topology and locale theory - Unstable Ontology
| | www.jeremykun.com
Constructing Topological Spaces - A Primer | Math Programming
10.4 parsecs away

Travel
| | Last time we investigated the (very unintuitive) concept of a topological space as a set of "points" endowed with a description of which subsets are open. Now in order to actually arrive at a discussion of interesting and useful topological spaces, we need to be able to take simple topological spaces and build them up into more complex ones. This will take the form of subspaces and quotients, and through these we will make rigorous the notion of "gluing" and "building" spaces.
| | xorshammer.com
A Logical Interpretation of Some Bits of Topology - XOR's Hammer
5.8 parsecs away

Travel
| | Edit: These ideas are also discussed here and here (thanks to Qiaochu Yuan: I found out about those links by him linking back to this post). Although topology is usually motivated as a study of spatial structures, you can interpret topological spaces as being a particular type of logic, and give a purely logical, non-spatial...
| | jeremykun.wordpress.com
Constructing Topological Spaces - A Primer - Math Programming
11.0 parsecs away

Travel
| | Last time we investigated the (very unintuitive) concept of a topological space as a set of "points" endowed with a description of which subsets are open. Now in order to actually arrive at a discussion of interesting and useful topological spaces, we need to be able to take simple topological spaces and build them up...
| | ostash.dev
A concept of polymorphism in Clojure - Ostash.Dev
22.7 parsecs away

Travel
| Working with larger Clojure projects or libraries requires us to use some concepts that we all know from the Object Oriented Programming (OOP) world.