 #1
Math Amateur
Gold Member
MHB
 3,998
 48
I am reading Steve Awodey's book: Category Theory (Second Edition) and am focused on Chapter 1: Categories
I need some help in order to make a meaningful start on Awodey Exercise 5, Chapter 1 Awodey Exercise 5, Chapter 1 reads as follows:
View attachment 8392
I am unable to make a meaningful start on this exercise ... can someone please help me to formulate a solution to the above exercise ...I would like to utilise the exact form of Awodey's definition of functor (see below) in the solution to the exercise ...
Help will be much appreciated ...
Peter=======================================================================================
It may well help readers of the above post to have access to Awodey's definition of a slice category ... so I am providing the same ... as follows:View attachment 8393
View attachment 8394
It may also help readers of the above post to have access to Awodey's definition of a functor ... so I am providing the same ... as follows:
View attachment 8395
View attachment 8396
Hope that helps ...
Peter
I need some help in order to make a meaningful start on Awodey Exercise 5, Chapter 1 Awodey Exercise 5, Chapter 1 reads as follows:
View attachment 8392
I am unable to make a meaningful start on this exercise ... can someone please help me to formulate a solution to the above exercise ...I would like to utilise the exact form of Awodey's definition of functor (see below) in the solution to the exercise ...
Help will be much appreciated ...
Peter=======================================================================================
It may well help readers of the above post to have access to Awodey's definition of a slice category ... so I am providing the same ... as follows:View attachment 8393
View attachment 8394
It may also help readers of the above post to have access to Awodey's definition of a functor ... so I am providing the same ... as follows:
View attachment 8395
View attachment 8396
Hope that helps ...
Peter
Attachments

Awodey  Exercise 5, Ch 1 ... .png4.8 KB · Views: 67

Awodey  1  Slice Category, Section 1.6, No. 4 ... PART 1.png13.7 KB · Views: 95

Awodey  2  Slice Category, Section 1.6, No. 4 ... PART 2 ... .png28.7 KB · Views: 88

Awodey  1  Definition 1.2 Functor ... ... PART 1 ... .png5 KB · Views: 87

Awodey  2  Definition 1.2 Functor ... ... PART 2 .png14.8 KB · Views: 81