Math 8174 Algebraic Theories (2026 Spring)