K-finite decidable objects and finite cardinals in an arbitrary topos
dc.creator | Acuña Ortega, Osvaldo | |
dc.date.accessioned | 2015-05-19T19:01:04Z | |
dc.date.available | 2015-05-19T19:01:04Z | |
dc.date.issued | 2012-03-08 00:00:00 | |
dc.date.updated | 2015-05-19T19:01:04Z | |
dc.description.abstract | In an elemetary topos $\varepsilo$, we prove that the class of K-finite decidable objects is the same to the class of finite cardinals in E if and only if every K-finite decidable object X such that $X \longrightarrow 1$ is epic, then $1 \longrightarrow X $ is split epic. | |
dc.description.abstract | Probamos en un topo arbitrario que la clase de los objetos K-finitos decidibles es igual a la clase de los cardinales finitos de E si y solo si todo X K-finito decidible tal que un epimorfismo si y solo si es tal que tiene una sección | |
dc.format.extent | 1-6 | |
dc.identifier.citation | http://revistas.ucr.ac.cr/index.php/matematica/article/view/2101 | |
dc.identifier.doi | 10.15517/rmta.v19i1.2101 | |
dc.identifier.issn | ||
dc.identifier.uri | https://hdl.handle.net/10669/13003 | |
dc.language.rfc3066 | es | |
dc.relation.ispartof | Revista de Matemática: Teoría y Aplicaciones Vol. 19 Núm. 1 2012 | |
dc.title | K-finite decidable objects and finite cardinals in an arbitrary topos | |
dc.title | Objetos K-finitos decidibles y cardinales finitos en un topos arbitrario | |
dc.type | artículo original |