因数分解は圏論を使えば一発