A Homological Proof of P != NP: Computational Topology via Categorical Framework | Dark Hacker News