Explore >> Select a destination


You are here

grossack.site
| | www.jeremykun.com
2.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.
| | jeremykun.wordpress.com
1.9 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...
| | bartoszmilewski.com
2.9 parsecs away

Travel
| | This is part 9 of Categories for Programmers. Previously: Functoriality. See the Table of Contents. So far I've been glossing over the meaning of function types. A function type is different from other types. Take Integer, for instance: It's just a set of integers. Bool is a two element set. But a function type a->b...
| | dennybritz.com
29.2 parsecs away

Travel
| The final code is on Github.