The higher-algebra tag has no wiki summary.

**3**

votes

**0**answers

71 views

### understanding the definition of $\infty$-operad of module objects

I'm just trying to understand the following definition:
Definition 3.3.3.8 in Higher Algebra by J. Lurie defines the $\infty$-operad of $O$-module objects, and says the following:
Let $O^\otimes$ be ...

**7**

votes

**1**answer

115 views

### coends of stable infinity categories

Let $\mathcal{I}$ be a small ordinary category that I would like to think of as a diagram category. (If it helps: In my application $\mathcal{I}$ has only one object, i.e. comes from a monoid). Denote ...

**5**

votes

**0**answers

101 views

### Reference for a generalization of Γ-spaces to monoidal model categories

Γ-spaces were introduced by Segal in 1969 as models for what can be now described
as commutative ∞-monoids and ∞-groups in cartesian symmetric monoidal ∞-categories, e.g., E_∞-spaces and connective ...

**4**

votes

**1**answer

478 views

### Can motivic E_∞-ring spectra be strictified to commutative motivic symmetric ring spectra?

Theorem 4.4.4.7 in Lurie's Higher Algebra (or Theorem 4.3.22 in DAG III) states (roughly speaking) that under certain conditions
the ∞-category of commutative ∞-monoids in a given symmetric monoidal ...

**5**

votes

**1**answer

392 views

### Topological Hochschild cohomology?

Let $A$ be a $E_\infty$-ring spectrum. By EKMM, it may be treated as a commutative algebra in the appropriate category. In particular, one may define topological Hochschild homology as ...

**9**

votes

**1**answer

483 views

### Lower Algebra: Modules over the monoidal category of abelian groups

Proposition 6.3.2.18 of Higher Algebra identifies $Mod_{Sp}(Pr^L)$, the symmetric monoidal category of right modules over the monoidal category $Sp$ of spectra in $Pr^L$ the category of presentable ...

**1**

vote

**0**answers

88 views

### Exact sequence of L-infinity-algebras

We call a sequence of $L_\infty$-algebras (weak) maps
$$0\to L\xrightarrow{f} M\xrightarrow{g} N\to 0$$
is exact if it is exact on the the underlying chain complexes level.
Thought I don't know ...

**21**

votes

**2**answers

1k views

### generalisations of the Seifert-van Kampen Theorem?

I have been reading Jacob Lurie's book "Higher Algebra", version May 8, 2011. One is grateful to him for covering such a lot of ground and for making it all so readily available.
My attention was ...

**3**

votes

**1**answer

360 views

### $A_{\infty}$ structure questions

Hello,
I would like explanation or clear source for some things related to $A_{\infty}$-spaces, via Stasheff's polytopes.
I tried not to think about them, because they seem too complicated for me; I ...

**0**

votes

**1**answer

384 views

### Weak algebraic structures

The following question can be thought as a sequel of this one.
Here I'm looking for a big list of example of weak algebraic structures: here weak means that the structure (i.e. operations) need not ...