Wiki. “单纯局部化” [单纯局部化]

定义

标准单纯局部化

设 $U\colon \mathsf {Cat} \to \mathsf {Graph}$ 将小范畴对应到其底层无向图. 函子 $U$ 有左伴随 $F\colon \mathsf {Graph}\to\mathsf {Cat}$. 于是我们得到 $\mathsf {Cat}$ 上的余单子 $(G,\varepsilon,\delta)$.