2022
https://www.brunogavranovic.com/posts/2022-02-10-optics-vs-lenses-operationally.html
2021
https://boris-marinov.github.io/category-theory-illustrated/04_order/