Cartesian bicategories with choice
Logic in Computer Science
2020-03-24 v1 Category Theory
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.
Keywords
Cite
@article{arxiv.2003.09453,
title = {Cartesian bicategories with choice},
author = {Filippo Bonchi and Jens Seeber and Pawel Sobocinski},
journal= {arXiv preprint arXiv:2003.09453},
year = {2020}
}