Strategies as Resource Terms, and their Categorical Semantics (Logical Methods in Computer Science, 2025)