Ben MacAdam

Date: March 13, 2020
Time: 12:00 am - 12:00 am
Location: Zoom

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.