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

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

Bibliographic Details
Main Author: Osvaldo Acuña Ortega
Format: Article
Language:English
Published: Universidad de Costa Rica 2013-04-01
Series:Revista de Matemática: Teoría y Aplicaciones
Online Access:https://revistas.ucr.ac.cr/index.php/matematica/article/view/8480