The above defined functors assemble into a commuting diagram of monoidal \((2,2)\)-functors 
where the top and right diagonal functors are faithful and the right diagonal functor is shift-preserving and \(k\)-linear.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2