Abstract: In many everyday categories (sets, spaces, modules, ...) 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.
Submission history
From: Tom Leinster [view email]
[v1]
Mon, 30 Dec 2002 20:03:59 UTC (12 KB)