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).(adsbygoogle = window.adsbygoogle || []).push({});

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?

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Can a subcategory be an ideal?

Can you offer guidance or do you also need help?

Draft saved
Draft deleted

Loading...

Similar Threads - subcategory ideal | Date |
---|---|

I Jacobson Radical and Right Annihilator Ideals ... | Feb 7, 2017 |

I Simple Modules and Right Annihilator Ideals ... | Feb 6, 2017 |

I Simple Modules and Maximal Right Ideals ... | Feb 4, 2017 |

I Finitely Generated Ideals and Noetherian Rings | Sep 22, 2016 |

Category and Subcategory | Oct 5, 2012 |

**Physics Forums - The Fusion of Science and Community**