Categorical Trace

Taught by Xinwen Zhu at Stanford in 2023.

pdf