Questions tagged [exact-categories]
The exact-categories tag has no usage guidance.
14
questions
1
vote
0
answers
63
views
Idempotent completeness
We say a category $\mathcal{N}$ is exact if it is additive and is endowed with an exact structure. In brief, it is an additive category with a predetermined class of short exact sequences in its ...
4
votes
1
answer
234
views
Can one bypass the geometric realization in the definition of algebraic $K$-theory?
I believe there is no good notion of homotopy groups for an arbitrary simplicial set $S$. However, when $S$ is fibrant - meaning that $S\to *$ is a fibration - there is a definition. The singular ...
1
vote
1
answer
199
views
On image of map $\text{Ext}^1_R(X,F)\to \text{Ext}^1_R(X,G)$ induced by $R$-linear map of free modules $F\to G$ with entries in the maximal ideal
$\DeclareMathOperator\Ext{Ext}$Let $(R,\mathfrak m)$ be a Noetherian local ring. Let $F,G$ be finitely generated free $R$-modules and $f:F\to G$ be an $R$-linear map such that $f(F)\subseteq \mathfrak ...
3
votes
0
answers
113
views
$K$-theory with respect to two different choices of quasi-isomorphisms
This question is related to another question asked here. Let's assume we have an exact category $C$ that consists of specific vector bundles on a variety. Furthermore assume $C$ is idempotent complete ...
7
votes
1
answer
385
views
Beck-Chevalley condition on pushouts
Let $C$ be a regular category with pushouts and $S(X)$ is the lattice of subjects of $X$. For every arrow $f\colon X\to A$, pulling back along $f$ gives a map $f^*\colon S(A)\to S(X)$ which has a left ...
4
votes
1
answer
179
views
Are product / coproduct projections / inclusions 'semistrict'?
Let $\mathbf{C}$ be a category with zero object, kernels, and cokernels. Then, a morphism $f\colon A\rightarrow B$ in $\mathbf{C}$ is semistrict iff the canonical map $\operatorname{Coker}(\ker (f))\...
5
votes
1
answer
757
views
Extension-closed subcategories of triangulated categories as "almost exact" categories
Did anybody study those subcategories of triangulated categories that are closed with respect to "extensions" (in the sense of distinguished triangles; in particular, any such $B$ is additive)? If we ...
6
votes
1
answer
352
views
Does the stable category of a nice exact category embed in (the underlying category of) a derivator?
In Derivators, Pointed Derivators, and Stable Derivators, Moritz Groth gives as an example of a non-invertible morphism with trivial cone an inclusion $f:X\to I$. Here $X$ is an object of injective ...
1
vote
0
answers
52
views
Is the product of two categories with cofibrations still a category with cofibrations?
Given two $k$-linear categories $\mathcal C$ and $\mathcal D$ which are "categories with cofibrations" (in the Waldhausen sense),
is the product category $\mathcal C\times \mathcal D$ still a category ...
1
vote
0
answers
131
views
Could one recover the relative K-theory from the quotient derived category?
Let $A\to B$ be a full embedding of exact categories that induces an embedding $D^b(A)\to D^b(B)$. My question is: what can one say about the relation of the homotopy cofibre $K(A)\to K(B)$ (the ...
7
votes
0
answers
315
views
Split exact categories arising naturally
If you're interested in the $K$-theory of rings, a useful feature of the exact category of finitely generated projective (or free) modules is that it is split exact, i.e. every short exact sequence is ...
3
votes
1
answer
368
views
Given an exact category, viewed as a site, do there exist non-additive sheaves?
Suppose given an exact category $\mathcal{C}$. The following question arises while proving the Gabriel-Quillen-Laumon embedding theorem following Laumon [1].
Laumon constructs an abelian category $\...
5
votes
0
answers
97
views
Ex/reg toposes without generic monomorphisms
A generic monomorphism is a monomorphism of which every monomorphisms in the same category is a pullback; it is like a subobject classifier without uniqueness. I am looking for a locally Cartesian ...
10
votes
1
answer
998
views
Quasi-isomorphisms in exact categories
I am trying to understand quasi-isomorphisms in an exact category as defined via the mapping cylinder. I would like to know whether these form a category of weak equivalences in the sense of ...