Functors of sub-descent type and dominion theory
HTML articles powered by AMS MathViewer
- by P. B. Johnson PDF
- Proc. Amer. Math. Soc. 122 (1994), 387-394 Request permission
Abstract:
Necessary and sufficient conditions are given for the Eilenberg-Moore comparison functor $\Phi$ arising from a functor U (having a left adjoint) to be a Galois connection in the sense of J. R. Isbell, in which case the functor U is said to be of subdescent type. These conditions, when applied to a contravariant hom-functor $U = {\mathbf {C}}( - ,B):{{\mathbf {C}}^{{\text {op}}}} \to {\mathbf {Set}}$, read like a kind of functional completeness axiom for the object B. In order to appreciate this result, it is useful to consider the full subcategory ${\mathbf {dom}_B} \subset {\mathbf {C}}$ of so-called B-dominions, consisting of certain canonically arising regular subobjects of powers of the object B. The functor $U = {\mathbf {C}}( - ,B)$ is of subdescent type if and only if the object B is a regular cogenerator for the category ${\mathbf {dom}_B}$, in which case ${\mathbf {dom}_B}$ is the reflective hull of B in C and, moreover, the category ${\mathbf {dom}_B}$ admits a Stone-like representation as (being contravariantly equivalent, via the comparison functor $\Phi$, to) a full, reflective subcategory of the category of algebras for the triple in Set induced by the functor U.References
- H. Applegate and M. Tierney, Iterated cotriples, Reports of the Midwest Category Seminar, IV, Lecture Notes in Mathematics, Vol. 137, Springer, Berlin, 1970, pp. 56–99. MR 0265429
- Michael Barr and Charles Wells, Toposes, triples and theories, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 278, Springer-Verlag, New York, 1985. MR 771116, DOI 10.1007/978-1-4899-0021-0 J. Beck, Triples, algebras, and cohomology, Ph.D. Thesis, Columbia Univ., New York, NY, 1967.
- John R. Isbell, Epimorphisms and dominions, Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965) Springer, New York, 1966, pp. 232–246. MR 0209202
- John R. Isbell, General functorial semantics. I, Amer. J. Math. 94 (1972), 535–596. MR 396718, DOI 10.2307/2374638
- P. B. Johnson, $\kappa$-Lindelöf locales and their spatial parts, Cahiers Topologie Géom. Différentielle Catég. 32 (1991), no. 4, 297–313 (English, with French summary). MR 1165826 —, Nice separation axioms, Applied Categorical Structures (to appear).
- F. E. J. Linton, Applied functorial semantics. II, Sem. on Triples and Categorical Homology Theory (ETH, Zürich, 1966/67), Springer, Berlin, 1969, pp. 53–74. MR 0249485
- James J. Madden, $\kappa$-frames, Proceedings of the Conference on Locales and Topological Groups (Curaçao, 1989), 1991, pp. 107–127. MR 1100510, DOI 10.1016/0022-4049(91)90011-P
- J. Madden and J. Vermeer, Lindelöf locales and realcompactness, Math. Proc. Cambridge Philos. Soc. 99 (1986), no. 3, 473–480. MR 830360, DOI 10.1017/S0305004100064410
Additional Information
- © Copyright 1994 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 122 (1994), 387-394
- MSC: Primary 18A40
- DOI: https://doi.org/10.1090/S0002-9939-1994-1201297-8
- MathSciNet review: 1201297