Subject: categories: Preprint available (Fiore, Plotkin, and Turi).

From: Marcelo Fiore <[email-masked]>
Date: Tue, 15 Dec 1998 21:12:32 +0000

The following preprint

   Abstract Syntax and Variable Binding by M.Fiore, G.Plotkin., and D.Turi.

is available as

        	http://www.dcs.ed.ac.uk/~dt/abstractsyn.ps

Synopsis: We show that categorical algebra in the object-classifier topos 
provides a suitable mathematical universe for modelling algebraic structures 
with binding operators.