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

 

Enregistré dans:
Détails bibliographiques
Auteur: Acuña Ortega, Osvaldo
Format: artículo original
Statut:Versión publicada
Date de publication:2013
Description: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 .
Pays:Portal de Revistas UCR
Institution:Universidad de Costa Rica
Repositorio:Portal de Revistas UCR
Langue:Español
OAI Identifier:oai:portal.ucr.ac.cr:article/8480
Accès en ligne:https://revistas.ucr.ac.cr/index.php/matematica/article/view/8480
Mots-clés:Topoi
K–finite objects
natural numbers
Teoría de topos
objetos K–finitos
números naturales