Identity in Subcategory C': Does it Coincide with Identity in Category C?

  • Level: Graduate 
  • Thread starter Thread starter SVD
  • Start date Start date
Join the discussion
Registration is free. Start your own thread to ask a follow-up.
1 reply · 2K views
SVD
Messages
5
Reaction score
0
Using the definition given below, I wonder whether we can deduce that for each object A in C',
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 news on Phys.org
No. Let C and C' consist out of exactly one object A. Let

[tex]Hom_{C^\prime}(A,A)=\{a\}~\text{and}~Hom_C(A,A)=\{a,b\}[/tex]

with

[tex]a\circ a = a\circ b=b\circ a=a~\text{and}~b\circ b=b[/tex]