Hacker News Reader

Sorry, but could anyone share some background (reading, links, etc.) on set vs. category theory as applied type systems?

Mostly about proof assistants, but type systems are fundamentally related https://mathoverflow.net/questions/376839/what-makes-depende...