An analogous construction can be performed for any small category.
对任何小范畴都可以进行类似的构造。