Una nota sobre objetos -finitos en un topos booleano con el objeto de los números naturales

• 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º. 2, 2012
• Idioma: español
• Títulos paralelos:
  • A note on $k$-finite objects in a boolean topos with the natural numbers object
• Enlaces
  • Texto completo
• Resumen
  • español

    Probamos que todo objeto -finito en un topos booleano con el objeto de los números naturales es internamente el cociente de algún cardinal finito.Palabras clave: teoría de topos, objetos -finitos, números naturales.Mathematics Subject Classification: 03G30, 18B25.

  • English

    We prove that every $k$-finite object in a boolean topos with nat-ural number object is internally the quotient of a natural number object.Keywords: Topoi, $k$-finite objects, natural numbers.Mathematics Subject Classification: 03G30, 18B25.