##### Infinity-Operads Demystified

###### #math #algtop #operads #higher-cat

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, §2.1.1.10]. 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.