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