Search Results

There are several definitions of what it means for a functor $F$ to create limits of a certain type. There is the definition in MacLane's CWM: Definition 1: A functor $F:\mathcal{C}\to \mathcal{D …

Freyd–Mitchell's embedding theorem states that: if $A$ is a small abelian category, then there exists a ring R and a full, faithful and exact functor $F\colon A \to R\text{-}\mathrm{Mod}$. I have been …

Let $\Gamma^{op}$ be the category of finite pointed sets. A special $\Gamma$-category is a functor $Y:\Gamma^{op}\to Cat$ such that the canonical maps $Y[n]\to Y[1]^n$, called Segal maps, are equivale …

Let $\mathcal{V_1}$ and $\mathcal{V_2}$ be cocomplete symmetric monoidal categories, each endowed with a cosimplicial object $\Delta^\bullet=\Delta^\bullet_{\mathcal{V}_i}:\Delta \to \mathcal{V}_i$. D …

Let $V$ and $W$ be symmetric monoidal categories. Let $F:V\to W$ be a lax symmetric monoidal functor with multiplication $\nabla:FA\otimes FB \to F(A\otimes B)$. Consider the following statements: 1) …