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

 

Gespeichert in:
Bibliographische Detailangaben
Verfasser: Acuña Ortega, Osvaldo
Format: artículo original
Status:Versión publicada
Publikationsdatum:2013
Beschreibung: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 .
Land:Portal de Revistas UCR
Institution:Universidad de Costa Rica
Repositorio:Portal de Revistas UCR
Sprache:Español
OAI Identifier:oai:portal.ucr.ac.cr:article/8480
Online Zugang:https://revistas.ucr.ac.cr/index.php/matematica/article/view/8480
Stichwort:Topoi
K–finite objects
natural numbers
Teoría de topos
objetos K–finitos
números naturales