Author:
Johnstone P. T.,Linton F. E. J.
Abstract
It has been known for some time ((6), p. 270; (4), theorem 9·19) that if is a Boolean topos, then the full subcategory Kf of Kuratowski-finite objects in is again a topos. For a non-Boolean topos , however, Kf need not be a topos, as can be seen when is the Sierpinski topos ((1), example 7·1); on the other hand, two other full subcategories of , coinciding with Kf when is Boolean, suggest themselves as candidates for a subtopos of finite objects. Of one of these, the category dKf of decidable K-finite objects in , the Main Theorem of (1) asserts that it is always a (Boolean) topos. The other is the category sKf of -subobjects of K-finite objects. The inclusionsdKf ⊆ Kf ⊆ sKf are clear.are clear.
Publisher
Cambridge University Press (CUP)
Reference7 articles.
1. (1) Acuña-Ortega O. and Linton F. E. J. Finiteness and decidability: I. Proc. L.M.S. Durham symposium on applications of sheaf theory (Springer Lecture Notes in Mathematics, to appear).
2. Some topos theoretic concepts of finiteness
3. Subobject Classifiers and Classes of Subfunctors.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A universal characterization of the double powerlocale;Theoretical Computer Science;2004-05
2. On the structure of categories of coalgebras;Theoretical Computer Science;2001-06
3. Decidable (= separable) objects and morphisms in lextensive categories;Journal of Pure and Applied Algebra;1996-08
4. Finite cardinals in general topoi;Journal of Pure and Applied Algebra;1988-02
5. Quotients of decidable objects in a topos;Mathematical Proceedings of the Cambridge Philosophical Society;1983-05