...I am good with theory. I have a PhD in Pure Mathematics, with a specialization in Topology. I have taken basic logic courses and done some self-study, not only of logic but of category theory and last summer I started teaching myself HoTT. (read more)