Leinster : higher operads higher categories

Advertisements