[Alta-Logic] Peripatetic seminar

[Matthew Burke]

Speaker: Daniel Satanove

Date and time: Monday, November 19th, 2018 at 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.

http://peripatetic-seminar.cpsc.ucalgary.ca/wp/