Structures and type classes

6. Structures and type classes#

In this lecture we shall learn about structures and type classes. These are used to build hierarchies of mathematical structures.

We shall again draw from Mathematics in Lean, which covers these topics in “Chapter 6 - Structures” and “Chapter 7 – Hierarchies”.

6.1. Reading material#

Mathematics in Lean:

6.2. Homework#

  • Read the above reading material and solve the exercises.

6.3. Video and class notes#

Contents