Lawvere theories and universal modelsLast updated Feb 3, 2024Tags: Cartesian multicategory, Categorical Logic (Shulman, 2016).
