@misc{indiciae0e5c25294795,
  title = {UC, Categorically: Rigorous Diagrammatic Proofs},
  author = {Pooya Farshim and Martti Karvonen and Andre Knispel and Markulf Kohlweiss and Philip Wadler},
  year = {2026},
  url = {https://arxiv.org/abs/2608.04521},
  note = {Source identifier: 2608.04521}
}