I have little background in Programming in functional languages and wanted to learn type theory. I started with taking Homotopy type theory class Online videos of Robert Harper. I thought rather than Going Slow I could just start there as this class was also meant for the people with no background in type theory.
I'm computer programmer and too much math drains my brain.
The thing I found very interesting was Category theory. I never wanted to learn that but looks i found that so elegant. Now i want to go Slow starting for base of leaning category theory and Type theory. I learn things in fragments and also understood many concepts. But Not too clear.
I know this question have been answered before in respect to category theory. But kindly suggest me, from the perspective of a computer programmer, the starting point of both these Theories and Books / articles / Blogs to start as there are too many of them present. So that I could converge understanding from both fields perspective.