Applied CT
Feb. 15th, 2018 04:00 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
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
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