Finite objects in a locos Original Research Article

Listable objects in a locos are those which have a (finite) list of elements. Their full subcategory forms a 2-valued topos satisfying the axiom of choice. Listable objects are isomorphic to finite cardinals.