论文标题
有选择的笛卡尔人
Cartesian bicategories with choice
论文作者
论文摘要
在各种开放系统的语义中，关系结构正在成为普遍存在的数学机制。笛卡尔的生物与关系是众所周知的分类代数，在最近的应用中被证明特别有用。类别及其关系生物之间的通过是一个重要的问题，数十年来已经广泛研究了。我们研究了一种替代建筑，该结构产生了笛卡尔的关系。它的行为与选择的公理密切相关，该公理本身可以用笛卡尔的bicategories语言表达。
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.
