Sobre una construcción de un monoide libre con identidad sobre un topos E con el objeto de los números naturales

We proved that the free moniod with identify in X isM(X)= R \in \Omega^{NxNxX/R} es funcional y \_n \in N dom R=(n)} -----> ix  \Omega^{NxNxX/R}.

Autor Principal: Acuña Ortega, Osvaldo
Formato: Artículo
Idioma: Español
Publicado: 2015
Acceso en línea: http://revistas.ucr.ac.cr/index.php/matematica/article/view/8480
http://hdl.handle.net/10669/13027
Sumario: We proved that the free moniod with identify in X isM(X)= R \in \Omega^{NxNxX/R} es funcional y \_n \in N dom R=(n)} -----> ix  \Omega^{NxNxX/R}.