The data types turn out to be analogous to types of particles, while the programs are analogous to Feynman diagrams with a given collection of particles coming in and another collection going out.

— Categorifying Fundamental Physics, John Baez

2010.05.27 Thursday ACHK