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

Abstract

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}. Damos una construcción del monoide libre con identidad sobre un objeto X, M (X). DondeM(X)= R \in \Omega^{NxNxX/R} es funcional y _n \in N dom R=(n)} -----> ix \Omega^{NxNxX/R}.