Skip to main content
3 events
when toggle format what by license comment
Jun 13, 2018 at 19:03 comment added Mike Shulman See also Example 4.1.5 on p103 of Leinster's Higher operads, higher categories
Jun 12, 2018 at 17:44 vote accept Ben Sprott
Jun 12, 2018 at 17:09 history answered Peter LeFanu Lumsdaine CC BY-SA 4.0