Finite objects in a locos

[摘要] 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. (C) 1997 Elsevier Science B.V.

[发布日期] 1997-03-28