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

 

שמור ב:
מידע ביבליוגרפי
מחבר: Acuña Ortega, Osvaldo
פורמט: artículo original
סטטוס:Versión publicada
Fecha de Publicación:2012
תיאור: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.  
País:Portal de Revistas UCR
מוסד:Universidad de Costa Rica
Repositorio:Portal de Revistas UCR
שפה:Español
OAI Identifier:oai:portal.ucr.ac.cr:article/1336
גישה מקוונת:https://revistas.ucr.ac.cr/index.php/matematica/article/view/1336
מילת מפתח:Topoi
k-finite objects
natural numbers
teoría de topos
objetos k-finitos
números naturales