The purpose of this post is to record the definition of \(\infty\)-operads and explain why it works like that. For this I’m using Lurie’s definition of \(\infty\)-operads; there is also a definition by Cisinski–Moerdijk–Weiss using dendroidal sets, about which I might talk later.
Indeed, the definition on an \(\infty\)-operad is a bit mysterious taken “as-is” – see [HA, §126.96.36.199]. My goal is to explain how to reach this definition, mostly for my own sake. Most of what follows is taken either from the book Higher Algebra, the \(n\)Lab, or the semester-long workshop about hgiher category theory in Lille in 2015.[… continue reading]