[jwdunne]

This comment is excellent. Your description of category theory connected a few dots of my own. Thank you :)