The higher-algebra tag has no usage guidance.

**7**

votes

**0**answers

200 views

### Does the de Rham version of Cohen's theorem hold in the $\infty$-setting?

One of the first results that one needs to prove in the theory of chiral algebras is a de Rham version of Cohen's theorem on the homology of $C_n$ spaces. This is achieved in Beilinson-Drinfeld's book ...

**6**

votes

**0**answers

132 views

### Differentiation of Lie $\infty$-groupoids

I've been trying to understand how to differentiate Lie $\infty$-groupoids to get a Lie $\infty$-algebroid. First of all, I will state the definitions that I'm assuming.
A Lie $\infty$-groupoid is a ...

**6**

votes

**0**answers

235 views

### Derived Functors, Projection Formula and Base Change in the Derived $\infty$-Category

Let $X$ be a smooth stack and $\mathcal O_X$ the ring of smooth functions on $X$, i.e. for any smooth $M \to X$, $\mathcal O_X(M \to X) = C^\infty(M)$.
In HigherAlgebra, the derived category ...

**6**

votes

**0**answers

237 views

### Topological quotient Hopf-algebras and “change-of-rings”

One way of constructing coalgebra objects in the homotopy theorist's category of spectra is to take the suspension spectrum of a space, with the diagonal providing a cocommutative comultiplication. ...

**4**

votes

**0**answers

270 views

### Flat Connections on Ring Spectra

So first I'll try to give a really quick reminder of the classical description of these things when one is doing non-commutative descent theory. In the setting of discrete algebra, if we have a ...

**3**

votes

**0**answers

178 views

### Operadic Lift of Lurie's Relative Tensor Product

In Section 4.4 of his book Higher Algebra, Lurie introduces, for a monoid object $A$ of a monoidal quasicategory $C$, and right and left $A$-modules $M,N$, the relative tensor product $M\otimes_AN$. ...

**3**

votes

**0**answers

239 views

### Quasicategorical Construction of a Cosimplicial Map of Rognes

In John Rognes' Galois theory monograph he constructs something called the Hopf-cobar complex for a coalgebra object $H$ (in spectra) and a comodule algebra $X$. It is, intuitively, the object whose ...

**3**

votes

**0**answers

39 views

### Connection on 3-bundle given as triplet of forms

A connection on a bundle is given locally by a Lie algebra-valued 1-form.
Gauge transformations act in the usual way on the forms, and form a groupoid.
A connection on a 2-bundle is given locally by ...

**1**

vote

**0**answers

193 views

### Monoidal Forgetful/Free Adjunction for $E_2$-algebras

Suppose I am given two $E_2$-ring spectra $A$ and $B$ and a morphism of $E_2$-rings $\phi:A\to B$. Then I have $E_1$-monoidal categories of modules $LMod_A$ and $LMod_B$. Moreover I have morphisms ...

**1**

vote

**0**answers

113 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 ...

**0**

votes

**0**answers

128 views

### Higher algebra and terminology about 2-objects

It is well known that one way to build higher category theory is to use some induction process, where an $n$-category has as $0$-cells some $n-1$ categories, such that for two $0$-cells $\mathcal{A}$ ...