For general information, check:
Categorical Proof Theory (short course), by Amir Tabatabai (March-August, 2023)