Point-set topology as diagram chasing computations: Lifting property as negation

Misha Gavrilovich

We observe that some natural mathematical definitions are lifting properties relative to simplest counterexamples, namely the definitions of surjectivity and injectivity of maps, a…