1409-2433 1409-2433 S1409-24332013000100006 00 01 2013 00 01 2013 20 1 79 94

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

About  the  construction  of a free monoid with identity on a topos E  with the  object  of natural  numbers

Osvaldo Acuña Ortega*+

*Dirección para correspondencia
Resumen

Damos  una  construcción  del monoide  libre con identidad  sobre un objeto X, M (X ).  Donde ]]>


Palabras  clave: Teoría de topos, objetos K–finitos, números naturales.

Abstract

We proved  that the free monoid with identify in X  is
]]>


Keywords: Topoi, K–finite objects, natural numbers.

Mathematics Subject Classification: 03G30, 18B25.

Ver contenido disponible en pdf

Referencias ]]>
[1]  Acuña–Ortega,  O.  (1977)  Finiteness in  Topoi,  Ph.  D. Dissertation, Wesleyan University, Middletown, CT.         [ Links ]

[2]  Acuña–Ortega, O. (2011) “Una  nota sobre objetos k − f initos en un topos  Booleano  con el objeto de los números naturales”, Revista  de Matemática:  Teoría y Aplicaciones  19(2):  239–245.         [ Links ]

[3]  Acuña–Ortega, O.; Linton, F.E.J. (1979) “Finiteness and decidability I”,  in:   Applications  of Sheaves,  Lecture  Notes  in Mathematics  753, Springer–Verlag, New York:  80–100.         [ Links ]
]]> *Correspondencia a:
Osvaldo Acuña Ortega. CIMPA  & Escuela  de Matemática, Universidad de Costa Rica, 2060 San José, Costa Rica.
* CIMPA  & Escuela  de Matemática, Universidad de Costa Rica, 2060 San José, Costa Rica.
Received: 17/May/2012; Revised: 4/Dec/2012; Accepted:  5/Dec/2012
]]> 1977 2011 19 2 2 239-245 1979 80-100