Revista de Matemática: Teoría y Aplicaciones ISSN Impreso: 1409-2433 ISSN electrónico: 2215-3373

OAI: https://revistas.ucr.ac.cr/index.php/matematica/oai
About the construction of a free monoid with identity on a topos E with the object of natural numbers
PDF (Español (España))

Keywords

Topoi
K–finite objects
natural numbers
Teoría de topos
objetos K–finitos
números naturales

How to Cite

Acuña Ortega, O. (2013). About the construction of a free monoid with identity on a topos E with the object of natural numbers. Revista De Matemática: Teoría Y Aplicaciones, 20(1), 79–94. https://doi.org/10.15517/rmta.v20i1.8480

Abstract

We proved that the free monoid with identify in X is

M(X) = {R ∈ ΩN×N×X/R es funcional y ∃n∈N dom R = [n]} −−iX→ ΩN×N×X .

https://doi.org/10.15517/rmta.v20i1.8480
PDF (Español (España))

References

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: Teoría y Aplicaciones 19(2): 239–245.

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.

Comments

Downloads

Download data is not yet available.