Hostname: page-component-8448b6f56d-c47g7 Total loading time: 0 Render date: 2024-04-24T09:33:13.959Z Has data issue: false hasContentIssue false

On the ordered set of reflective subcategories

Published online by Cambridge University Press:  17 April 2009

G. M. Kelly
Affiliation:
Pure Mathematics Department, University of Sydney, New South Wales, 2006, Australia.
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Given a category A, we consider the (often large) set Ref A of its reflective (full, replete) subcategories, ordered by inclusion. It is known that, even when A is complete and cocomplete, wellpowered and cowellpowered, the intersection of two reflective subcategories need not be reflective. Supposing that A admits (i) small limits and (ii) arbitrary (even large) intersections of strong subobjects, we prove that an infimum ∧iCi in Ref A must necessarily be the intersection ∩iCi. Accordingly Ref A is not in general, even for good A, a complete lattice. We show, however, under the same conditions on A, that Ref A does admit small suprema ∨iCi, given by the closure in A of the union ∪iCi under the limits of type (i) and (ii) above.

Type
Research Article
Copyright
Copyright © Australian Mathematical Society 1987

References

[1]Adámek, J. and Rosický, J., “Intersections of reflective subcategories”, (in preparation).Google Scholar
[2]Borceux, F. and Kelly, G.M., “On locales of localizations”, J. Pure Appl. Algebra, 46 (1987), (to appear).CrossRefGoogle Scholar
[3]Börger, R., Tholen, W., Wischnewsky, M.B. and Wolff, H., “Compact and hypercomplete categories”, J. Pure Appl. Algebra 21 (1981), 129144.CrossRefGoogle Scholar
[4]Cassidy, C., Hébert, M. and Kelly, G.M., “Reflective subcategories, localizations and factorization systems”, J. Austral. Math. Soc. Ser. A. 38 (1985), 287329; Corrigenda Ibid 41 (1986), 286.CrossRefGoogle Scholar
[5]Freyd, P.J. and Kelly, G.M., “Categories of continuous functors, I”, J. Pure Appl. Algebra 2 (1972), 169191.CrossRefGoogle Scholar
[6]Im, G.M. and Kelly, G.M., “Some remarks on conservative functors with left adjoints”, J. Korean Math. Soc. 23 (1986), 1933.Google Scholar
[7]Kelly, G.M., “Monomorphisms, epimorphisms, and pull-backsJ. Austral. Math. Soc. 9 (1969), 124142.CrossRefGoogle Scholar