Math Amateur
Gold Member
MHB
- 3,920
- 48
I am reading Steve Awodey's book: Category Theory (Second Edition) and am focused on Section 1.4 Examples of Categories ...
I need some further help in order to fully understand some aspects of the definition of the category Rel ... ...
The definition of the category Rel ... reads as follows:View attachment 8387
I am having trouble fully understanding the definition of the identity arrow ...I will use an example to illustrate my problems ...Let the category $$\text{Rel}_1$$ consist of two sets $$A, B$$ where
$$A = \{ 1, 2, 3 \}$$
$$B = \{ 3, 4 \} $$
so ... two arrows, for example, may be $$f_1 : A \to B$$ where $$f_1 = \{ (1, 3), (1, 4), (3, 4) \}$$
and $$f_2 : A \to B$$ where $$f_2 = \{ (1, 3) \}$$
Now .. consider $$f_3 : A \to A$$ where $$f_3 = \{ (1, 1) \}$$
and $$f_4 : A \to A$$ where $$f_4 = \{ (2, 2) \}$$
and $$f_5 : A \to A$$ where $$f_5 = \{ (3, 3) \}$$ ... BUT ...... according to Awodey's definition these arrows are all equal to the identity arrow of A ...... the identity arrow is meant to be unique ... ?Does this mean $$f_3 = f_4 = f_5$$ ... ? ... but why and how are they equal ...
Can someone please clarify the above ... ?
Peter
I need some further help in order to fully understand some aspects of the definition of the category Rel ... ...
The definition of the category Rel ... reads as follows:View attachment 8387
I am having trouble fully understanding the definition of the identity arrow ...I will use an example to illustrate my problems ...Let the category $$\text{Rel}_1$$ consist of two sets $$A, B$$ where
$$A = \{ 1, 2, 3 \}$$
$$B = \{ 3, 4 \} $$
so ... two arrows, for example, may be $$f_1 : A \to B$$ where $$f_1 = \{ (1, 3), (1, 4), (3, 4) \}$$
and $$f_2 : A \to B$$ where $$f_2 = \{ (1, 3) \}$$
Now .. consider $$f_3 : A \to A$$ where $$f_3 = \{ (1, 1) \}$$
and $$f_4 : A \to A$$ where $$f_4 = \{ (2, 2) \}$$
and $$f_5 : A \to A$$ where $$f_5 = \{ (3, 3) \}$$ ... BUT ...... according to Awodey's definition these arrows are all equal to the identity arrow of A ...... the identity arrow is meant to be unique ... ?Does this mean $$f_3 = f_4 = f_5$$ ... ? ... but why and how are they equal ...
Can someone please clarify the above ... ?
Peter
Attachments
Last edited: