If $A$ abelian category and $X$ a small category (a set) then $Fun(X,A)$ is abelian category.
up vote
0
down vote
favorite
I managed to show that $Fun(X,A)={functors:X->A}$ is a category and i am trying to show that it is abelian.It is easy to show that is pre-additive but i can't define the zero object of the category,to prove that every homomorphism has a kernel and cokernel and finally that the induced homomorphism $f^{-}:CoImf->Imf$ is isomorphism for every $f$ homomorphism.I actually have a problem on how to use the zero object of A to define the zero object of $Fun(X,A)$.I would appreciate any help.
category-theory
add a comment |
up vote
0
down vote
favorite
I managed to show that $Fun(X,A)={functors:X->A}$ is a category and i am trying to show that it is abelian.It is easy to show that is pre-additive but i can't define the zero object of the category,to prove that every homomorphism has a kernel and cokernel and finally that the induced homomorphism $f^{-}:CoImf->Imf$ is isomorphism for every $f$ homomorphism.I actually have a problem on how to use the zero object of A to define the zero object of $Fun(X,A)$.I would appreciate any help.
category-theory
1
Limits and colimits are always computed pointwise in functor categories, so the terminal object is the pointwise terminal object, kernels are pointwise, etc.
– Qiaochu Yuan
Nov 22 at 20:22
To define a zero object of $Fun(X,A)$,shouldn't i define an object $o$ of $Fun(X,A)$,a Functor,such that for every other functor F the sets $Hom(F,o)$ and $Hom(o,F)$ have only one element?I can't understand you @Qiaochu Yuan,maybe because i am a new student in category theory and i don't know all the terminology.
– T.Karawolf
Nov 22 at 20:42
Yes, that's the definition. The zero object is both a terminal object and an initial object, so once you've computed both of these and verified that they're the same you've found the zero object. And computing terminal and initial objects is a special case of computing limits and colimits, and those are always computed pointwise. What this all adds up to is that the zero object in $text{Fun}(X, A)$ is the constant functor with constant value the zero object in $A$; check this.
– Qiaochu Yuan
Nov 22 at 20:44
oh that was so simple anyway thank you
– T.Karawolf
Nov 22 at 21:06
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
I managed to show that $Fun(X,A)={functors:X->A}$ is a category and i am trying to show that it is abelian.It is easy to show that is pre-additive but i can't define the zero object of the category,to prove that every homomorphism has a kernel and cokernel and finally that the induced homomorphism $f^{-}:CoImf->Imf$ is isomorphism for every $f$ homomorphism.I actually have a problem on how to use the zero object of A to define the zero object of $Fun(X,A)$.I would appreciate any help.
category-theory
I managed to show that $Fun(X,A)={functors:X->A}$ is a category and i am trying to show that it is abelian.It is easy to show that is pre-additive but i can't define the zero object of the category,to prove that every homomorphism has a kernel and cokernel and finally that the induced homomorphism $f^{-}:CoImf->Imf$ is isomorphism for every $f$ homomorphism.I actually have a problem on how to use the zero object of A to define the zero object of $Fun(X,A)$.I would appreciate any help.
category-theory
category-theory
asked Nov 22 at 20:12
T.Karawolf
235
235
1
Limits and colimits are always computed pointwise in functor categories, so the terminal object is the pointwise terminal object, kernels are pointwise, etc.
– Qiaochu Yuan
Nov 22 at 20:22
To define a zero object of $Fun(X,A)$,shouldn't i define an object $o$ of $Fun(X,A)$,a Functor,such that for every other functor F the sets $Hom(F,o)$ and $Hom(o,F)$ have only one element?I can't understand you @Qiaochu Yuan,maybe because i am a new student in category theory and i don't know all the terminology.
– T.Karawolf
Nov 22 at 20:42
Yes, that's the definition. The zero object is both a terminal object and an initial object, so once you've computed both of these and verified that they're the same you've found the zero object. And computing terminal and initial objects is a special case of computing limits and colimits, and those are always computed pointwise. What this all adds up to is that the zero object in $text{Fun}(X, A)$ is the constant functor with constant value the zero object in $A$; check this.
– Qiaochu Yuan
Nov 22 at 20:44
oh that was so simple anyway thank you
– T.Karawolf
Nov 22 at 21:06
add a comment |
1
Limits and colimits are always computed pointwise in functor categories, so the terminal object is the pointwise terminal object, kernels are pointwise, etc.
– Qiaochu Yuan
Nov 22 at 20:22
To define a zero object of $Fun(X,A)$,shouldn't i define an object $o$ of $Fun(X,A)$,a Functor,such that for every other functor F the sets $Hom(F,o)$ and $Hom(o,F)$ have only one element?I can't understand you @Qiaochu Yuan,maybe because i am a new student in category theory and i don't know all the terminology.
– T.Karawolf
Nov 22 at 20:42
Yes, that's the definition. The zero object is both a terminal object and an initial object, so once you've computed both of these and verified that they're the same you've found the zero object. And computing terminal and initial objects is a special case of computing limits and colimits, and those are always computed pointwise. What this all adds up to is that the zero object in $text{Fun}(X, A)$ is the constant functor with constant value the zero object in $A$; check this.
– Qiaochu Yuan
Nov 22 at 20:44
oh that was so simple anyway thank you
– T.Karawolf
Nov 22 at 21:06
1
1
Limits and colimits are always computed pointwise in functor categories, so the terminal object is the pointwise terminal object, kernels are pointwise, etc.
– Qiaochu Yuan
Nov 22 at 20:22
Limits and colimits are always computed pointwise in functor categories, so the terminal object is the pointwise terminal object, kernels are pointwise, etc.
– Qiaochu Yuan
Nov 22 at 20:22
To define a zero object of $Fun(X,A)$,shouldn't i define an object $o$ of $Fun(X,A)$,a Functor,such that for every other functor F the sets $Hom(F,o)$ and $Hom(o,F)$ have only one element?I can't understand you @Qiaochu Yuan,maybe because i am a new student in category theory and i don't know all the terminology.
– T.Karawolf
Nov 22 at 20:42
To define a zero object of $Fun(X,A)$,shouldn't i define an object $o$ of $Fun(X,A)$,a Functor,such that for every other functor F the sets $Hom(F,o)$ and $Hom(o,F)$ have only one element?I can't understand you @Qiaochu Yuan,maybe because i am a new student in category theory and i don't know all the terminology.
– T.Karawolf
Nov 22 at 20:42
Yes, that's the definition. The zero object is both a terminal object and an initial object, so once you've computed both of these and verified that they're the same you've found the zero object. And computing terminal and initial objects is a special case of computing limits and colimits, and those are always computed pointwise. What this all adds up to is that the zero object in $text{Fun}(X, A)$ is the constant functor with constant value the zero object in $A$; check this.
– Qiaochu Yuan
Nov 22 at 20:44
Yes, that's the definition. The zero object is both a terminal object and an initial object, so once you've computed both of these and verified that they're the same you've found the zero object. And computing terminal and initial objects is a special case of computing limits and colimits, and those are always computed pointwise. What this all adds up to is that the zero object in $text{Fun}(X, A)$ is the constant functor with constant value the zero object in $A$; check this.
– Qiaochu Yuan
Nov 22 at 20:44
oh that was so simple anyway thank you
– T.Karawolf
Nov 22 at 21:06
oh that was so simple anyway thank you
– T.Karawolf
Nov 22 at 21:06
add a comment |
active
oldest
votes
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',
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%2f3009595%2fif-a-abelian-category-and-x-a-small-category-a-set-then-funx-a-is-abel%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3009595%2fif-a-abelian-category-and-x-a-small-category-a-set-then-funx-a-is-abel%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
1
Limits and colimits are always computed pointwise in functor categories, so the terminal object is the pointwise terminal object, kernels are pointwise, etc.
– Qiaochu Yuan
Nov 22 at 20:22
To define a zero object of $Fun(X,A)$,shouldn't i define an object $o$ of $Fun(X,A)$,a Functor,such that for every other functor F the sets $Hom(F,o)$ and $Hom(o,F)$ have only one element?I can't understand you @Qiaochu Yuan,maybe because i am a new student in category theory and i don't know all the terminology.
– T.Karawolf
Nov 22 at 20:42
Yes, that's the definition. The zero object is both a terminal object and an initial object, so once you've computed both of these and verified that they're the same you've found the zero object. And computing terminal and initial objects is a special case of computing limits and colimits, and those are always computed pointwise. What this all adds up to is that the zero object in $text{Fun}(X, A)$ is the constant functor with constant value the zero object in $A$; check this.
– Qiaochu Yuan
Nov 22 at 20:44
oh that was so simple anyway thank you
– T.Karawolf
Nov 22 at 21:06