A Categorical Model of State Transformations in Programming Languages (Journal of Applied Mathematics, Statistics and Informatics, 2026)