Mathematica Implementation of QuickSort using Repeated Rule Substitution

Correspondance between replacement rules and function definitions One can view Mathematica functions as simply a global replacement rule which is used to substitute variables (formally $\alpha »

Easy Tree Rotations with Pattern Matching

Rotate trees with confidence! When it comes to programming interviews, one of my biggest fears has always been tree rotations. You'll often see these operations cited »

Thinking Functorially: Commutative Algebra and Type Theory

Thinking Functorially (WIP) These are some of my notes about how commutative algebra and programming languages both benefit from functors. Please refer to (Eisenbud, Commutative Algebra »

MathJax and Code Highlighting in Ghost 0.5

Updated my earlier guide to the 8/16/2014 latest version of Ghost. MathML Support (MathJax) In ghost/content/themes/YOUR_THEME_NAME/default.hbs, before »

Categories: Top and Grp

In this post, we will use the notion of categories and functors to make rigorous the relationship between topological spaces and their underlying fundamental and homology »

Box Topology versus Product Topology

In the context of finite products, the box topology and product topology coincide. As the following exposition shows, this is not the case for infinite products »