Misha Gavrilovich: Point-set topology as diagram chasing computations

M. Gavrilovich, Point-set topology as diagram chasing computations, The De Morgan Gazette 5 no. 4 (2014), 23-32.

Abstract:

We observe that some natural mathematical definitions are lifting properties relative to simplest counterexamples, namely the definitions of surjectivity and injectivity of maps, as well as of being connected, separation axioms (T_0) and (T_1) in topology, having dense image, induced (pullback) topology, and every real-valued function being bounded (on a connected domain).

We also offer a couple of brief speculations on cognitive and AI aspects of this observation, particularly that in point-set topology some arguments read as diagram chasing computations with finite preorders.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s