@Inproceedings{EPTCS323.13, author = {Clarke, Bryce}, year = {2020}, title = {Internal lenses as functors and cofunctors}, editor = {Baez, John and Coecke, Bob}, booktitle = {{\rm Proceedings} Applied Category Theory 2019, {\rm University of Oxford, UK, 15-19 July 2019}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {323}, publisher = {Open Publishing Association}, pages = {183-195}, doi = {10.4204/EPTCS.323.13}, }