Lingyuan Ye: Categorical structure in coherent theory of arithmetic. Theor. Comput. Sci. 1071: 115832 (2026)