I would like to understand the accounts of P. Gabriel (link text), pag 365, when he shows that the composition of this category is well defined. Definition: Given a Serre subcateg …

Let $\mathcal{C}$ is a grothendiect category and consider all of what follows in $\mathcal{C}$. Let $${\varepsilon_i: 0\to A_i \to B_i \to C_i\to 0\ ,\ \phi_i^j}$$ be a direct sy …

I have the following situation. $M$ is a combinatorial model category, or if you like a locally presentable $(\infty,1)$-category. I have a set of maps $S$ and I let $C$ be the cla …

Let $A\rightrightarrows X$ be a groupoid, where $X$ is the set of objects and $A$ is the set of arrows. My favorite example of a groupoid is an action groupoid. If a group $G$ acts …

I am faced with a context in which the most natural notion of a sheaf $\mathcal F$ is as a functor on the category of compact subsets of a (locally compact Hausdorff) space $X$. S …

Suppose that $$F:\mathcal{D} \to \mathcal{C}$$ is a Grothendieck fibration of small categories, whose fibers are groupoids. Is there anything sensible which can be said about the i …

Given $f$ and $g$ $\forall x y. f(x) = f(y) \Longrightarrow f(g(x)) = f(g(y))$ Or equivalently $ker\ f \subseteq ker\ (f \circ g)$. Note: if $f$ is injective then this holds fo …

Let $A\rightrightarrows X$ be a groupoid, where $X$ is the set of objects and $A$ is the set of arrows. My favorite example of a groupoid is an action groupoid. If a group $G$ act …

(This question was posted on math.SE over two weeks ago, but received no answer. I am therefore posting it here as well.) It is well-known that there are difficulties in developin …

Suppose $A$ and $C$ two symmetric monoidal categories. Let's say that $A$ is small and $C$ is locally presentable, and let's assume also that the tensor product on $C$ preserves co …

I have formulated (and published) the notion of a universal map (and of a universal morphism), and the problems below, in the early 1960-ies. DEFINITION   A continuous map &n …

Lurie in Higher Algebra, section 1.3 associates a quasi-category to a dg-category A via the so called dg-nerve construction, extending the classical nerve. I have a feeling the hom …

In 1965 Jean Giraud published two Comptes Rendus notes titled "Cohomologie non abélienne", and in 1971 he published a book with the same title. In 1966 Tonny A. Springer's paper "N …

I want to get motivated to learn more about quotient categories of abelian categories by a Serre subcategory or even by a localizing category as they are described in Pierre Gabrie …

the category of right comodule of coalgebra is a monoidal category according the following the associativity constraint is defined as a_{U,V,W}((u\otimes v)\otimes w)=u_0\otimes …