[Alta-Logic] Peripatetic seminar

Matthew Burke matthew.burke1 at ucalgary.ca
Sat Nov 3 08:37:27 MDT 2018


Speaker: Daniel Satanove

Date and time: Monday, November 5th, 2018 at 10:00

Location: MS 337

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.

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




More information about the alta-logic-l mailing list