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 ∈ ΩN×N×X/R es funcional y ∃n∈N dom R = [n]} −−iX→ ΩN×N×X .
Autor principal: | Acuña Ortega, Osvaldo |
---|---|
Formato: | Online |
Idioma: | spa |
Publicado: |
Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA)
2013
|
Acceso en línea: | https://revistas.ucr.ac.cr/index.php/matematica/article/view/8480 |
Ejemplares similares
-
Una nota sobre objetos k–finitos en un topos booleano con el objeto de los
por: Acuña Ortega, Osvaldo
Publicado: (2012) -
Objetos K-finitos decidibles y cardinales finitos en un topos arbitrario
por: Acuña Ortega, Osvaldo
Publicado: (2012) -
Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elemental
por: Acuña Ortega, Osvaldo
Publicado: (2019) -
Algunos aspectos de morfismos K-Finitos en topos elementales
por: Acuña, Osvaldo
Publicado: (1995) -
Objetos K-finitos y decidibilidad
por: Acuña Ortega, Osvaldo
Publicado: (2014)