圈化
categorification
圈論に於ける槪念でないものを圈論的槪念を同一視する事 垂直圈化 (vertical categorification) 脱圈化 (decategorification。脱垂直圈化) 集合に依り定義される槪念を圈として再現する、或いは圈に依り定義される槪念を高次圈として再現する。圈化は曖昧であって槪念と云ふよりは標語であり、一つの槪念は一般に複數の槪念へ圈化される。また逆に一つの槪念は複數の槪念へ脱圈化され得る 水平圈化 (horizontal categorification。oidification) 槪念を對象が一つしかない何らかの圈と見做す。そしてその對象が多いものを考へる (∞,1)-圈化