Every Rig with a One-Variable Fixed Point Presentation is the Burnside Rig of a Prextensive Category
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.
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Articulo |
| Lenguaje: | Inglés |
| Publicado: |
2017
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/133685 |
| Aporte de: |
| Sumario: | 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. |
|---|