Search Results

Let $\mathbb{G}_m= Spec(k[z,z^{-1}])$ be the usual multiplicative group over a field $k$ viewed as a discrete commutative dg-algebra, and let $A$ be some arbitrary commutative dg-algebra concentrated …

In ordinary categories $\mathcal{C}$, there are nice conditions under which a generator is also a colimit-generator for $\mathcal{C}$. In other words, under suitable conditions, if $\mathcal{C}$ conta …

Suppose we have an $(\infty,1)$-category $\mathcal{C}$. There are two ways I can think of to produce an $(\infty,0)$-category from $\mathcal{C}$, and I'm wondering if they're equivalent. The first way …

Let $\mathscr{C}$, $\mathscr{D}$, and $\mathscr{E}$ be (infinity) categories, and assume we're given a Cartesian diagram: $\require{AMScd}$ \begin{CD} \mathscr{C} \times_{\mathscr{E}} \mathscr{D} @>\o …

We say (according to https://ncatlab.org/nlab/show/%28infinity%2Cn%29-category+with+duals) that a symmetric monoidal $(\infty,1)$ category $\mathcal{C}$ has duals if its homotopy category $h\mathcal{C …

Let $\mathcal{C}$ be an additive category and let $N_{dg}(\mathcal{C})$ be the differential graded nerve of the differential graded category $Ch(\mathcal{C})$. This is a stable $\infty$-category. Not …

Let $k$ be a field and let $\mathcal{C}=\mathbf{StLin}_k$ be the $\infty$-category of stable infinity categories enriched over the $\infty$-category $\mathbf{Vect}_k$, regarded as a symmetric monoidal …

Let $k$ be a field of characteristic $0$, and let $\mathcal{C}= \mathbf{Vect}_k^{\leq 0}$ be the $\infty$-category of vector spaces concentrated in degrees $\leq 0$. Consider the category $\mathbf{Pr} …

Suppose we are given a cocomplete closed symmetric monoidal stable $(\infty,1)$-category $\mathcal{C}$ with suspension $\Sigma$, and let $X \in \mathcal{C}$ be dualizable. I'd like to create a new sta …

In Lurie's paper on Tannaka duality for geometric stacks he proves that there is a natural isomorphism $$\operatorname{Hom}(X,Y) \cong \operatorname{Hom}(\mathbf{QC}(Y), \mathbf{QC}(X)$$ where $X$ and …

Let $\mathcal{H}$ be a Grothendieck $(\infty,1)$-topos. According to this page in nlab, for any $X \in \mathcal{H}$, the suspension object $\Sigma X$ is homotopy equivalent to the smash product $B \ma …

The category $Mod^{E_n}_A(\mathcal{C})$ of $E_n$-modules for an $E_n$-algebra in a symmetric monoidal $\infty$-category $\mathcal{C}$ is defined in Lurie's Higher Algebra as a special case of a more g …

So I've been trying to learn some derived algebraic geometry, and I've chosen to approach the subject from the perspective of spectral or "brave new" algebraic geometry. Without having to go through t …

In ordinary category theory, the localization $C[S^{-1}]$ at a class of morphisms $S$ (with possibly some assumptions on $S$) is a category $C[S^{-1}]$ together with a map $L:C \to C[S^{-1}]$ such tha …

The $(\infty, 1)$ category $Sp$ of spectra as defined by Lurie in Higher Algebra has the structure of a symmetric monoidal category. Although I know the definition of symmetric monoidal category in th …