Magnus Larsson -
"Downtown Vancouver Sunset"
I’ve really like the idea of Categories. They boil down one of the most essential
aspects of programming - “composition” - into a concrete interface, and with
their laws, give rise to logically intuitive behaviour. Categories start out
extremely simply, with only two laws, and two operations, but the subject
quickly becomes highly theoretical through many ideas about sub-categories,
transformations between categories, isomorphic behaviors, etc. Still, just
using the basics is very satisfying!
While categories may be intellectually stimulating, there was a question
asked recently that I thought I would be able to easily answer, but the
more I thought about it, the more I was stumped…
“How can a Category instance in my program save me from writing at least
a little code?”
...