A Homological Proof of P != NP: Computational Topology via Categorical Framework