nLab Preord > history

Redirected from "proxi-normed rings".

$Preord$ (or sometimes $PreOrd$ ) denotes the category of preorders.

Last revised on June 4, 2020 at 11:03:06. See the history of this page for a list of all contributions to it.