Objects of categories as complex numbers |
| |
Authors: | Marcelo Fiore Tom Leinster |
| |
Affiliation: | a Computer Laboratory, University of Cambridge, 15 JJ Thomson Avenue, Cambridge CB3 0FD, UK;b Department of Mathematics, University of Glasgow, University Gardens, Glasgow G12 8QW, UK |
| |
Abstract: | In many everyday categories (sets, spaces, modules, etc.) objects can be both added and multiplied. The arithmetic of such objects is a challenge because there is usually no subtraction. We prove a family of cases of the following principle: if an arithmetic statement about the objects can be proved by pretending that they are complex numbers, then there also exists an honest proof. |
| |
Keywords: | Category theory Commutative algebra Rings and algebras |
本文献已被 ScienceDirect 等数据库收录! |
|