Applied Category Theory Course: Resource Theories

 

After a two-week break where the students did exercises, I’m back to lecturing about Fong and Spivak’s book Seven Sketches. Now we’re talking about “resource theories”. Resource theories help us answer questions like this:

Given what I have, is it possible to get what I want? Given what I have, how much will it cost to get what I want? Given what I have, how long will it take to get what I want? Given what I have, what is the set of ways to get what I want?

Resource theories in their mod...