I've only read pieces of it, but I think this moves in the right direction towards making category theory useful to day-to-day life in non-trivial ways.