Math as code

This - http://matt.might.net/articles/discrete-math-and-code/ - is probably relevant...

Expressing numerical calculations as code,specifically. I was hoping for something to do with category theory.