A note on k–finite objects in a boolean topos with the natural numbers object

 

Kaydedildi:
Detaylı Bibliyografya
Yazar: Acuña Ortega, Osvaldo
Materyal Türü: artículo original
Durum:Versión publicada
Yayın Tarihi:2012
Diğer Bilgiler: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.  
Ülke:Portal de Revistas UCR
Kurum:Universidad de Costa Rica
Repositorio:Portal de Revistas UCR
Dil:Español
OAI Identifier:oai:portal.ucr.ac.cr:article/1336
Online Erişim:https://revistas.ucr.ac.cr/index.php/matematica/article/view/1336
Anahtar Kelime:Topoi
k-finite objects
natural numbers
teoría de topos
objetos k-finitos
números naturales