We establish that the algorithm VII for equipped posets induces a categorical equivalence between some quotient categories. Such an algorithm belongs to the apparatus of differentiation introduced by A. G. Zavadskij to classify equipped posets of finite growth.
