https://123dok.net/document/yev11394-structure-tensor-product-faj-finite-functor.html