Direct Sum of Additive Categories
$begingroup$
I am following Etingof et al's book on tensor categories. They define the direct sum of additive categories as follows (I am rephrasing):
Let ${ mathcal C_alpha, alpha in I }$ be a family of additive categories.
The direct sum $mathcal C=underset{alphain I}{bigoplus}{mathcal C}_alpha$ is the category whose objects are
$$X = underset{alphain I}{bigoplus}X_alpha ,quad X_alpha in mathcal C_alpha$$
such that only a finite number of $X_alpha$ are $neq 0_alpha$. The arrows are
$$
text{Hom}_mathcal C(underset{alphain I}{bigoplus}X_alpha,underset{alphain I}{bigoplus}Y_alpha) = underset{alphain I}{bigoplus} text{Hom}_{mathcal C_alpha}(X_alpha,Y_alpha)
$$
My problem with this: how does it make sense to do the direct sum of objects of different additive categories? This definition hinges on this possibility, but we only know that we have the direct sum of any two objects in the same additive category, not different categories...
category-theory additive-categories
$endgroup$
add a comment |
$begingroup$
I am following Etingof et al's book on tensor categories. They define the direct sum of additive categories as follows (I am rephrasing):
Let ${ mathcal C_alpha, alpha in I }$ be a family of additive categories.
The direct sum $mathcal C=underset{alphain I}{bigoplus}{mathcal C}_alpha$ is the category whose objects are
$$X = underset{alphain I}{bigoplus}X_alpha ,quad X_alpha in mathcal C_alpha$$
such that only a finite number of $X_alpha$ are $neq 0_alpha$. The arrows are
$$
text{Hom}_mathcal C(underset{alphain I}{bigoplus}X_alpha,underset{alphain I}{bigoplus}Y_alpha) = underset{alphain I}{bigoplus} text{Hom}_{mathcal C_alpha}(X_alpha,Y_alpha)
$$
My problem with this: how does it make sense to do the direct sum of objects of different additive categories? This definition hinges on this possibility, but we only know that we have the direct sum of any two objects in the same additive category, not different categories...
category-theory additive-categories
$endgroup$
3
$begingroup$
I didn’t read their book but presumably this is just a notation/definition combo, as in: An object in the direct sum category is an $I$-indexed list of objects, one from each category, all but finitely many nonzero, and it’s denoted by this suggestive direct sum notation. As for the Hom sets, these are actually abelian groups so you can sum them.
$endgroup$
– Ben
Dec 9 '18 at 15:09
add a comment |
$begingroup$
I am following Etingof et al's book on tensor categories. They define the direct sum of additive categories as follows (I am rephrasing):
Let ${ mathcal C_alpha, alpha in I }$ be a family of additive categories.
The direct sum $mathcal C=underset{alphain I}{bigoplus}{mathcal C}_alpha$ is the category whose objects are
$$X = underset{alphain I}{bigoplus}X_alpha ,quad X_alpha in mathcal C_alpha$$
such that only a finite number of $X_alpha$ are $neq 0_alpha$. The arrows are
$$
text{Hom}_mathcal C(underset{alphain I}{bigoplus}X_alpha,underset{alphain I}{bigoplus}Y_alpha) = underset{alphain I}{bigoplus} text{Hom}_{mathcal C_alpha}(X_alpha,Y_alpha)
$$
My problem with this: how does it make sense to do the direct sum of objects of different additive categories? This definition hinges on this possibility, but we only know that we have the direct sum of any two objects in the same additive category, not different categories...
category-theory additive-categories
$endgroup$
I am following Etingof et al's book on tensor categories. They define the direct sum of additive categories as follows (I am rephrasing):
Let ${ mathcal C_alpha, alpha in I }$ be a family of additive categories.
The direct sum $mathcal C=underset{alphain I}{bigoplus}{mathcal C}_alpha$ is the category whose objects are
$$X = underset{alphain I}{bigoplus}X_alpha ,quad X_alpha in mathcal C_alpha$$
such that only a finite number of $X_alpha$ are $neq 0_alpha$. The arrows are
$$
text{Hom}_mathcal C(underset{alphain I}{bigoplus}X_alpha,underset{alphain I}{bigoplus}Y_alpha) = underset{alphain I}{bigoplus} text{Hom}_{mathcal C_alpha}(X_alpha,Y_alpha)
$$
My problem with this: how does it make sense to do the direct sum of objects of different additive categories? This definition hinges on this possibility, but we only know that we have the direct sum of any two objects in the same additive category, not different categories...
category-theory additive-categories
category-theory additive-categories
asked Dec 9 '18 at 14:58
SoapSoap
1,022615
1,022615
3
$begingroup$
I didn’t read their book but presumably this is just a notation/definition combo, as in: An object in the direct sum category is an $I$-indexed list of objects, one from each category, all but finitely many nonzero, and it’s denoted by this suggestive direct sum notation. As for the Hom sets, these are actually abelian groups so you can sum them.
$endgroup$
– Ben
Dec 9 '18 at 15:09
add a comment |
3
$begingroup$
I didn’t read their book but presumably this is just a notation/definition combo, as in: An object in the direct sum category is an $I$-indexed list of objects, one from each category, all but finitely many nonzero, and it’s denoted by this suggestive direct sum notation. As for the Hom sets, these are actually abelian groups so you can sum them.
$endgroup$
– Ben
Dec 9 '18 at 15:09
3
3
$begingroup$
I didn’t read their book but presumably this is just a notation/definition combo, as in: An object in the direct sum category is an $I$-indexed list of objects, one from each category, all but finitely many nonzero, and it’s denoted by this suggestive direct sum notation. As for the Hom sets, these are actually abelian groups so you can sum them.
$endgroup$
– Ben
Dec 9 '18 at 15:09
$begingroup$
I didn’t read their book but presumably this is just a notation/definition combo, as in: An object in the direct sum category is an $I$-indexed list of objects, one from each category, all but finitely many nonzero, and it’s denoted by this suggestive direct sum notation. As for the Hom sets, these are actually abelian groups so you can sum them.
$endgroup$
– Ben
Dec 9 '18 at 15:09
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
I didn’t read their book but presumably this is just a notation/definition combo, as in:
An object $X$ in the direct sum category is an $I$-indexed list of objects $X_i$, one from each category, finitely many nonzero, and will be denoted by the suggestive notation $X = bigoplus_{i in I} X_i$. As for the $Hom$ sets, these are actually abelian groups, so you can sum them.
If this notation needed any more justification, note that once you've built this category $mathcal C = bigoplus mathcal C_i$, there are then embeddings $F_i: mathcal C_i to mathcal C$ of additive categories for which one actually has a natural identification $$bigoplus F_i(X_i) = bigoplus X_i$$ where on the left the $bigoplus$ is actually a direct sum in an additive category and on the right the $bigoplus$ is the "suggestive notation".
Continuing this discussion for what is now much longer than necessary, you could compare this situation to taking the external direct sum of vector spaces $V_i$. Given $v_iin V_i$ of course it is illegal to form $sum v_i$. But once you define $bigoplus V_i$ and identify the $V_i$ as subspaces of it, it becomes "actually" a sum in some vector space.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3032467%2fdirect-sum-of-additive-categories%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
I didn’t read their book but presumably this is just a notation/definition combo, as in:
An object $X$ in the direct sum category is an $I$-indexed list of objects $X_i$, one from each category, finitely many nonzero, and will be denoted by the suggestive notation $X = bigoplus_{i in I} X_i$. As for the $Hom$ sets, these are actually abelian groups, so you can sum them.
If this notation needed any more justification, note that once you've built this category $mathcal C = bigoplus mathcal C_i$, there are then embeddings $F_i: mathcal C_i to mathcal C$ of additive categories for which one actually has a natural identification $$bigoplus F_i(X_i) = bigoplus X_i$$ where on the left the $bigoplus$ is actually a direct sum in an additive category and on the right the $bigoplus$ is the "suggestive notation".
Continuing this discussion for what is now much longer than necessary, you could compare this situation to taking the external direct sum of vector spaces $V_i$. Given $v_iin V_i$ of course it is illegal to form $sum v_i$. But once you define $bigoplus V_i$ and identify the $V_i$ as subspaces of it, it becomes "actually" a sum in some vector space.
$endgroup$
add a comment |
$begingroup$
I didn’t read their book but presumably this is just a notation/definition combo, as in:
An object $X$ in the direct sum category is an $I$-indexed list of objects $X_i$, one from each category, finitely many nonzero, and will be denoted by the suggestive notation $X = bigoplus_{i in I} X_i$. As for the $Hom$ sets, these are actually abelian groups, so you can sum them.
If this notation needed any more justification, note that once you've built this category $mathcal C = bigoplus mathcal C_i$, there are then embeddings $F_i: mathcal C_i to mathcal C$ of additive categories for which one actually has a natural identification $$bigoplus F_i(X_i) = bigoplus X_i$$ where on the left the $bigoplus$ is actually a direct sum in an additive category and on the right the $bigoplus$ is the "suggestive notation".
Continuing this discussion for what is now much longer than necessary, you could compare this situation to taking the external direct sum of vector spaces $V_i$. Given $v_iin V_i$ of course it is illegal to form $sum v_i$. But once you define $bigoplus V_i$ and identify the $V_i$ as subspaces of it, it becomes "actually" a sum in some vector space.
$endgroup$
add a comment |
$begingroup$
I didn’t read their book but presumably this is just a notation/definition combo, as in:
An object $X$ in the direct sum category is an $I$-indexed list of objects $X_i$, one from each category, finitely many nonzero, and will be denoted by the suggestive notation $X = bigoplus_{i in I} X_i$. As for the $Hom$ sets, these are actually abelian groups, so you can sum them.
If this notation needed any more justification, note that once you've built this category $mathcal C = bigoplus mathcal C_i$, there are then embeddings $F_i: mathcal C_i to mathcal C$ of additive categories for which one actually has a natural identification $$bigoplus F_i(X_i) = bigoplus X_i$$ where on the left the $bigoplus$ is actually a direct sum in an additive category and on the right the $bigoplus$ is the "suggestive notation".
Continuing this discussion for what is now much longer than necessary, you could compare this situation to taking the external direct sum of vector spaces $V_i$. Given $v_iin V_i$ of course it is illegal to form $sum v_i$. But once you define $bigoplus V_i$ and identify the $V_i$ as subspaces of it, it becomes "actually" a sum in some vector space.
$endgroup$
I didn’t read their book but presumably this is just a notation/definition combo, as in:
An object $X$ in the direct sum category is an $I$-indexed list of objects $X_i$, one from each category, finitely many nonzero, and will be denoted by the suggestive notation $X = bigoplus_{i in I} X_i$. As for the $Hom$ sets, these are actually abelian groups, so you can sum them.
If this notation needed any more justification, note that once you've built this category $mathcal C = bigoplus mathcal C_i$, there are then embeddings $F_i: mathcal C_i to mathcal C$ of additive categories for which one actually has a natural identification $$bigoplus F_i(X_i) = bigoplus X_i$$ where on the left the $bigoplus$ is actually a direct sum in an additive category and on the right the $bigoplus$ is the "suggestive notation".
Continuing this discussion for what is now much longer than necessary, you could compare this situation to taking the external direct sum of vector spaces $V_i$. Given $v_iin V_i$ of course it is illegal to form $sum v_i$. But once you define $bigoplus V_i$ and identify the $V_i$ as subspaces of it, it becomes "actually" a sum in some vector space.
answered Dec 10 '18 at 11:16
BenBen
3,716616
3,716616
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3032467%2fdirect-sum-of-additive-categories%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
3
$begingroup$
I didn’t read their book but presumably this is just a notation/definition combo, as in: An object in the direct sum category is an $I$-indexed list of objects, one from each category, all but finitely many nonzero, and it’s denoted by this suggestive direct sum notation. As for the Hom sets, these are actually abelian groups so you can sum them.
$endgroup$
– Ben
Dec 9 '18 at 15:09