Finite cardinals in general topoi (Q1103042)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Finite cardinals in general topoi
scientific article

    Statements

    Finite cardinals in general topoi (English)
    0 references
    1988
    0 references
    In a topos with a natural number object the full subcategory of finite cardinals (as defined by J. Bénabou) is a subtopos. With a natural number object, K-finite objects (in the name of Kuratowski) have been investigated and it has been found out that the full subcategory of K- finite objects is not in general a topos. The aim of the paper is to define a notion of finite cardinal which coincides with the former notion if there is a natural number object in the topos and which in a general topos gives a subtopos satisfying the axiom of choice. These finite cardinals are K-finite objects which satisfy moreover the following condition: there exists a total order on the object which is a simple well ordering as well as its reverse order.
    0 references
    finiteness
    0 references
    natural number object
    0 references
    finite cardinals
    0 references
    axiom of choice
    0 references
    K- finite objects
    0 references

    Identifiers