A note on $k$-finite objects in a boolean topos with the natural numbers object
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.
| Main Author: | Acuña Ortega, Osvaldo |
|---|---|
| Format: | Artículo |
| Language: | Español |
| Published: |
2015
|
| Online Access: |
http://revistas.ucr.ac.cr/index.php/matematica/article/view/1336 https://hdl.handle.net/10669/13020 |
| Summary: |
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. |
|---|