用阿罗理论证明阿罗定理
Arrow's Theorem by Arrow Theory
摘要：
我们给出了阿罗定理，在社会选择理论的一个开创性的结果的分类帐户。
英文摘要：
We give a categorical account of Arrow's theorem, a seminal result in social choice theory.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
关于二元函数的一个标准定理
A standard theorem on adjunctions in two variables
我们记录一个明确的证明定理，解除了两个变量的附加到其域的箭头类别。
math.CT
范畴对与指示性转移
Categorical Pairs and the Indicative Shift
本文引入范畴对的概念，即一对范畴（C，C '），使得C中的每个态射都是C'中的一个对象。范畴对是2-范畴的前体。C'中的箭头可以表示C的态射之间的关系。特别是，我们表明，通过使用命名的语言过程的模型，我们可以确保C中的每个态射都有一个间接的自指的形式a -> Fa，其中这个箭头出现在范畴C '。这一结果推广和澄清了逻辑学和范畴学中已知的不动点定理，并应用于Goedel不完全性定理、Cantor对角过程和Lawvere不动点定理.特别是，我们表明，间接的自我参考，是核心的哥德尔定理是一个例子的一般模式在这里被称为指示性的转变。
math.CTmath.LO
作为提升问题的解析与Chomsky-Schützenberger表示定理
Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem
本文通过操作元函子统一描述上下文无关文法，并推广Chomsky-Schützenberger表示定理，证明任意范畴上的箭头上下文无关语言可表示为色树轮廓语言与正则语言交集的函子像。
cs.FLmath.CT
乔姆斯基-舒茨贝格表示定理的范畴轮廓
The categorical contours of the Chomsky-Schützenberger representation theorem
该研究从范畴与操作子的纤维化视角推广上下文无关文法和非确定有限自动机，提出轮廓范畴构造，推广乔姆斯基-舒茨贝格表示定理，刻画箭头上下文无关语言的结构。
cs.FLcs.LOmath.CT
