nLab
Preord

PreordPreord (or sometimes PreOrdPreOrd) denotes the category of preorders.

Created on May 3, 2016 at 11:15:24. See the history of this page for a list of all contributions to it.