Functorial semantics for relational theories (bibtex)

by Filippo Bonchi, Dusko Pavlovic and Paweł Sobociński

Reference:

Filippo Bonchi, Dusko Pavlovic and Paweł Sobociński, Functorial semantics for relational theories, In Polynesian Journal of Mathematics, vol. 2, no. 6, pp. 1–56, 2025.

Bibtex Entry:

@article{BonchiPS25,
  author       = {Filippo Bonchi and
                  Dusko Pavlovic and
                  Pawe{\l} Soboci{\'{n}}ski},
  title        = {Functorial semantics for relational theories},
  journal      = {Polynesian Journal of Mathematics},
  volume       = {2},
  number       = {6},
  pages        = {1--56},
  year         = {2025},
  url          = {https://polyjmath.org/volumes/polyjmath-2-6.html},
  doi          = {10.69763/polyjmath.2.6},
}