Daniel Satanove

Date: April 9, 2019
Time: 12:00 am - 12:00 am
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.