The tag has no wiki summary.

learn more… | top users | synonyms

8
votes
0answers
222 views

I think I have a category enriched in $(\infty,n-1)$-categories. Is it an $(\infty,n)$-category?

I have recently been thinking about some mathematical gadgetry that should together combine into an $(\infty,n)$-category (actually, an $(n,n)$-category) for $n = 4$. I don't know what axioms I need ...
3
votes
0answers
80 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
1answer
117 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
0answers
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
1answer
482 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
1answer
396 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
1answer
486 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
0answers
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
2answers
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
1answer
362 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
1answer
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 ...