A surjection f : A \to B of \mathcal{A} is essential if for every proper subobject A' \subset A we have f(A') \not= B. Some lemmas about this notion.
確定! 回上一頁