47 citations · 55 across the 4 of their papers we have counts for
Showing 2002Show all
2 papers · 1 filter
math.RA2002
An Objective Representation of the Gaussian Integers
Marcelo Fiore, Tom Leinster
A rig is a riNg without Negatives. We analyse the free rig on a generator x subject to the equivalence x = 1 + x + x^2, showing that in it the non-constant polynomials form a ring.…
math.CT2002
Generalized enrichment of categories
Tom Leinster
We define the phrase `category enriched in an fc-multicategory' and explore some examples. An fc-multicategory is a very general kind of 2-dimensional structure, special cases of w…