Fixed AM Proposition 1.1

I fixed it per Massy's recommendations. I also added the start of Rotman
Exercise 1.2.i to help me get better at working with/understanding
functors.