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

 

Guardado en:
Detalles Bibliográficos
Autor: Acuña Ortega, Osvaldo
Formato: artículo original
Estado:Versión publicada
Fecha de Publicación:2013
Descripción: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 .
País:Portal de Revistas UCR
Institución:Universidad de Costa Rica
Repositorio:Portal de Revistas UCR
Lenguaje:Español
OAI Identifier:oai:portal.ucr.ac.cr:article/8480
Acceso en línea:https://revistas.ucr.ac.cr/index.php/matematica/article/view/8480
Palabra clave:Topoi
K–finite objects
natural numbers
Teoría de topos
objetos K–finitos
números naturales