/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

 relatedwork.blogspot.com
Related Work: The Product Topology, or, How Not to Stumble into the Box Topology
| | jeremykun.wordpress.com
Constructing Topological Spaces - A Primer - Math Programming
3.6 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...
| | cronokirby.com
Encoding the Naturals - Cronokirby
3.6 parsecs away

Travel
| | Exploring 3 different ways of encoding the natural numbers - Read more: https://cronokirby.com/posts/2020/08/encoding-the-naturals/
| | leanprover-community.github.io
Maths in Lean: Topological, uniform and metric spaces
5.0 parsecs away

Travel
| |
| | dominiczypen.wordpress.com
Generalizing the T_0 separation axiom | Musings on general topology and orderings
21.3 parsecs away

Travel
| The starting point of this blog post is a slight reformulation of the $latex T_0$ separation axiom: A topological space $latex (X,\tau)$ is $latex T_0$ if for all $latex x\neq y\in X$ there is a set $latex U\in \tau$ such that $latex \{x,y\}\cap U \neq \emptyset \text{ and } \{x,y\}\not\subseteq U.$ Given a cardinal $latex...