Categories and functors in reverse and computable mathematics. - Wu, Huishan (Archive for Mathematical Logic, 2025)