Category theory and how it gives algebraic approaches to mathematics in a many-valued setting (topoi, quasitopoi, fuzzy sets, quantum logic, probability). Non-classical logic.