https://johncarlosbaez.wordpress.com/2018/04/18/applied-category-theory-at-nist-part-2/
Azimuth 04/18/2018