synthetic topology
