7:18 AM
Is there any place in the literature on $\infty$-operads where arity truncation of operads is discussed? What I mean is one can consider a version of $\infty$-operads where one only keeps track of operations of arity $\le k$ (for example in Lurie's model by pulling back the fibration over $Fin_{\ast}$ to a fibration over $Fin^{\le s}_{\ast}$) and then ther probably should be a free forgetful adjunction with usual $\infty$-operads etc.
12 hours later…
6:55 PM
« first day (2640 days earlier) ← previous day next day → last day (763 days later) »