距離空間の圏

ウィキペディア

距離空間の圏

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/10/19 22:29 UTC 版)

数学の一分野としての圏論において距離空間の圏（きょりくうかんのけん、英: category of metric spaces）Met は、すべての距離空間を対象とし、すべての非拡大写像（計量写像, short map）を射とする圏である。二つの非拡大写像の合成は再び非拡大であるから、確かにこれは圏を定めている。この圏を初めて考察したのは Isbell (1964) である。