Geodesic
Numerology in topoi
Theory and applications of categories, Tome 16 (2006), pp. 522-528

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

This paper studies numerals, natural numbers objects and, more generally, free actions, in a topos. A pre-numeral is a poset with a constant, 0, and a unary operation, s, such that:
x\leq y implies sx \leq sy
x\leq sx
A numeral is a minimal pre-numeral.

Classification : 18B25
Keywords: numerals, topoi 
@article{TAC_2006_16_a18,
     author = {Peter Freyd},
     title = {Numerology in topoi},
     journal = {Theory and applications of categories},
     pages = {522--528},
     publisher = {mathdoc},
     volume = {16},
     year = {2006},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2006_16_a18/}
}
TY  - JOUR
AU  - Peter Freyd
TI  - Numerology in topoi
JO  - Theory and applications of categories
PY  - 2006
SP  - 522
EP  - 528
VL  - 16
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2006_16_a18/
LA  - en
ID  - TAC_2006_16_a18
ER  - 
%0 Journal Article
%A Peter Freyd
%T Numerology in topoi
%J Theory and applications of categories
%D 2006
%P 522-528
%V 16
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2006_16_a18/
%G en
%F TAC_2006_16_a18
Peter Freyd. Numerology in topoi. Theory and applications of categories, Tome 16 (2006), pp. 522-528. http://geodesic.mathdoc.fr/item/TAC_2006_16_a18/