Objects of Categories as Complex Numbers
Marcelo Fiore, Tom Leinster
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.
Create a lesson
Related papers
Cocompactness and Presentability
Thorger Geiß, Phil Pützstück, Maxime Ramzi
Gabriel--Zisman Localizations, Products, Coproducts, and Product Categories
Chencheng Zhang
An abelian envelope without the quotient property
Johannes Flake, Jonathan Gruber, Thorsten Heidersdorf
On Models of the Planar Lambda Calculus
Chad Nester
Mixing Extriangulated Model Structures
Junpeng Ren, Xianhui Fu
Grothendieck Topologies Are Extensional Presentations of the Form of Sieves
Roy Ferguson, Zurab Janelidze