Title of article
Finite objects in a locos Original Research Article
Author/Authors
C. B. Jay، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1997
Pages
15
From page
169
To page
183
Abstract
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.
Journal title
Journal of Pure and Applied Algebra
Serial Year
1997
Journal title
Journal of Pure and Applied Algebra
Record number
817724
Link To Document