×

zbMATH — the first resource for mathematics

When is \(\Omega\) a cogenerator in a topos? (English) Zbl 0311.18006

MSC:
18D15 Closed categories (closed monoidal and Cartesian closed categories, etc.)
18A15 Foundations, relations to logic and deductive systems
18F20 Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
PDF BibTeX XML Cite
Full Text: Numdam EuDML
References:
[1] F. Borceux and G.M. Kelly , A notion of limit for enriched categories, Bul. Austr . Math. Soc. 12 ( 1975 ), 49 - 72 . MR 369477 | Zbl 0329.18011 · Zbl 0329.18011
[2] S. Eilenberg and G.M. Kelly , Closed categories , Proc. Conf. on Cat. Alg. , La Jolla ( 1965 ). MR 225841 | Zbl 0192.10604 · Zbl 0192.10604
[3] S. Eilenberg and J.C. Moore , Adjoint functors and triples , Ill. J. of Math. V - 2 ( 1965 ), 381 - 398 . MR 184984 | Zbl 0135.02103 · Zbl 0135.02103
[4] P. Freyd , Some aspects of topoi, Bull. of the Austr . Math. Soc. 7 - 1 ( 1972 ), 1 - 76 . MR 396714 | Zbl 0252.18001 · Zbl 0252.18001
[5] W. Mitchell , Boolean topoi and the theory of sets , J. Pure and App. Alg. (Oct. 1972 ). MR 319757 | Zbl 0245.18001 · Zbl 0245.18001
[6] M. Tierney , Sheaf theory and the continuum hypothesis , Proc. of the Halifax Conf. on Category theory, intuitionistic Logic and Algebraic Geometry, Springer , Lect. Notes in Math. 274 ( 1973 ). MR 373888 | Zbl 0244.18005 · Zbl 0244.18005
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.