Arboreal Categories: An Axiomatic Theory of Resources (Logical Methods in Computer Science, 2023)