Daniel Satanove

Date: November 5, 2018

Time: 10:00

Location: MS 337

Talk

Title: Interpretations of algebraic theories, and the adjunctions they induce
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.