Articulo
Every Rig with a One-Variable Fixed Point Presentation is the Burnside Rig of a Prextensive Category
Registro en:
issn:0927-2852
issn:1572-9095
Autor
Menni, Matías
Institución
Resumen
We extend the work of Schanuel, Lawvere, Blass and Gates in Objective Number Theory by proving that, for any L(X) ∈ ℕ[X], the rig ℕ[X]/(X = L(X)) is the Burnside rig of a prextensive category. Facultad de Ciencias Exactas