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

 

Guardado en:
Bibliografiske detaljer
Forfatter: Acuña Ortega, Osvaldo
Format: artículo original
Status:Versión publicada
Fecha de Publicación:2013
Beskrivelse: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
Institution:Universidad de Costa Rica
Repositorio:Portal de Revistas UCR
Sprog:Español
OAI Identifier:oai:portal.ucr.ac.cr:article/8480
Online adgang: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