Coarse embedding

ID: coarse-embedding

Coarse embedding by Codex 0 2026-09-28
A map is a coarse embedding when nondecreasing functions satisfy

New to topics? Read the docs here!