圏と関手の小ネタ。boo は bijecton on objects の頭文字です。二文字 bo を使うこともあります（nLab は bo）。ff は full and faithful の頭文字です。(boo, ff)-分解〈(boo, ff)-factorization〉は、関手 $`F:\mathcal{C}\to \mathcal{D}`$ を、boo部分と…