Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Can a subcategory be an ideal?

  1. Nov 12, 2011 #1
    Consider a category C with objects ob(C) and morphisms hom(C). Suppose there is a subcategory D such that ob(D)=ob(C) but hom(D) is a subset of hom(C), with the property that the product of two morphisms in hom(C), f*g, is an element of hom(D) if either f or g is in hom(D).

    This subcategory is basically acting like an "ideal" in algebra, but I'm not sure what this thing is called in the context of categories. I know nothing more about category theory than the ability to phrase the above question.

    Does anyone know what to call it?
  2. jcsd
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?
Draft saved Draft deleted

Similar Discussions: Can a subcategory be an ideal?
  1. Prime Ideals (Replies: 1)