The Axiom of Choice in Cartesian Bicategories (bibtex)

by Filippo Bonchi, Jens Seeber and Paweł Sobociński

Reference:

Filippo Bonchi, Jens Seeber and Paweł Sobociński, The Axiom of Choice in Cartesian Bicategories, In 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, London, United Kingdom, June 3–6, 2019 (Markus Roggenbach, Ana Sokolova, eds.), Schloss Dagstuhl – Leibniz-Zentrum für Informatik, vol. 139, pp. 15:1–15:17, 2019.

Bibtex Entry:

@InProceedings{Bonchi2019b,
  author    = {Filippo Bonchi and Jens Seeber and Pawe{\l} Soboci{\'{n}}ski},
  title     = {The Axiom of Choice in Cartesian Bicategories},
  booktitle = {8th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2019, London, United Kingdom, June 3--6, 2019},
  editor    = {Markus Roggenbach and Ana Sokolova},
  series    = {LIPIcs},
  volume    = {139},
  pages     = {15:1--15:17},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2019},
  doi       = {10.4230/LIPIcs.CALCO.2019.15},
  url       = {https://doi.org/10.4230/LIPIcs.CALCO.2019.15},
}