Daniel Satanove

Date: November 19, 2018

Time: 10:00

Location: MS 337


Title: Interpretations of algebraic theories, and the adjunctions they induce: Part II
Abstract: Many cases of free/forgetful adjunctions are special cases of a more general theorem: any interpretation of algebraic theories induces an adjunction on their categories of models. Free monoid, free groups, free modules, tensor algebras, and polynomial rings are all instances of this. In my talk I will prove this theorem.