Scifaro

中文

作为复数的范畴对象

范畴论 2010-02-04 v1 交换代数环与代数

作者: Marcelo Fiore , Tom Leinster

在 arXiv 上查看 ↗ PDF ↗

摘要

在许多日常范畴（集合、空间、模……）中，对象既可以被相加也可以被相乘。这类对象的算术是一个挑战，因为通常没有减法。我们证明了如下原理的一系列情形：如果一个关于对象的算术命题可以通过假装它们是复数而得到证明，那么也存在一个诚实的证明。

关键词

范畴对象复数对象的算术无减法诚实证明

引用

@article{arxiv.math/0212377,
  title  = {Objects of Categories as Complex Numbers},
  author = {Marcelo Fiore and Tom Leinster},
  journal= {arXiv preprint arXiv:math/0212377},
  year   = {2010}
}

备注

13 pages