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		comonad.com The Comonad.Reader » Free Monoids in Haskell
\|	\|	justinhj.github.io Monoids for Production	4.3 parsecs away Travel
\|	\|	What's in this post?	4.3 parsecs away Travel
\|	\|	cronokirby.com Encoding the Naturals - Cronokirby	3.0 parsecs away Travel
\|	\|	Exploring 3 different ways of encoding the natural numbers - Read more: https://cronokirby.com/posts/2020/08/encoding-the-naturals/	3.0 parsecs away Travel
\|	\|	bartoszmilewski.com Free Monoids \| Bartosz Milewski's Programming Cafe	2.4 parsecs away Travel
\|	\|	This is part 13 of Categories for Programmers. Previously: Limits and Colimits. See the Table of Contents. Monoids are an important concept in both category theory and in programming. Categories correspond to strongly typed languages, monoids to untyped languages. That's because in a monoid you can compose any two arrows, just as in an untyped...	2.4 parsecs away Travel
\|	\|	dominiczypen.wordpress.com Generalizing the T_0 separation axiom \| Musings on general topology and orderings	19.4 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...	19.4 parsecs away Travel