Ben MacAdam

Title:Enriched limit doctrines, Lawvere theories.

Abstract: Following Lack and Rosicky’s “Notions of Lawvere Theories”, we will look at the theory of strongly finitely presentable objects. This leads to a notion of enriched Lawvere theory that mirrors the classical case, particularly commutative theories and morphisms of theories.