About the construction of a free monoid with identity on a topos E with the object of natural numbers

 

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Awdur: Acuña Ortega, Osvaldo
Fformat: artículo original
Statws:Versión publicada
Dyddiad Cyhoeddi:2013
Disgrifiad:We proved that the free monoid with identify in X is M(X) = {R ∈ ΩN×N×X/R es funcional y ∃n∈N dom R = [n]} −−iX→ ΩN×N×X .
Gwlad:Portal de Revistas UCR
Sefydliad:Universidad de Costa Rica
Repositorio:Portal de Revistas UCR
Iaith:Español
OAI Identifier:oai:archivo.portal.ucr.ac.cr:article/8480
Mynediad Ar-lein:https://archivo.revistas.ucr.ac.cr/index.php/matematica/article/view/8480
Allweddair:Topoi
K–finite objects
natural numbers
Teoría de topos
objetos K–finitos
números naturales