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
http://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}.