[maxbendick]

Category theory, type theory, and HoTT are all a joy! Worth checking out, especially if you didn't enjoy math in school.