Nearness spaces
Herrlich という人が 1974 年に出した概念。カテゴリ的には森田先生の generalized uniform spaces と同値だという。直接的には proximity spaces を一般化した概念だが,それがほとんど直接 uniform spaces と関係するところが面白い。
Herrlich という人が 1974 年に出した概念。カテゴリ的には森田先生の generalized uniform spaces と同値だという。直接的には proximity spaces を一般化した概念だが,それがほとんど直接 uniform spaces と関係するところが面白い。