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