lifting

• Functor
• Understanding contravariance
• Lesson 2: More common functors
• Lesson 1: Introduction to Mapping
• Lesson 3: Laws and orders