• Essentials
• Algebra
• Linear algebra
• Category theory
• Formal systems