Because it’s highly effective. You just slap a topology on things and you get an effective type theory that gets mostly good results which allow you to elide m

Because it’s highly effective. You just slap a topology on things and you get an effective type theory that gets mostly good results which allow you to elide most of the complexity. This in turn allows you to reason about more complex things at a loss of fidelity — what we call abstraction. If you think being able to recognize a forest rather than be overwhelmed by the number of leaves on trees is useful, then you understand why humans do that.