$overline{f}$ is isomorphism in abelian category
$begingroup$
Suppose $f: A longrightarrow B$ is a morphism in an abelian category $mathcal{C}$.
What I consider an abelian category:
$mathcal{C}$ is additive.- Every morphism has a kernel and a cokernel.
- Every monomorphism is a kernel and every epimorphism is a cokernel.
With that, we can define:
$Im(f)= kernel(cokernel(f))$
$Coim(f)=cokernel(kernel(f))$
where $k: K longrightarrow A$ is a kernel of $f$ if $ k circ f = 0_{K,B}$ and whenever $h circ f = 0$, $h$ factors uniquely through $k$. (i.e. $h= k circ h'$). And $q:B longrightarrow C$ is a cokernel of $f$ if $ f circ q = 0_{A,C}$ and whenever $f circ h = 0$, $h$ factors uniquely through $q$ (i.e. $h = h' circ q$).
Notation: $0_{A,B}$ is the zero morphism obtained composing $A longrightarrow 0$ and $0 longrightarrow B$.
Once I have defined $Im(f)$ and $Coim(f)$, I want to check that there exists a natural map between them, called $overline{f}$ which is isomorphism.
I have been working with epimorphisms and monomorphisms notions but I am a little bit lost. Any help/hint?
Related but do not understand: Equivalent conditions for a preabelian category to be abelian
abstract-algebra commutative-algebra category-theory abelian-categories
$endgroup$
|
show 1 more comment
$begingroup$
Suppose $f: A longrightarrow B$ is a morphism in an abelian category $mathcal{C}$.
What I consider an abelian category:
$mathcal{C}$ is additive.- Every morphism has a kernel and a cokernel.
- Every monomorphism is a kernel and every epimorphism is a cokernel.
With that, we can define:
$Im(f)= kernel(cokernel(f))$
$Coim(f)=cokernel(kernel(f))$
where $k: K longrightarrow A$ is a kernel of $f$ if $ k circ f = 0_{K,B}$ and whenever $h circ f = 0$, $h$ factors uniquely through $k$. (i.e. $h= k circ h'$). And $q:B longrightarrow C$ is a cokernel of $f$ if $ f circ q = 0_{A,C}$ and whenever $f circ h = 0$, $h$ factors uniquely through $q$ (i.e. $h = h' circ q$).
Notation: $0_{A,B}$ is the zero morphism obtained composing $A longrightarrow 0$ and $0 longrightarrow B$.
Once I have defined $Im(f)$ and $Coim(f)$, I want to check that there exists a natural map between them, called $overline{f}$ which is isomorphism.
I have been working with epimorphisms and monomorphisms notions but I am a little bit lost. Any help/hint?
Related but do not understand: Equivalent conditions for a preabelian category to be abelian
abstract-algebra commutative-algebra category-theory abelian-categories
$endgroup$
$begingroup$
It depends on the definition of abealian category you have in mind: there are very different ones.
$endgroup$
– Tommaso Scognamiglio
Dec 4 '18 at 11:02
$begingroup$
My bad, already edited. Thank you.
$endgroup$
– idriskameni
Dec 4 '18 at 11:06
$begingroup$
you need something more in your third axiom, just being a kernel does not suffice, you need it to be a kernel of its cokernel, respectively cokernel of its kernel. otherwise you have too little control!!!!
$endgroup$
– Enkidu
Dec 4 '18 at 11:08
$begingroup$
I do not understand you. Could you be more specific?
$endgroup$
– idriskameni
Dec 4 '18 at 11:10
$begingroup$
your definition just states that monics and epics are kernels and cokernels, but they need to be that also in a natural way, hence you actually want that your epimorphisms are the cokernels of their kernels! and monomorphisms dually
$endgroup$
– Enkidu
Dec 4 '18 at 11:11
|
show 1 more comment
$begingroup$
Suppose $f: A longrightarrow B$ is a morphism in an abelian category $mathcal{C}$.
What I consider an abelian category:
$mathcal{C}$ is additive.- Every morphism has a kernel and a cokernel.
- Every monomorphism is a kernel and every epimorphism is a cokernel.
With that, we can define:
$Im(f)= kernel(cokernel(f))$
$Coim(f)=cokernel(kernel(f))$
where $k: K longrightarrow A$ is a kernel of $f$ if $ k circ f = 0_{K,B}$ and whenever $h circ f = 0$, $h$ factors uniquely through $k$. (i.e. $h= k circ h'$). And $q:B longrightarrow C$ is a cokernel of $f$ if $ f circ q = 0_{A,C}$ and whenever $f circ h = 0$, $h$ factors uniquely through $q$ (i.e. $h = h' circ q$).
Notation: $0_{A,B}$ is the zero morphism obtained composing $A longrightarrow 0$ and $0 longrightarrow B$.
Once I have defined $Im(f)$ and $Coim(f)$, I want to check that there exists a natural map between them, called $overline{f}$ which is isomorphism.
I have been working with epimorphisms and monomorphisms notions but I am a little bit lost. Any help/hint?
Related but do not understand: Equivalent conditions for a preabelian category to be abelian
abstract-algebra commutative-algebra category-theory abelian-categories
$endgroup$
Suppose $f: A longrightarrow B$ is a morphism in an abelian category $mathcal{C}$.
What I consider an abelian category:
$mathcal{C}$ is additive.- Every morphism has a kernel and a cokernel.
- Every monomorphism is a kernel and every epimorphism is a cokernel.
With that, we can define:
$Im(f)= kernel(cokernel(f))$
$Coim(f)=cokernel(kernel(f))$
where $k: K longrightarrow A$ is a kernel of $f$ if $ k circ f = 0_{K,B}$ and whenever $h circ f = 0$, $h$ factors uniquely through $k$. (i.e. $h= k circ h'$). And $q:B longrightarrow C$ is a cokernel of $f$ if $ f circ q = 0_{A,C}$ and whenever $f circ h = 0$, $h$ factors uniquely through $q$ (i.e. $h = h' circ q$).
Notation: $0_{A,B}$ is the zero morphism obtained composing $A longrightarrow 0$ and $0 longrightarrow B$.
Once I have defined $Im(f)$ and $Coim(f)$, I want to check that there exists a natural map between them, called $overline{f}$ which is isomorphism.
I have been working with epimorphisms and monomorphisms notions but I am a little bit lost. Any help/hint?
Related but do not understand: Equivalent conditions for a preabelian category to be abelian
abstract-algebra commutative-algebra category-theory abelian-categories
abstract-algebra commutative-algebra category-theory abelian-categories
edited Dec 4 '18 at 11:06
idriskameni
asked Dec 4 '18 at 10:45
idriskameniidriskameni
648317
648317
$begingroup$
It depends on the definition of abealian category you have in mind: there are very different ones.
$endgroup$
– Tommaso Scognamiglio
Dec 4 '18 at 11:02
$begingroup$
My bad, already edited. Thank you.
$endgroup$
– idriskameni
Dec 4 '18 at 11:06
$begingroup$
you need something more in your third axiom, just being a kernel does not suffice, you need it to be a kernel of its cokernel, respectively cokernel of its kernel. otherwise you have too little control!!!!
$endgroup$
– Enkidu
Dec 4 '18 at 11:08
$begingroup$
I do not understand you. Could you be more specific?
$endgroup$
– idriskameni
Dec 4 '18 at 11:10
$begingroup$
your definition just states that monics and epics are kernels and cokernels, but they need to be that also in a natural way, hence you actually want that your epimorphisms are the cokernels of their kernels! and monomorphisms dually
$endgroup$
– Enkidu
Dec 4 '18 at 11:11
|
show 1 more comment
$begingroup$
It depends on the definition of abealian category you have in mind: there are very different ones.
$endgroup$
– Tommaso Scognamiglio
Dec 4 '18 at 11:02
$begingroup$
My bad, already edited. Thank you.
$endgroup$
– idriskameni
Dec 4 '18 at 11:06
$begingroup$
you need something more in your third axiom, just being a kernel does not suffice, you need it to be a kernel of its cokernel, respectively cokernel of its kernel. otherwise you have too little control!!!!
$endgroup$
– Enkidu
Dec 4 '18 at 11:08
$begingroup$
I do not understand you. Could you be more specific?
$endgroup$
– idriskameni
Dec 4 '18 at 11:10
$begingroup$
your definition just states that monics and epics are kernels and cokernels, but they need to be that also in a natural way, hence you actually want that your epimorphisms are the cokernels of their kernels! and monomorphisms dually
$endgroup$
– Enkidu
Dec 4 '18 at 11:11
$begingroup$
It depends on the definition of abealian category you have in mind: there are very different ones.
$endgroup$
– Tommaso Scognamiglio
Dec 4 '18 at 11:02
$begingroup$
It depends on the definition of abealian category you have in mind: there are very different ones.
$endgroup$
– Tommaso Scognamiglio
Dec 4 '18 at 11:02
$begingroup$
My bad, already edited. Thank you.
$endgroup$
– idriskameni
Dec 4 '18 at 11:06
$begingroup$
My bad, already edited. Thank you.
$endgroup$
– idriskameni
Dec 4 '18 at 11:06
$begingroup$
you need something more in your third axiom, just being a kernel does not suffice, you need it to be a kernel of its cokernel, respectively cokernel of its kernel. otherwise you have too little control!!!!
$endgroup$
– Enkidu
Dec 4 '18 at 11:08
$begingroup$
you need something more in your third axiom, just being a kernel does not suffice, you need it to be a kernel of its cokernel, respectively cokernel of its kernel. otherwise you have too little control!!!!
$endgroup$
– Enkidu
Dec 4 '18 at 11:08
$begingroup$
I do not understand you. Could you be more specific?
$endgroup$
– idriskameni
Dec 4 '18 at 11:10
$begingroup$
I do not understand you. Could you be more specific?
$endgroup$
– idriskameni
Dec 4 '18 at 11:10
$begingroup$
your definition just states that monics and epics are kernels and cokernels, but they need to be that also in a natural way, hence you actually want that your epimorphisms are the cokernels of their kernels! and monomorphisms dually
$endgroup$
– Enkidu
Dec 4 '18 at 11:11
$begingroup$
your definition just states that monics and epics are kernels and cokernels, but they need to be that also in a natural way, hence you actually want that your epimorphisms are the cokernels of their kernels! and monomorphisms dually
$endgroup$
– Enkidu
Dec 4 '18 at 11:11
|
show 1 more comment
1 Answer
1
active
oldest
votes
$begingroup$
the natural map comes from the following construction:
consider: $A xrightarrow{f} B$ , denote by $K hookrightarrow A$ and $B twoheadrightarrow C$ the kernel and cokernel of $f$.
firthermore denote by $K_C hookrightarrow B$ the kernel of the cokernel of f (the image) and by $B twoheadrightarrow C_K $ the cokernel of the kernel (the coimage)
then we know that $K hookrightarrow A xrightarrow{f} B$ is $0$ hence this factors over $C_K$ as $C_K xrightarrow{alpha} B$, now since $A twoheadrightarrow C_K$ is an epic, we can deduce, since $A xrightarrow{f} B twoheadrightarrow C$ is $0$ that $alpha$ factors over $K_C$ as $beta: C_K to K_C$ and this is your desired map.
Remark, kernels are in general monics and cokernels epics, but not generally the other way around, hence this comes into play for showing that this is an iso.
$endgroup$
$begingroup$
I am a little bit lost when you say that it factors over $C_K$ as... or it factors over $K_C$ as... Could you explain a bit more? Thank you very much.
$endgroup$
– idriskameni
Dec 4 '18 at 16:26
1
$begingroup$
the universal property of the kernel $K xrightarrow{iota} X$ of $f:A to B$ states that every morphism $g$ such that $fcirc g = 0$ factors uniquely over $K xrightarrow{iota} X$, i.e. there is a unique $widehat{g}$ such that $iota circ widehat{g}=g$ (this uniqueness by the way gives that every kernel is a monic). And for the cokernel dually. I hope that makes the factoring clearer. In the end you use the univ property of the cokernel of the kernel first to factor the morphism $f$ over the coimage and then you do the same thing dually for the image using the univ property of the kernel
$endgroup$
– Enkidu
Dec 5 '18 at 10:11
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%2f3025415%2foverlinef-is-isomorphism-in-abelian-category%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$
the natural map comes from the following construction:
consider: $A xrightarrow{f} B$ , denote by $K hookrightarrow A$ and $B twoheadrightarrow C$ the kernel and cokernel of $f$.
firthermore denote by $K_C hookrightarrow B$ the kernel of the cokernel of f (the image) and by $B twoheadrightarrow C_K $ the cokernel of the kernel (the coimage)
then we know that $K hookrightarrow A xrightarrow{f} B$ is $0$ hence this factors over $C_K$ as $C_K xrightarrow{alpha} B$, now since $A twoheadrightarrow C_K$ is an epic, we can deduce, since $A xrightarrow{f} B twoheadrightarrow C$ is $0$ that $alpha$ factors over $K_C$ as $beta: C_K to K_C$ and this is your desired map.
Remark, kernels are in general monics and cokernels epics, but not generally the other way around, hence this comes into play for showing that this is an iso.
$endgroup$
$begingroup$
I am a little bit lost when you say that it factors over $C_K$ as... or it factors over $K_C$ as... Could you explain a bit more? Thank you very much.
$endgroup$
– idriskameni
Dec 4 '18 at 16:26
1
$begingroup$
the universal property of the kernel $K xrightarrow{iota} X$ of $f:A to B$ states that every morphism $g$ such that $fcirc g = 0$ factors uniquely over $K xrightarrow{iota} X$, i.e. there is a unique $widehat{g}$ such that $iota circ widehat{g}=g$ (this uniqueness by the way gives that every kernel is a monic). And for the cokernel dually. I hope that makes the factoring clearer. In the end you use the univ property of the cokernel of the kernel first to factor the morphism $f$ over the coimage and then you do the same thing dually for the image using the univ property of the kernel
$endgroup$
– Enkidu
Dec 5 '18 at 10:11
add a comment |
$begingroup$
the natural map comes from the following construction:
consider: $A xrightarrow{f} B$ , denote by $K hookrightarrow A$ and $B twoheadrightarrow C$ the kernel and cokernel of $f$.
firthermore denote by $K_C hookrightarrow B$ the kernel of the cokernel of f (the image) and by $B twoheadrightarrow C_K $ the cokernel of the kernel (the coimage)
then we know that $K hookrightarrow A xrightarrow{f} B$ is $0$ hence this factors over $C_K$ as $C_K xrightarrow{alpha} B$, now since $A twoheadrightarrow C_K$ is an epic, we can deduce, since $A xrightarrow{f} B twoheadrightarrow C$ is $0$ that $alpha$ factors over $K_C$ as $beta: C_K to K_C$ and this is your desired map.
Remark, kernels are in general monics and cokernels epics, but not generally the other way around, hence this comes into play for showing that this is an iso.
$endgroup$
$begingroup$
I am a little bit lost when you say that it factors over $C_K$ as... or it factors over $K_C$ as... Could you explain a bit more? Thank you very much.
$endgroup$
– idriskameni
Dec 4 '18 at 16:26
1
$begingroup$
the universal property of the kernel $K xrightarrow{iota} X$ of $f:A to B$ states that every morphism $g$ such that $fcirc g = 0$ factors uniquely over $K xrightarrow{iota} X$, i.e. there is a unique $widehat{g}$ such that $iota circ widehat{g}=g$ (this uniqueness by the way gives that every kernel is a monic). And for the cokernel dually. I hope that makes the factoring clearer. In the end you use the univ property of the cokernel of the kernel first to factor the morphism $f$ over the coimage and then you do the same thing dually for the image using the univ property of the kernel
$endgroup$
– Enkidu
Dec 5 '18 at 10:11
add a comment |
$begingroup$
the natural map comes from the following construction:
consider: $A xrightarrow{f} B$ , denote by $K hookrightarrow A$ and $B twoheadrightarrow C$ the kernel and cokernel of $f$.
firthermore denote by $K_C hookrightarrow B$ the kernel of the cokernel of f (the image) and by $B twoheadrightarrow C_K $ the cokernel of the kernel (the coimage)
then we know that $K hookrightarrow A xrightarrow{f} B$ is $0$ hence this factors over $C_K$ as $C_K xrightarrow{alpha} B$, now since $A twoheadrightarrow C_K$ is an epic, we can deduce, since $A xrightarrow{f} B twoheadrightarrow C$ is $0$ that $alpha$ factors over $K_C$ as $beta: C_K to K_C$ and this is your desired map.
Remark, kernels are in general monics and cokernels epics, but not generally the other way around, hence this comes into play for showing that this is an iso.
$endgroup$
the natural map comes from the following construction:
consider: $A xrightarrow{f} B$ , denote by $K hookrightarrow A$ and $B twoheadrightarrow C$ the kernel and cokernel of $f$.
firthermore denote by $K_C hookrightarrow B$ the kernel of the cokernel of f (the image) and by $B twoheadrightarrow C_K $ the cokernel of the kernel (the coimage)
then we know that $K hookrightarrow A xrightarrow{f} B$ is $0$ hence this factors over $C_K$ as $C_K xrightarrow{alpha} B$, now since $A twoheadrightarrow C_K$ is an epic, we can deduce, since $A xrightarrow{f} B twoheadrightarrow C$ is $0$ that $alpha$ factors over $K_C$ as $beta: C_K to K_C$ and this is your desired map.
Remark, kernels are in general monics and cokernels epics, but not generally the other way around, hence this comes into play for showing that this is an iso.
edited Dec 4 '18 at 11:40
answered Dec 4 '18 at 11:26
EnkiduEnkidu
1,28119
1,28119
$begingroup$
I am a little bit lost when you say that it factors over $C_K$ as... or it factors over $K_C$ as... Could you explain a bit more? Thank you very much.
$endgroup$
– idriskameni
Dec 4 '18 at 16:26
1
$begingroup$
the universal property of the kernel $K xrightarrow{iota} X$ of $f:A to B$ states that every morphism $g$ such that $fcirc g = 0$ factors uniquely over $K xrightarrow{iota} X$, i.e. there is a unique $widehat{g}$ such that $iota circ widehat{g}=g$ (this uniqueness by the way gives that every kernel is a monic). And for the cokernel dually. I hope that makes the factoring clearer. In the end you use the univ property of the cokernel of the kernel first to factor the morphism $f$ over the coimage and then you do the same thing dually for the image using the univ property of the kernel
$endgroup$
– Enkidu
Dec 5 '18 at 10:11
add a comment |
$begingroup$
I am a little bit lost when you say that it factors over $C_K$ as... or it factors over $K_C$ as... Could you explain a bit more? Thank you very much.
$endgroup$
– idriskameni
Dec 4 '18 at 16:26
1
$begingroup$
the universal property of the kernel $K xrightarrow{iota} X$ of $f:A to B$ states that every morphism $g$ such that $fcirc g = 0$ factors uniquely over $K xrightarrow{iota} X$, i.e. there is a unique $widehat{g}$ such that $iota circ widehat{g}=g$ (this uniqueness by the way gives that every kernel is a monic). And for the cokernel dually. I hope that makes the factoring clearer. In the end you use the univ property of the cokernel of the kernel first to factor the morphism $f$ over the coimage and then you do the same thing dually for the image using the univ property of the kernel
$endgroup$
– Enkidu
Dec 5 '18 at 10:11
$begingroup$
I am a little bit lost when you say that it factors over $C_K$ as... or it factors over $K_C$ as... Could you explain a bit more? Thank you very much.
$endgroup$
– idriskameni
Dec 4 '18 at 16:26
$begingroup$
I am a little bit lost when you say that it factors over $C_K$ as... or it factors over $K_C$ as... Could you explain a bit more? Thank you very much.
$endgroup$
– idriskameni
Dec 4 '18 at 16:26
1
1
$begingroup$
the universal property of the kernel $K xrightarrow{iota} X$ of $f:A to B$ states that every morphism $g$ such that $fcirc g = 0$ factors uniquely over $K xrightarrow{iota} X$, i.e. there is a unique $widehat{g}$ such that $iota circ widehat{g}=g$ (this uniqueness by the way gives that every kernel is a monic). And for the cokernel dually. I hope that makes the factoring clearer. In the end you use the univ property of the cokernel of the kernel first to factor the morphism $f$ over the coimage and then you do the same thing dually for the image using the univ property of the kernel
$endgroup$
– Enkidu
Dec 5 '18 at 10:11
$begingroup$
the universal property of the kernel $K xrightarrow{iota} X$ of $f:A to B$ states that every morphism $g$ such that $fcirc g = 0$ factors uniquely over $K xrightarrow{iota} X$, i.e. there is a unique $widehat{g}$ such that $iota circ widehat{g}=g$ (this uniqueness by the way gives that every kernel is a monic). And for the cokernel dually. I hope that makes the factoring clearer. In the end you use the univ property of the cokernel of the kernel first to factor the morphism $f$ over the coimage and then you do the same thing dually for the image using the univ property of the kernel
$endgroup$
– Enkidu
Dec 5 '18 at 10:11
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%2f3025415%2foverlinef-is-isomorphism-in-abelian-category%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
$begingroup$
It depends on the definition of abealian category you have in mind: there are very different ones.
$endgroup$
– Tommaso Scognamiglio
Dec 4 '18 at 11:02
$begingroup$
My bad, already edited. Thank you.
$endgroup$
– idriskameni
Dec 4 '18 at 11:06
$begingroup$
you need something more in your third axiom, just being a kernel does not suffice, you need it to be a kernel of its cokernel, respectively cokernel of its kernel. otherwise you have too little control!!!!
$endgroup$
– Enkidu
Dec 4 '18 at 11:08
$begingroup$
I do not understand you. Could you be more specific?
$endgroup$
– idriskameni
Dec 4 '18 at 11:10
$begingroup$
your definition just states that monics and epics are kernels and cokernels, but they need to be that also in a natural way, hence you actually want that your epimorphisms are the cokernels of their kernels! and monomorphisms dually
$endgroup$
– Enkidu
Dec 4 '18 at 11:11