Category Theory and Type Theory end up feeling like the exact same subject viewed through different leneses. Bob Harper calls this concept Trinitarianism throwing Logic in as the third arm.

I highly recommend studying Category Theory if you're interested in those kinds of topics. I think it's wonderfully enlightening for programming (although standard disclaimed applies that it's not necessary for programming).

I recommend that paper, and I also recommend reading Conceptual Mathematics by Lawvere and Schanuel. It's easily my favorite book for getting into "how to think with CT".