Inproceedings Limits and Colimits in a Category of Lenses Emma Chollet Michael Johnson Vincent Wang Gioele Zardini Booktitle 4th Annual International Applied Category Theory Conference (ACT) DOIGoogle ScholarBibTeX