Daniel Satanove

Date: April 9, 2019

Time: 12:15

Location: MS 337

Talk

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.