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