[hkopp]

I think it is due to the homotopy type theory book. There is an elegant connection between category theory and type theory. I guess most of the people submitting category theory to hacker news (or any graduate math) just do it to flex and seem clever.

[lo_zamoyski]

Actually, category theory, type theory, and proof theory.