Taming infinity: Fréchet and compactness | Synapse