Talk:Introduction to Category Theory/Equivalence of categories

Categories are defined in lesson 4. This section seems to be in the wrong spot.