Cartesian closed 2-categories and higher-order rewriting


Tom Hirschowitz, LAMA. 16 septembre 2010 10:00 limd
Abstract:

Notions of cartesian closed sketches have been proposed as a categorical approach to algebra with binding. We here consider a 2-dimensional refinement of this idea, called cartesian closed 2-signatures, as a categorical approach to higher-order rewriting, i.e., rewriting with variable binding. We sketch a general notion of standardisation in the sense of Lévy (1980).