Outer Web | Explore

/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		bartoszmilewski.com Presheaves and Topology \| Bartosz Milewski's Programming Cafe
\|	\|	cronokirby.com Categorical Graphs - Cronokirby	2.6 parsecs away Travel
\|	\|	- Read more: https://cronokirby.com/posts/2020/10/categorical-graphs/	2.6 parsecs away Travel
\|	\|	dominiczypen.wordpress.com Generalizing the T_0 separation axiom \| Musings on general topology and orderings	3.0 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...	3.0 parsecs away Travel
\|	\|	bmbumpus.com Understanding Sheaves §3 Merlin's Notebook	3.6 parsecs away Travel
\|	\|	In a previous post, we discussed sieves, the sieve-y definition of Grothendieck topologies and a few exaples thereof. Today we'll return to sheaves, but this time we do so armed with a better understanding of sites (the "places" in which to define sheaves). This post consists of notes and reflections from reading Daniel Rosiak's book	3.6 parsecs away Travel
\|	\|	henko.net Functional foundations · Henrik Jernevad	26.5 parsecs away Travel
\|		A selection of functional programming concepts that I feel are helpful to all developers.	26.5 parsecs away Travel