@inproceedings{new_licata_2023,
 title = {A Formal Logic for Formal Category Theory},
 author = {New, Max S. and Licata, Daniel R.},
 year = {2023},
 doi = {10.1007/978-3-031-30829-1_6},
 url = {https://arxiv.org/abs/2210.08663},
 booktitle = {Foundations of Software Science and Computation Structures (FoSSaCS 2023)},
 publisher = {Springer}
}