As alluded to, the work of Logvinenko [1]}, Cautis–Logvinenko [2]}, and Craw–Cautis–Logvinenko [3]} categorifies Reid's recipe via the tautological bundles. Many of the constructions in [3]} resemble constructions made in Section  below, however the computations they make are for the inverse equivalence of (REF ) to that utilised in [5]} and here.
