Every rig with a one-variable fixed point presentation is the burnside rig of a prextensive category

Abstract

We extend the work of Schanuel, Lawvere, Blass and Gates in Objective Number Theory by proving that, for any L(X) ∈ N[X], the rig N[X]/(X = L(X)) is the Burnside rig of a prextensive category.