C. Barry Jay Separating Shape from Data. 47-48 1997 conf/ctcs/1997 Category Theory and Computer Science db/conf/ctcs/ctcs1997.html#Jay97