Constructing agentive inference as a universal property: Strange functorial things and categorical red queen dynamics: Comment on "Path integrals, particular kinds, and strange things" by K. Friston, L. Da Costa, D. Sakthivadivel, C. Heins, G. Pavliotis, M. Ramstead, and T. Parr