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:
Detalles Bibliográficos
Autor principal: Menni, Matías
Formato: Articulo
Lenguaje:Inglés
Publicado: 2017
Materias:
Ciencias Exactas
Objective number theory
Extensive category
Topos
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/133685
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-133685
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Exactas
Objective number theory
Extensive category
Topos
spellingShingle Ciencias Exactas
Objective number theory
Extensive category
Topos
Menni, Matías
Every Rig with a One-Variable Fixed Point Presentation is the Burnside Rig of a Prextensive Category
topic_facet Ciencias Exactas
Objective number theory
Extensive category
Topos
description 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.
format Articulo
Articulo
author Menni, Matías
author_facet Menni, Matías
author_sort Menni, Matías
title Every Rig with a One-Variable Fixed Point Presentation is the Burnside Rig of a Prextensive Category
title_short Every Rig with a One-Variable Fixed Point Presentation is the Burnside Rig of a Prextensive Category
title_full Every Rig with a One-Variable Fixed Point Presentation is the Burnside Rig of a Prextensive Category
title_fullStr Every Rig with a One-Variable Fixed Point Presentation is the Burnside Rig of a Prextensive Category
title_full_unstemmed Every Rig with a One-Variable Fixed Point Presentation is the Burnside Rig of a Prextensive Category
title_sort every rig with a one-variable fixed point presentation is the burnside rig of a prextensive category
publishDate 2017
url http://sedici.unlp.edu.ar/handle/10915/133685
work_keys_str_mv AT mennimatias everyrigwithaonevariablefixedpointpresentationistheburnsiderigofaprextensivecategory
bdutipo_str Repositorios
_version_ 1764820455250722816

Ejemplares similares