end in nLab enriched categoryおよびendの例として、距離空間とその間の射の距離を考える。 V=\R_>0 \cup {\infty}を正の実数と無限大からなる順序集合とし、それを圏と思う。さらに足し算によりmonoidal categoryとみなす。unitは0である。射の向きはx >= …