Cartesian bicategories with choice
From MaRDI portal
Publication:6337138
arXiv2003.09453MaRDI QIDQ6337138
Jens Seeber, Paweł Sobociński, Filippo Bonchi
Publication date: 20 March 2020
Abstract: Relational structures are emerging as ubiquitous mathematical machinery in the semantics of open systems of various kinds. Cartesian bicategories are a well-known categorical algebra of relations that has proved especially useful in recent applications. The passage between a category and its bicategory of relations is an important question that has been widely studied for decades. We study an alternative construction that yields a cartesian bicategory of relations. Its behaviour is closely related to the axiom of choice, which itself can be expressed in the language of cartesian bicategories.
This page was built for publication: Cartesian bicategories with choice
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6337138)
