- #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 8, Chapter 1 Awodey Exercise 8, Chapter 1 reads as follows:View attachment 8388
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 preorder and its consideration as a category ... so I am providing the same ... as follows:View attachment 8389It 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 8390
View attachment 8391Hope that helps ...
Peter
I need some help in order to make a meaningful start on Awodey Exercise 8, Chapter 1 Awodey Exercise 8, Chapter 1 reads as follows:View attachment 8388
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 preorder and its consideration as a category ... so I am providing the same ... as follows:View attachment 8389It 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 8390
View attachment 8391Hope that helps ...
Peter
Attachments
-
Awodey - Exercise 8, Ch 1 ... .png10 KB · Views: 113
-
Awodey - Preorder as a category ... Section 1.4, No. 7, page 9 ... .png13.6 KB · Views: 106
-
Awodey - 1 - Definition 1.2 Functor ... ... PART 1 ... .png5 KB · Views: 105
-
Awodey - 2 - Definition 1.2 Functor ... ... PART 2 .png14.8 KB · Views: 94