Objetos K-finitos decidibles y cardinales finitos en un topos arbitrario

• 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. 19, Nº. 1, 2012, págs. 1-6
• Idioma: español
• DOI: 10.15517/rmta.v19i1.2101
• Títulos paralelos:
  • K-finite decidable objects and finite cardinals in an arbitrary topos
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    Probamos en un topo arbitrario que la clase de los objetos K-finitos decidibles es igual a la clase de los cardinales finitos de E si y solo si todo X K-finito decidible tal que un epimorfismo si y solo si es tal que tiene una sección

  • English

    In an elemetary topos $\varepsilo$, we prove that the class of K-finite decidable objects is the same to the class of finite cardinals in E if and only if every K-finite decidable object X such that $X \longrightarrow 1$ is epic, then $1 \longrightarrow X $ is split epic.

• Referencias bibliográficas
  • Acuña-Ortega, O. (1986) “An exact coexact characterization of the finite cardinals”, Journal of Pure and Applied Algebra 43(3): 211–233.
  • Acuña-Ortega, O. (1977) Finiteness in Topoi, Ph. D. Dissertation, Wesleyan University, Middletown, CT.
  • Acuña-Ortega, O. (1986) “Sobre una definición de cardinales funitos en un topos arbitrario”, Revista Colombiana de Matemáticas 20(3–4):
  • Acuña-Ortega, O.; Linton, F.E.J. (1979) “Finiteness and decidability I”, in: Applications of Sheaves, Lecture Notes in Mathematics 753, Springer–Verlag,...
  • Benabou, J. (s.f.) “Definability, finiteness, projectivity and choice”, (preliminary version), to appear.