/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
| | leanprover-community.github.io
Maths in Lean: Topological, uniform and metric spaces
5.0 parsecs away

Travel
| |
| | 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...
| | www.jeremykun.com
Constructing Topological Spaces - A Primer | Math Programming
3.8 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.
| | lambdaland.org
Boilerplate Busting in Functional Languages | Lambda Land
23.3 parsecs away

Travel
| This is the story of how I solved a problem (ugly, cumbersome boilerplate code) that I ran into while writing a program in a functional language (Elixir). Functional programming languages often pride themselves on expressiveness and elegance; but occasionally they are not amenable to the most obvious solutions to the problems we wish to solve. In this case, the simplest solution to my problem would have been to have a global mutable variable. But no one likes those.