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
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

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