I'm largely a self-taught math lover, and would like to get more into type-theory, set-theory, and category theory. Are there any good resources available for people to get started?