All Questions

If $\mathcal{O}$ is a (classical) topological operad with unit $1\in \mathcal{O}(1)$, $\mathcal{O}(0)=\{0\}$ and multiplications $(m;a_1,\dotsc,a_r)\mapsto m(a_1,\dotsc,a_r)$. Let $X$ be an algebra ...

The following useful lemma holds in a variety of settings: Lemma. Let $p : Y_1 \to X$, $p_2 : Y_2 \to X$ be fibrations over a common base, and $f : Y_1 \to Y_2$ a map over $X$ that is a homotopy ...

Let $A$ be a small category, and let $X:=Psh(A)$ denote the category of presheaves on $A$. It is a theorem that for any such category $X$, there exists a small set $M$ of monomorphisms admitting the ...