[Alta-Logic] Peripatetic seminar

[Matthew Burke]

Speaker: Daniel Satanove

Date and time: Tuesday, April 9th, 2019 at 12:15

Location: MS 337

Title: Generalized sketches with monad sorts

Abstract: I give a generalization of sketches which captures the theories of group presentations and certain notions of generalized multicategories. I conjecture that the categories of models of these sorts of sketches are locally finitely presentable, so that therefore this generalization stays within the realm of essentially algebraic theories.

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