Search Results

In his book Higher Algebra, Lurie introduces the notion of generalized $\infty$-operads ($\S$2.3.2). Roughly speaking, a generalized $\infty$-operad is a "family" of $\infty$-operads parametrized by a …

Let $\mathcal{A}$ and $\mathcal{B}$ be presentably symmetric monoidal $\infty$-categories, i.e., symmetric monoidal $\infty$-categories whose underlying $\infty$-category are presentable and whose ten …

I am reading the proof of Propositions 2.3.4.5 of Higher Algebra by Jacob Lurie. There is a part that I don't understand, and I need someone's help. In the book, Lurie introduces the notion of familie …

Question Several sources define (homotopy) factorization algebras in a seemingly different manner (I am looking at [CG], [Gi], and [CFM].) I wish to know how they compare with each other. I apologize …

OK, here is the full story, which confirms what is written in Daniel Bruegmann's answer. In what follows, I will work with a fixed prefactorization algebra $F$ and an $n$-manifold $M$. I will make use …

In Section 2.3.2 of Higher Algebra, Lurie introduces the notion of generalized $\infty$-operads. This is a functor $p:\mathcal{O}^\otimes \to \mathcal{F}\mathrm{in}_\ast$ of $\infty$-categories, where …