Outer Web | Explore

Explore >> Select a destination

You are here		blog.sigfpe.com A Neighborhood of Infinity: You Could Have Defined Natural Transformations
\|	\|	thehousecarpenter.wordpress.com A simple motivation for the notion of a natural transformation \| The House Carpenter	11.7 parsecs away Travel
\|	\|	A natural transformation is an operation on a category, or more precisely a family of operations, one for each object in the category, which is preserved by morphisms in the category. Each operation in the family is associated with a specific object $latex A$ in the category, which it is said to be on. The...	11.7 parsecs away Travel
\|	\|	slightknack.dev Mirror: Hindley Milner Type Inference - Isaac Clayton	13.7 parsecs away Travel
\|	\|	A cozy little corner of the web.	13.7 parsecs away Travel
\|	\|	bartoszmilewski.com Presheaves and Topology \| Bartosz Milewski's Programming Cafe	11.7 parsecs away Travel
\|	\|	Previously: Topology as a Dietary Choice. Category theory lets us change the focus from individual objects to relationships between them. Since topology is defined using open sets, we'd start by concentrating on relations between sets. One such obvious relation is inclusion. It imposes a categorical structure on the subsets of a given set $latex X$....	11.7 parsecs away Travel
\|	\|	spyder.wordpress.com Well, yes - Andy's blog	63.0 parsecs away Travel
\|		yes I do. That draft was created just after I joined twitter, and in the details I had written that I had just passed 400 tweets. I'm now closing in on 13,000. I am, however, in the process of scaling back my twitter and Facebook usage - I identified last week that as I reduce...	63.0 parsecs away Travel