Document Type

Article

Publication Date

1-1-1985

Abstract

This note addresses the following question. In a category C, with a full subcategory X which is reflective with each reflection morphism an embedding, and a C-object A: when does each X-object containing A contain the X-reflection of A? We prove, under mild hypotheses on C, the equivalence of (1) The reflection morphism for A is an essential embedding, (2) Any 'minimal' embedding of A in an X-object is the X-reflection of A, (3) 'Always' is the answer to the question above, (4) The reflection functor C → X carries embeddings of A to embeddings. We note that these conditions hold for every A, for every X, if, in C, every epic embedding is essential, or if C has the Amalgamation Property. Various examples are discussed. © 1985.

Publication Source (Journal or Book title)

Journal of Pure and Applied Algebra

First Page

27

Last Page

32

Download
COinS