[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