Pym, D;    Ritter, E;    Robinson, E;      (2024)    Categorical Proof-theoretic Semantics.                   Studia Logica        10.1007/s11225-024-10101-9 <https://doi.org/10.1007/s11225-024-10101-9>.    (In press).    Green open access