All Questions

Two commutative monoids $M,N$ have a tensor product $M\otimes N$ satisfying the universal property that there is a tensor-Hom adjunction for any other commutative monoid $L$: $$\text{Hom}(M\otimes N,L)...

Let $X$ be a scheme. On the one hand, we have the derived $\infty$-category constructed from the abelian category of quasi-coherent sheaves on $X$. On the other hand, we can define the stable $\infty$-...

First let $G$ be a topological group and $BG$ its classifying space. Let $\mathcal{L}BG=\text{Map}(S^1, BG)$ be the free loop space of $BG$. We can see that $\mathcal{L}BG$ has the homotopy type of $...