Resumen de Objetos K-finitos y decidibilidad

Osvaldo Acuña

• español

  Se estudian los conceptos de objetos k-finitos y el concepto de objeto decidible en un topos elemental. Se prueban algunos resultados sobre objetos k-finitos y objetos decidibles. 

• English

  We study the k-finite and decidable objects in an elementary topos. We prove some results concerning k-finite and decidable objects.