Lawvere theories and universal modelsLast updated Mar 7, 2023Tags: Lawvere theory, Categorical Logic (Shulman, 2016).
