前順序集合の圏
1 2 preorder in nLab
↑ pseudofunctor in nLab