new_licata_2023:
  type: article
  title: A Formal Logic for Formal Category Theory
  author:
  - New, Max S.
  - Licata, Daniel R.
  date: 2023
  url: https://arxiv.org/abs/2210.08663
  serial-number:
    doi: 10.1007/978-3-031-30829-1_6
  parent:
    type: proceedings
    title: Foundations of Software Science and Computation Structures (FoSSaCS 2023)
    publisher: Springer