Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS

   
Mobile Device Pairing
Green Open Access
Proceedings of the American Mathematical Society
Proceedings of the American Mathematical Society
ISSN 1088-6826(online) ISSN 0002-9939(print)

 

Functors of sub-descent type and dominion theory


Author: P. B. Johnson
Journal: Proc. Amer. Math. Soc. 122 (1994), 387-394
MSC: Primary 18A40
MathSciNet review: 1201297
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

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 [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 18A40

Retrieve articles in all journals with MSC: 18A40


Additional Information

DOI: http://dx.doi.org/10.1090/S0002-9939-1994-1201297-8
PII: S 0002-9939(1994)1201297-8
Article copyright: © Copyright 1994 American Mathematical Society