8
$\begingroup$

Let $A$ be an abelian category (you can assume additional conditions for its goodness). Let $\mathrm{Seq}(A) = \mathrm{Func}(\mathbb{Z}, A)$, where $\mathbb{Z}$ is the standard order category on integers. Let $\mathrm{Chain}(A)$ be a subcategory of complexes in it.

Is $\mathrm{Chain}(A)$ a reflexive or coreflexive subcategory of $\mathrm{Seq}(A)$?

As far as I can see, the inclusion functor $\mathrm{Chain}(A) \to \mathrm{Seq}(A)$ preserves all limits and colimits. I'm also interested in answers for variations like complexes bounded on one side.

$\endgroup$
1
  • $\begingroup$ Note also that $Chain(A)$ is isomorphic to the category of pointed functors out of a certain pointed category $C$. $\endgroup$ Commented Oct 15, 2023 at 6:09

1 Answer 1

14
$\begingroup$

Yes, it's reflective and coreflective, under mild assumptions on the codomain category $\mathcal A.$ The adjoints are given, by definition, by Kan extension along the quotient from the abelian group-enriched category freely generated by $\mathbb Z$ to the abelian group-enriched category $\mathbb Z_\partial$, Ab-functors out of which define chain complexes. (This map imposes the relations $d_{i-1}d_i=0$ for every $i.$) So it's sufficient to assume $\mathcal A$ is complete and cocomplete.

Explicitly, I believe the reflection $B_\bullet$ of a sequence $\cdots A_i \stackrel{f_i}{\to} A_{i-1}\cdots$ is given by $B_{i-1}=A_{i-1}/f_if_{i+1}(A_{i+1})$ and the coreflection $C_\bullet$, by $C_{i+1}=f_{i+1}^{-1}(\mathrm{ker}f_i),$ both with the differential induced by the $f_i.$ So any abelian $\mathcal A$ should be fine.

$\endgroup$
2
  • 2
    $\begingroup$ Wait, why is it not a full subcategory? Looks like a morphism of chain complexes is literally a natural transformation. $\endgroup$ Commented Dec 21, 2022 at 19:06
  • $\begingroup$ @AchimKrause Oh, you're right, I was thinking of graded groups for some reason even though the OP didn't ask about that. $\endgroup$ Commented Dec 21, 2022 at 19:43

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .