Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 126667
6 votes

Kernels and cokernels of multicomplex homomorphisms

If I'm not mistaken, multicomplexes in $\mathcal{A}$ are the same as unbounded cochain complexes in another category constructed from $\mathcal{A}$ as follows: its objects are $\mathbb{Z}$-graded se …
Reid Barton's user avatar
  • 25.2k
18 votes

Is there an infinity × infinity lemma for abelian categories?

For an $n \times n$ square, the "lemma" follows by applying the spectral sequence of a double complex in two different ways: if we first take homology along columns, then the $E^2$ page is $0$, while …
Dominic Michaelis's user avatar
15 votes
Accepted

How cavalier can I be when demanding a category have direct sums?

The answer to the first question is yes. If A and B have a direct sum A ⊕ B in C, then there are inclusions iA : A → A ⊕ B, iB : B → A ⊕ B and projections pA : A ⊕ B → A, pB : A ⊕ B → B such that pAi …
Reid Barton's user avatar
  • 25.2k
8 votes
Accepted

Does the product (by an object) in an abelian category ever have a right adjoint?

In an additive category the functor F(–) = – × A = – ⊕ A cannot have a right adjoint unless A = 0. If F had a right adjoint then it would preserve coproducts and in particular A = F(0) = F(0 ⊕ 0) = F …
Reid Barton's user avatar
  • 25.2k
48 votes
Accepted

Can a topos ever be an abelian category?

No. In fact no nontrivial cartesian closed category can have a zero object 0 (one which is both initial and final), as then for any X, 0 = 0 × X = X. (The first equality uses the fact that – × X com …
Reid Barton's user avatar
  • 25.2k