Relationship between $ operatorname{Hom} (A, -)$ and $ operatorname{Hom}(-, B)$ functors?
$begingroup$
Wiki states that:
The pair of functors $ DeclareMathOperator{Hom}{Hom}Hom(A, –)$ and $ Hom(–, B)$ are related in a natural manner.
Than there is a commuting diagram, which I can't understand. Let's take one of its paths:
$ Hom(A, B) xrightarrow{Hom(A, f: B rightarrow B')} Hom(A, B') xrightarrow{Hom(h: A rightarrow A', B')} Hom(A', B')$
So, $Hom(A, B) xrightarrow{Hom(A, f: B rightarrow B')} Hom(A, B')$ maps ${ A rightarrow B }$ arrows to the ${ A rightarrow B' }$ arrows by a known way. Here things getting unclear to me: according to the path above, next morphism is $Hom(h: A rightarrow A', B')$. The problem is that it does not work with arrows of type ${ A rightarrow B' }$, it instead expects arrows of type ${ A leftarrow B' }$.
Hence, I got stuck.
I assume that this is some kind of common "abuse of notation".
I would like to know how to read abovementioned diagram and define proper natural transformation (or natural isomorphism?) between the pair of functors $Hom(A, –)$ and $Hom(–, B)$?
category-theory definition
edited Jan 6 at 12:28
Bernard
123k741117
asked Jan 6 at 10:04
Sereja BogolubovSereja Bogolubov
617211
$endgroup$
|
show 1 more comment
$begingroup$
Wiki states that:
The pair of functors $ DeclareMathOperator{Hom}{Hom}Hom(A, –)$ and $ Hom(–, B)$ are related in a natural manner.
Than there is a commuting diagram, which I can't understand. Let's take one of its paths:
$ Hom(A, B) xrightarrow{Hom(A, f: B rightarrow B')} Hom(A, B') xrightarrow{Hom(h: A rightarrow A', B')} Hom(A', B')$
So, $Hom(A, B) xrightarrow{Hom(A, f: B rightarrow B')} Hom(A, B')$ maps ${ A rightarrow B }$ arrows to the ${ A rightarrow B' }$ arrows by a known way. Here things getting unclear to me: according to the path above, next morphism is $Hom(h: A rightarrow A', B')$. The problem is that it does not work with arrows of type ${ A rightarrow B' }$, it instead expects arrows of type ${ A leftarrow B' }$.
Hence, I got stuck.
I assume that this is some kind of common "abuse of notation".
I would like to know how to read abovementioned diagram and define proper natural transformation (or natural isomorphism?) between the pair of functors $Hom(A, –)$ and $Hom(–, B)$?
category-theory definition
edited Jan 6 at 12:28
Bernard
123k741117
asked Jan 6 at 10:04
Sereja BogolubovSereja Bogolubov
617211
$endgroup$
$begingroup$
If $mathcal C$ denotes the category then $mathsf{Hom}(A,-):mathcal Ctomathbf{Set}$ but $mathsf{Hom}(-,B):mathcal C^{text{op}}tomathbf{Set}$. So they have different domains so that there is no natural transformation.
$endgroup$
– drhab
Jan 6 at 10:10
$begingroup$
@drhab, do you claim that wiki is mistaken and $Hom(A, -)$, $Hom(-, B)$ do not relate in a natural way?
$endgroup$
– Sereja Bogolubov
Jan 6 at 10:14
$begingroup$
No I am not saying that. I am only saying that a natural transformation between both functors (that you would like to define) does not exist. For that you need functors $F,G:mathcal Ctomathcal C'$ having the same domain and codomain. So "related in a natural manner" is not the same as "existence of natural transformation".
$endgroup$
– drhab
Jan 6 at 10:17
$begingroup$
@drhab, why then wiki states that both relate in a natural way, linking natural transformation?
$endgroup$
– Sereja Bogolubov
Jan 6 at 10:21
$begingroup$
The diagram shown looks quite natural. It visualizes a natural transformation $mathsf{Hom}(A,-)tomathsf{Hom}(A',-)$ and also a natural transformation $mathsf{Hom}(-,B)tomathsf{Hom}(-,B')$. For the first we have components $mathsf{Hom}(h,B):mathsf{Hom}(A,B)tomathsf{Hom}(A',B)$ and for the second components $mathsf{Hom}(A,f):mathsf{Hom}(A,B)tomathsf{Hom}(A,B')$. In both cases the transformation is completely determined by an arrow ($h$ in first and $f$ in second case) corresponding with Yoneda.
$endgroup$
– drhab
Jan 6 at 10:28
|
show 1 more comment
$begingroup$
Wiki states that:
The pair of functors $ DeclareMathOperator{Hom}{Hom}Hom(A, –)$ and $ Hom(–, B)$ are related in a natural manner.
Than there is a commuting diagram, which I can't understand. Let's take one of its paths:
$ Hom(A, B) xrightarrow{Hom(A, f: B rightarrow B')} Hom(A, B') xrightarrow{Hom(h: A rightarrow A', B')} Hom(A', B')$
So, $Hom(A, B) xrightarrow{Hom(A, f: B rightarrow B')} Hom(A, B')$ maps ${ A rightarrow B }$ arrows to the ${ A rightarrow B' }$ arrows by a known way. Here things getting unclear to me: according to the path above, next morphism is $Hom(h: A rightarrow A', B')$. The problem is that it does not work with arrows of type ${ A rightarrow B' }$, it instead expects arrows of type ${ A leftarrow B' }$.
Hence, I got stuck.
I assume that this is some kind of common "abuse of notation".
I would like to know how to read abovementioned diagram and define proper natural transformation (or natural isomorphism?) between the pair of functors $Hom(A, –)$ and $Hom(–, B)$?
category-theory definition
edited Jan 6 at 12:28
Bernard
123k741117
asked Jan 6 at 10:04
Sereja BogolubovSereja Bogolubov
617211
$endgroup$
Wiki states that:
The pair of functors $ DeclareMathOperator{Hom}{Hom}Hom(A, –)$ and $ Hom(–, B)$ are related in a natural manner.
Than there is a commuting diagram, which I can't understand. Let's take one of its paths:
$ Hom(A, B) xrightarrow{Hom(A, f: B rightarrow B')} Hom(A, B') xrightarrow{Hom(h: A rightarrow A', B')} Hom(A', B')$
So, $Hom(A, B) xrightarrow{Hom(A, f: B rightarrow B')} Hom(A, B')$ maps ${ A rightarrow B }$ arrows to the ${ A rightarrow B' }$ arrows by a known way. Here things getting unclear to me: according to the path above, next morphism is $Hom(h: A rightarrow A', B')$. The problem is that it does not work with arrows of type ${ A rightarrow B' }$, it instead expects arrows of type ${ A leftarrow B' }$.
Hence, I got stuck.
I assume that this is some kind of common "abuse of notation".
I would like to know how to read abovementioned diagram and define proper natural transformation (or natural isomorphism?) between the pair of functors $Hom(A, –)$ and $Hom(–, B)$?
category-theory definition
category-theory definition
edited Jan 6 at 12:28
Bernard
123k741117
asked Jan 6 at 10:04
Sereja BogolubovSereja Bogolubov
617211
edited Jan 6 at 12:28
Bernard
123k741117
asked Jan 6 at 10:04
Sereja BogolubovSereja Bogolubov
617211
edited Jan 6 at 12:28
Bernard
123k741117
edited Jan 6 at 12:28
Bernard
123k741117
edited Jan 6 at 12:28
Bernard
123k741117
123k741117
asked Jan 6 at 10:04
Sereja BogolubovSereja Bogolubov
617211
asked Jan 6 at 10:04
Sereja BogolubovSereja Bogolubov
617211
asked Jan 6 at 10:04
Sereja BogolubovSereja Bogolubov
617211
617211
$begingroup$
If $mathcal C$ denotes the category then $mathsf{Hom}(A,-):mathcal Ctomathbf{Set}$ but $mathsf{Hom}(-,B):mathcal C^{text{op}}tomathbf{Set}$. So they have different domains so that there is no natural transformation.
$endgroup$
– drhab
Jan 6 at 10:10
$begingroup$
@drhab, do you claim that wiki is mistaken and $Hom(A, -)$, $Hom(-, B)$ do not relate in a natural way?
$endgroup$
– Sereja Bogolubov
Jan 6 at 10:14
$begingroup$
No I am not saying that. I am only saying that a natural transformation between both functors (that you would like to define) does not exist. For that you need functors $F,G:mathcal Ctomathcal C'$ having the same domain and codomain. So "related in a natural manner" is not the same as "existence of natural transformation".
$endgroup$
– drhab
Jan 6 at 10:17
$begingroup$
@drhab, why then wiki states that both relate in a natural way, linking natural transformation?
$endgroup$
– Sereja Bogolubov
Jan 6 at 10:21
$begingroup$
The diagram shown looks quite natural. It visualizes a natural transformation $mathsf{Hom}(A,-)tomathsf{Hom}(A',-)$ and also a natural transformation $mathsf{Hom}(-,B)tomathsf{Hom}(-,B')$. For the first we have components $mathsf{Hom}(h,B):mathsf{Hom}(A,B)tomathsf{Hom}(A',B)$ and for the second components $mathsf{Hom}(A,f):mathsf{Hom}(A,B)tomathsf{Hom}(A,B')$. In both cases the transformation is completely determined by an arrow ($h$ in first and $f$ in second case) corresponding with Yoneda.
$endgroup$
– drhab
Jan 6 at 10:28
|
show 1 more comment
$begingroup$
If $mathcal C$ denotes the category then $mathsf{Hom}(A,-):mathcal Ctomathbf{Set}$ but $mathsf{Hom}(-,B):mathcal C^{text{op}}tomathbf{Set}$. So they have different domains so that there is no natural transformation.
$endgroup$
– drhab
Jan 6 at 10:10
$begingroup$
@drhab, do you claim that wiki is mistaken and $Hom(A, -)$, $Hom(-, B)$ do not relate in a natural way?
$endgroup$
– Sereja Bogolubov
Jan 6 at 10:14
$begingroup$
No I am not saying that. I am only saying that a natural transformation between both functors (that you would like to define) does not exist. For that you need functors $F,G:mathcal Ctomathcal C'$ having the same domain and codomain. So "related in a natural manner" is not the same as "existence of natural transformation".
$endgroup$
– drhab
Jan 6 at 10:17
$begingroup$
@drhab, why then wiki states that both relate in a natural way, linking natural transformation?
$endgroup$
– Sereja Bogolubov
Jan 6 at 10:21
$begingroup$
The diagram shown looks quite natural. It visualizes a natural transformation $mathsf{Hom}(A,-)tomathsf{Hom}(A',-)$ and also a natural transformation $mathsf{Hom}(-,B)tomathsf{Hom}(-,B')$. For the first we have components $mathsf{Hom}(h,B):mathsf{Hom}(A,B)tomathsf{Hom}(A',B)$ and for the second components $mathsf{Hom}(A,f):mathsf{Hom}(A,B)tomathsf{Hom}(A,B')$. In both cases the transformation is completely determined by an arrow ($h$ in first and $f$ in second case) corresponding with Yoneda.
$endgroup$
– drhab
Jan 6 at 10:28
$begingroup$
If $mathcal C$ denotes the category then $mathsf{Hom}(A,-):mathcal Ctomathbf{Set}$ but $mathsf{Hom}(-,B):mathcal C^{text{op}}tomathbf{Set}$. So they have different domains so that there is no natural transformation.
$endgroup$
– drhab
Jan 6 at 10:10
$begingroup$
If $mathcal C$ denotes the category then $mathsf{Hom}(A,-):mathcal Ctomathbf{Set}$ but $mathsf{Hom}(-,B):mathcal C^{text{op}}tomathbf{Set}$. So they have different domains so that there is no natural transformation.
$endgroup$
– drhab
Jan 6 at 10:10
$begingroup$
@drhab, do you claim that wiki is mistaken and $Hom(A, -)$, $Hom(-, B)$ do not relate in a natural way?
$endgroup$
– Sereja Bogolubov
Jan 6 at 10:14
$begingroup$
@drhab, do you claim that wiki is mistaken and $Hom(A, -)$, $Hom(-, B)$ do not relate in a natural way?
$endgroup$
– Sereja Bogolubov
Jan 6 at 10:14
$begingroup$
No I am not saying that. I am only saying that a natural transformation between both functors (that you would like to define) does not exist. For that you need functors $F,G:mathcal Ctomathcal C'$ having the same domain and codomain. So "related in a natural manner" is not the same as "existence of natural transformation".
$endgroup$
– drhab
Jan 6 at 10:17
$begingroup$
No I am not saying that. I am only saying that a natural transformation between both functors (that you would like to define) does not exist. For that you need functors $F,G:mathcal Ctomathcal C'$ having the same domain and codomain. So "related in a natural manner" is not the same as "existence of natural transformation".
$endgroup$
– drhab
Jan 6 at 10:17
$begingroup$
@drhab, why then wiki states that both relate in a natural way, linking natural transformation?
$endgroup$
– Sereja Bogolubov
Jan 6 at 10:21
$begingroup$
@drhab, why then wiki states that both relate in a natural way, linking natural transformation?
$endgroup$
– Sereja Bogolubov
Jan 6 at 10:21
$begingroup$
The diagram shown looks quite natural. It visualizes a natural transformation $mathsf{Hom}(A,-)tomathsf{Hom}(A',-)$ and also a natural transformation $mathsf{Hom}(-,B)tomathsf{Hom}(-,B')$. For the first we have components $mathsf{Hom}(h,B):mathsf{Hom}(A,B)tomathsf{Hom}(A',B)$ and for the second components $mathsf{Hom}(A,f):mathsf{Hom}(A,B)tomathsf{Hom}(A,B')$. In both cases the transformation is completely determined by an arrow ($h$ in first and $f$ in second case) corresponding with Yoneda.
$endgroup$
– drhab
Jan 6 at 10:28
$begingroup$
The diagram shown looks quite natural. It visualizes a natural transformation $mathsf{Hom}(A,-)tomathsf{Hom}(A',-)$ and also a natural transformation $mathsf{Hom}(-,B)tomathsf{Hom}(-,B')$. For the first we have components $mathsf{Hom}(h,B):mathsf{Hom}(A,B)tomathsf{Hom}(A',B)$ and for the second components $mathsf{Hom}(A,f):mathsf{Hom}(A,B)tomathsf{Hom}(A,B')$. In both cases the transformation is completely determined by an arrow ($h$ in first and $f$ in second case) corresponding with Yoneda.
$endgroup$
– drhab
Jan 6 at 10:28
|
show 1 more comment
1 Answer
1
active
oldest
votes
$begingroup$
In short: the commutativity of the diagram tell us two things at the same time and both things involve natural transformations:
If $tau_B:=mathsf{Hom}(h,B):mathsf{Hom}(A,B)tomathsf{Hom}(A',B)$ for every object $B$ then $tau$ is a natural transformation $mathsf{Hom}(A,-)tomathsf{Hom}(A',-)$.
If $rho_A:=mathsf{Hom}(A,f):mathsf{Hom}(A,B)tomathsf{Hom}(A,B')$ for every object $A$ then $rho$ is a natural transformation $mathsf{Hom}(-,B)tomathsf{Hom}(-,B')$.
Let $mathcal C$ denotes the category that is involved.
Then $h$ denotes an arrow in homset $mathcal C^{text{op}}(A,A')=mathcal C(A',A)$ and $tau_B=mathsf{Hom}(h,B)$ is prescribed by: $$umapsto ucirc h$$
Further $f$ denotes an arrow in homset $mathcal C(B,B')$ and $rho_B=mathsf{Hom}(A,f)$ is prescribed by: $$umapsto fcirc u$$
answered Jan 6 at 11:03
drhabdrhab
103k545136
$endgroup$
$begingroup$
I can't follow. AFAIU, $Hom(h, B)$ is $Hom(B, A) rightarrow Hom(B, A')$, but your statement is on the contrary. And what does it mean, that $mathcal C^{text{op}}(A,A')=mathcal C(A',A)$? Do you mean that both sets are isomorphic?
$endgroup$
– Sereja Bogolubov
Jan 6 at 14:22
1
$begingroup$
@SerejaBogolubov, you are mistaken, $Hom(h,B) colon Hom(A,B) to Hom(A',B)$. The equation $mathcal C^text{op}(A,A') = mathcal C(A,A')$ is the definition of the hom-set of arrows from $A$ to $A'$ into the opposite category $mathcal C^text{op}$: the category obtained by $mathcal C$ reversing the direction of the arrows.
$endgroup$
– Giorgio Mossa
Jan 6 at 14:27
$begingroup$
@GiorgioMossa, what is $Hom(B, h)$ then?
$endgroup$
– Sereja Bogolubov
Jan 6 at 14:28
$begingroup$
Let $h:A'to A$. Then $mathsf{Hom}(h,B)$ is a function that has $mathsf{Hom}(A,B)$ as domain. Element $uinmathsf{Hom}(A,B)$ is sent to $ucirc hinmathsf{Hom}(A',B)$. Are you familiar with opposite category?
$endgroup$
– drhab
Jan 6 at 14:29
$begingroup$
A function of type $Hom(B,A') to Hom(B,A)$, assuming $h colon A to A'$.
$endgroup$
– Giorgio Mossa
Jan 6 at 14:30
|
show 3 more comments
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%2f3063671%2frelationship-between-operatornamehom-a-and-operatornamehom-b%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$
In short: the commutativity of the diagram tell us two things at the same time and both things involve natural transformations:
If $tau_B:=mathsf{Hom}(h,B):mathsf{Hom}(A,B)tomathsf{Hom}(A',B)$ for every object $B$ then $tau$ is a natural transformation $mathsf{Hom}(A,-)tomathsf{Hom}(A',-)$.
If $rho_A:=mathsf{Hom}(A,f):mathsf{Hom}(A,B)tomathsf{Hom}(A,B')$ for every object $A$ then $rho$ is a natural transformation $mathsf{Hom}(-,B)tomathsf{Hom}(-,B')$.
Let $mathcal C$ denotes the category that is involved.
Then $h$ denotes an arrow in homset $mathcal C^{text{op}}(A,A')=mathcal C(A',A)$ and $tau_B=mathsf{Hom}(h,B)$ is prescribed by: $$umapsto ucirc h$$
Further $f$ denotes an arrow in homset $mathcal C(B,B')$ and $rho_B=mathsf{Hom}(A,f)$ is prescribed by: $$umapsto fcirc u$$
answered Jan 6 at 11:03
drhabdrhab
103k545136
$endgroup$
$begingroup$
I can't follow. AFAIU, $Hom(h, B)$ is $Hom(B, A) rightarrow Hom(B, A')$, but your statement is on the contrary. And what does it mean, that $mathcal C^{text{op}}(A,A')=mathcal C(A',A)$? Do you mean that both sets are isomorphic?
$endgroup$
– Sereja Bogolubov
Jan 6 at 14:22
1
$begingroup$
@SerejaBogolubov, you are mistaken, $Hom(h,B) colon Hom(A,B) to Hom(A',B)$. The equation $mathcal C^text{op}(A,A') = mathcal C(A,A')$ is the definition of the hom-set of arrows from $A$ to $A'$ into the opposite category $mathcal C^text{op}$: the category obtained by $mathcal C$ reversing the direction of the arrows.
$endgroup$
– Giorgio Mossa
Jan 6 at 14:27
$begingroup$
@GiorgioMossa, what is $Hom(B, h)$ then?
$endgroup$
– Sereja Bogolubov
Jan 6 at 14:28
$begingroup$
Let $h:A'to A$. Then $mathsf{Hom}(h,B)$ is a function that has $mathsf{Hom}(A,B)$ as domain. Element $uinmathsf{Hom}(A,B)$ is sent to $ucirc hinmathsf{Hom}(A',B)$. Are you familiar with opposite category?
$endgroup$
– drhab
Jan 6 at 14:29
$begingroup$
A function of type $Hom(B,A') to Hom(B,A)$, assuming $h colon A to A'$.
$endgroup$
– Giorgio Mossa
Jan 6 at 14:30
|
show 3 more comments
$begingroup$
In short: the commutativity of the diagram tell us two things at the same time and both things involve natural transformations:
If $tau_B:=mathsf{Hom}(h,B):mathsf{Hom}(A,B)tomathsf{Hom}(A',B)$ for every object $B$ then $tau$ is a natural transformation $mathsf{Hom}(A,-)tomathsf{Hom}(A',-)$.
If $rho_A:=mathsf{Hom}(A,f):mathsf{Hom}(A,B)tomathsf{Hom}(A,B')$ for every object $A$ then $rho$ is a natural transformation $mathsf{Hom}(-,B)tomathsf{Hom}(-,B')$.
Let $mathcal C$ denotes the category that is involved.
Then $h$ denotes an arrow in homset $mathcal C^{text{op}}(A,A')=mathcal C(A',A)$ and $tau_B=mathsf{Hom}(h,B)$ is prescribed by: $$umapsto ucirc h$$
Further $f$ denotes an arrow in homset $mathcal C(B,B')$ and $rho_B=mathsf{Hom}(A,f)$ is prescribed by: $$umapsto fcirc u$$
answered Jan 6 at 11:03
drhabdrhab
103k545136
$endgroup$
$begingroup$
I can't follow. AFAIU, $Hom(h, B)$ is $Hom(B, A) rightarrow Hom(B, A')$, but your statement is on the contrary. And what does it mean, that $mathcal C^{text{op}}(A,A')=mathcal C(A',A)$? Do you mean that both sets are isomorphic?
$endgroup$
– Sereja Bogolubov
Jan 6 at 14:22
1
$begingroup$
@SerejaBogolubov, you are mistaken, $Hom(h,B) colon Hom(A,B) to Hom(A',B)$. The equation $mathcal C^text{op}(A,A') = mathcal C(A,A')$ is the definition of the hom-set of arrows from $A$ to $A'$ into the opposite category $mathcal C^text{op}$: the category obtained by $mathcal C$ reversing the direction of the arrows.
$endgroup$
– Giorgio Mossa
Jan 6 at 14:27
$begingroup$
@GiorgioMossa, what is $Hom(B, h)$ then?
$endgroup$
– Sereja Bogolubov
Jan 6 at 14:28
$begingroup$
Let $h:A'to A$. Then $mathsf{Hom}(h,B)$ is a function that has $mathsf{Hom}(A,B)$ as domain. Element $uinmathsf{Hom}(A,B)$ is sent to $ucirc hinmathsf{Hom}(A',B)$. Are you familiar with opposite category?
$endgroup$
– drhab
Jan 6 at 14:29
$begingroup$
A function of type $Hom(B,A') to Hom(B,A)$, assuming $h colon A to A'$.
$endgroup$
– Giorgio Mossa
Jan 6 at 14:30
|
show 3 more comments
$begingroup$
In short: the commutativity of the diagram tell us two things at the same time and both things involve natural transformations:
If $tau_B:=mathsf{Hom}(h,B):mathsf{Hom}(A,B)tomathsf{Hom}(A',B)$ for every object $B$ then $tau$ is a natural transformation $mathsf{Hom}(A,-)tomathsf{Hom}(A',-)$.
If $rho_A:=mathsf{Hom}(A,f):mathsf{Hom}(A,B)tomathsf{Hom}(A,B')$ for every object $A$ then $rho$ is a natural transformation $mathsf{Hom}(-,B)tomathsf{Hom}(-,B')$.
Let $mathcal C$ denotes the category that is involved.
Then $h$ denotes an arrow in homset $mathcal C^{text{op}}(A,A')=mathcal C(A',A)$ and $tau_B=mathsf{Hom}(h,B)$ is prescribed by: $$umapsto ucirc h$$
Further $f$ denotes an arrow in homset $mathcal C(B,B')$ and $rho_B=mathsf{Hom}(A,f)$ is prescribed by: $$umapsto fcirc u$$
answered Jan 6 at 11:03
drhabdrhab
103k545136
$endgroup$
In short: the commutativity of the diagram tell us two things at the same time and both things involve natural transformations:
If $tau_B:=mathsf{Hom}(h,B):mathsf{Hom}(A,B)tomathsf{Hom}(A',B)$ for every object $B$ then $tau$ is a natural transformation $mathsf{Hom}(A,-)tomathsf{Hom}(A',-)$.
If $rho_A:=mathsf{Hom}(A,f):mathsf{Hom}(A,B)tomathsf{Hom}(A,B')$ for every object $A$ then $rho$ is a natural transformation $mathsf{Hom}(-,B)tomathsf{Hom}(-,B')$.
Let $mathcal C$ denotes the category that is involved.
Then $h$ denotes an arrow in homset $mathcal C^{text{op}}(A,A')=mathcal C(A',A)$ and $tau_B=mathsf{Hom}(h,B)$ is prescribed by: $$umapsto ucirc h$$
Further $f$ denotes an arrow in homset $mathcal C(B,B')$ and $rho_B=mathsf{Hom}(A,f)$ is prescribed by: $$umapsto fcirc u$$
answered Jan 6 at 11:03
drhabdrhab
103k545136
answered Jan 6 at 11:03
drhabdrhab
103k545136
answered Jan 6 at 11:03
drhabdrhab
103k545136
answered Jan 6 at 11:03
drhabdrhab
103k545136
103k545136
$begingroup$
I can't follow. AFAIU, $Hom(h, B)$ is $Hom(B, A) rightarrow Hom(B, A')$, but your statement is on the contrary. And what does it mean, that $mathcal C^{text{op}}(A,A')=mathcal C(A',A)$? Do you mean that both sets are isomorphic?
$endgroup$
– Sereja Bogolubov
Jan 6 at 14:22
1
$begingroup$
@SerejaBogolubov, you are mistaken, $Hom(h,B) colon Hom(A,B) to Hom(A',B)$. The equation $mathcal C^text{op}(A,A') = mathcal C(A,A')$ is the definition of the hom-set of arrows from $A$ to $A'$ into the opposite category $mathcal C^text{op}$: the category obtained by $mathcal C$ reversing the direction of the arrows.
$endgroup$
– Giorgio Mossa
Jan 6 at 14:27
$begingroup$
@GiorgioMossa, what is $Hom(B, h)$ then?
$endgroup$
– Sereja Bogolubov
Jan 6 at 14:28
$begingroup$
Let $h:A'to A$. Then $mathsf{Hom}(h,B)$ is a function that has $mathsf{Hom}(A,B)$ as domain. Element $uinmathsf{Hom}(A,B)$ is sent to $ucirc hinmathsf{Hom}(A',B)$. Are you familiar with opposite category?
$endgroup$
– drhab
Jan 6 at 14:29
$begingroup$
A function of type $Hom(B,A') to Hom(B,A)$, assuming $h colon A to A'$.
$endgroup$
– Giorgio Mossa
Jan 6 at 14:30
|
show 3 more comments
$begingroup$
I can't follow. AFAIU, $Hom(h, B)$ is $Hom(B, A) rightarrow Hom(B, A')$, but your statement is on the contrary. And what does it mean, that $mathcal C^{text{op}}(A,A')=mathcal C(A',A)$? Do you mean that both sets are isomorphic?
$endgroup$
– Sereja Bogolubov
Jan 6 at 14:22
1
$begingroup$
@SerejaBogolubov, you are mistaken, $Hom(h,B) colon Hom(A,B) to Hom(A',B)$. The equation $mathcal C^text{op}(A,A') = mathcal C(A,A')$ is the definition of the hom-set of arrows from $A$ to $A'$ into the opposite category $mathcal C^text{op}$: the category obtained by $mathcal C$ reversing the direction of the arrows.
$endgroup$
– Giorgio Mossa
Jan 6 at 14:27
$begingroup$
@GiorgioMossa, what is $Hom(B, h)$ then?
$endgroup$
– Sereja Bogolubov
Jan 6 at 14:28
$begingroup$
Let $h:A'to A$. Then $mathsf{Hom}(h,B)$ is a function that has $mathsf{Hom}(A,B)$ as domain. Element $uinmathsf{Hom}(A,B)$ is sent to $ucirc hinmathsf{Hom}(A',B)$. Are you familiar with opposite category?
$endgroup$
– drhab
Jan 6 at 14:29
$begingroup$
A function of type $Hom(B,A') to Hom(B,A)$, assuming $h colon A to A'$.
$endgroup$
– Giorgio Mossa
Jan 6 at 14:30
$begingroup$
I can't follow. AFAIU, $Hom(h, B)$ is $Hom(B, A) rightarrow Hom(B, A')$, but your statement is on the contrary. And what does it mean, that $mathcal C^{text{op}}(A,A')=mathcal C(A',A)$? Do you mean that both sets are isomorphic?
$endgroup$
– Sereja Bogolubov
Jan 6 at 14:22
$begingroup$
I can't follow. AFAIU, $Hom(h, B)$ is $Hom(B, A) rightarrow Hom(B, A')$, but your statement is on the contrary. And what does it mean, that $mathcal C^{text{op}}(A,A')=mathcal C(A',A)$? Do you mean that both sets are isomorphic?
$endgroup$
– Sereja Bogolubov
Jan 6 at 14:22
1
1
$begingroup$
@SerejaBogolubov, you are mistaken, $Hom(h,B) colon Hom(A,B) to Hom(A',B)$. The equation $mathcal C^text{op}(A,A') = mathcal C(A,A')$ is the definition of the hom-set of arrows from $A$ to $A'$ into the opposite category $mathcal C^text{op}$: the category obtained by $mathcal C$ reversing the direction of the arrows.
$endgroup$
– Giorgio Mossa
Jan 6 at 14:27
$begingroup$
@SerejaBogolubov, you are mistaken, $Hom(h,B) colon Hom(A,B) to Hom(A',B)$. The equation $mathcal C^text{op}(A,A') = mathcal C(A,A')$ is the definition of the hom-set of arrows from $A$ to $A'$ into the opposite category $mathcal C^text{op}$: the category obtained by $mathcal C$ reversing the direction of the arrows.
$endgroup$
– Giorgio Mossa
Jan 6 at 14:27
$begingroup$
@GiorgioMossa, what is $Hom(B, h)$ then?
$endgroup$
– Sereja Bogolubov
Jan 6 at 14:28
$begingroup$
@GiorgioMossa, what is $Hom(B, h)$ then?
$endgroup$
– Sereja Bogolubov
Jan 6 at 14:28
$begingroup$
Let $h:A'to A$. Then $mathsf{Hom}(h,B)$ is a function that has $mathsf{Hom}(A,B)$ as domain. Element $uinmathsf{Hom}(A,B)$ is sent to $ucirc hinmathsf{Hom}(A',B)$. Are you familiar with opposite category?
$endgroup$
– drhab
Jan 6 at 14:29
$begingroup$
Let $h:A'to A$. Then $mathsf{Hom}(h,B)$ is a function that has $mathsf{Hom}(A,B)$ as domain. Element $uinmathsf{Hom}(A,B)$ is sent to $ucirc hinmathsf{Hom}(A',B)$. Are you familiar with opposite category?
$endgroup$
– drhab
Jan 6 at 14:29
$begingroup$
A function of type $Hom(B,A') to Hom(B,A)$, assuming $h colon A to A'$.
$endgroup$
– Giorgio Mossa
Jan 6 at 14:30
$begingroup$
A function of type $Hom(B,A') to Hom(B,A)$, assuming $h colon A to A'$.
$endgroup$
– Giorgio Mossa
Jan 6 at 14:30
|
show 3 more comments
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%2f3063671%2frelationship-between-operatornamehom-a-and-operatornamehom-b%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$
If $mathcal C$ denotes the category then $mathsf{Hom}(A,-):mathcal Ctomathbf{Set}$ but $mathsf{Hom}(-,B):mathcal C^{text{op}}tomathbf{Set}$. So they have different domains so that there is no natural transformation.
$endgroup$
– drhab
Jan 6 at 10:10
$begingroup$
@drhab, do you claim that wiki is mistaken and $Hom(A, -)$, $Hom(-, B)$ do not relate in a natural way?
$endgroup$
– Sereja Bogolubov
Jan 6 at 10:14
$begingroup$
No I am not saying that. I am only saying that a natural transformation between both functors (that you would like to define) does not exist. For that you need functors $F,G:mathcal Ctomathcal C'$ having the same domain and codomain. So "related in a natural manner" is not the same as "existence of natural transformation".
$endgroup$
– drhab
Jan 6 at 10:17
$begingroup$
@drhab, why then wiki states that both relate in a natural way, linking natural transformation?
$endgroup$
– Sereja Bogolubov
Jan 6 at 10:21
$begingroup$
The diagram shown looks quite natural. It visualizes a natural transformation $mathsf{Hom}(A,-)tomathsf{Hom}(A',-)$ and also a natural transformation $mathsf{Hom}(-,B)tomathsf{Hom}(-,B')$. For the first we have components $mathsf{Hom}(h,B):mathsf{Hom}(A,B)tomathsf{Hom}(A',B)$ and for the second components $mathsf{Hom}(A,f):mathsf{Hom}(A,B)tomathsf{Hom}(A,B')$. In both cases the transformation is completely determined by an arrow ($h$ in first and $f$ in second case) corresponding with Yoneda.
$endgroup$
– drhab
Jan 6 at 10:28