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

• Acuña Ortega, Osvaldo ^[1]
  1. [1] Universidad de Costa Rica

     Universidad de Costa Rica

     Hospital, Costa Rica

     
• Localización: Revista de Matemática: Teoría y Aplicaciones, ISSN 2215-3373, ISSN-e 2215-3373, Vol. 20, Nº. 1, 2013, págs. 79-94
• Idioma: español
• DOI: 10.15517/rmta.v20i1.8480
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

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

  • English

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

• Referencias bibliográficas
  • Acuña–Ortega, O. (1977) Finiteness in Topoi, Ph. D. Dissertation, Wesleyan University, Middletown, CT.
  • Acuña–Ortega, O. (2011) “Una nota sobre objetos k − finitos en un topos Booleano con el objeto de los números naturales”, Revista de Matemática:...
  • Acuña–Ortega, O.; Linton, F.E.J. (1979) “Finiteness and decidability I”, in: Applications of Sheaves, Lecture Notes in Mathematics 753, Springer–Verlag,...