Using the definition given below, I wonder whether we can deduce that for each object A in C',(adsbygoogle = window.adsbygoogle || []).push({});

the identity for A in C' coincides with the identity for A in C.

Let C' and C be two categories which satisfies that

(i)each objects in C' belongs to C

(ii)each hom-set in C' is contained in the corresponding hom-set in C.

(iii)each composition in C' is the restriction of that in C .

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

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

# Category and Subcategory

Loading...

Similar Threads - Category Subcategory | Date |
---|---|

I What is the equivalent of a group in category theory? | Nov 7, 2017 |

I Categories of Pointed Sets - Aluffi, Example 3.8 | May 3, 2016 |

Trying To Learn Category Theory | Dec 31, 2015 |

Category-theoretic proof of free groups | Mar 20, 2014 |

Can a subcategory be an ideal? | Nov 12, 2011 |

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