A arxiv.org A Homological Proof of P != NP: Computational Topology via Categorical Framework 12 points rescrv 1 year ago 21 comments