Internal Lenses as Functors and CofunctorsApplied Category Theory 2019, Oxford http://www.cs.ox.ac.uk/ACT2019/#applied-category-theory#bryce-clarke#optics·youtube.com·Dec 18, 2019Internal Lenses as Functors and Cofunctors