Tom Leinster : general operads and multicategories

Advertisements