Resolutions by Polygraphs. Métayer, François — 2003 Theory and Applications of Categories [electronic only]