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.
Email your librarian or administrator to recommend adding this journal to your organisation's collection.
* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.
Usage data cannot currently be displayed