Applied CT

[timelets]

Bartosz Milewski gets it right when he says that CT helps navigate levels of abstraction.

https://youtu.be/sx8FELiIPg8?t=45s

I should try to explain timing as a structure with 3 (or 4?) levels of abstraction, e.g. Coecke's work helps map effort to duration.

https://ncatlab.org/nlab/show/universal+construction