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}.

Main Author: Acuña Ortega, Osvaldo
Format: Artículo
Language: Español
Published: 2015
Online Access: http://revistas.ucr.ac.cr/index.php/matematica/article/view/8480
https://hdl.handle.net/10669/13027
Summary: 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}.