"Presenting Functors by Operations and Equations."

Marcello M. Bonsangue, Alexander Kurz (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics