What does it mean for a definition to be covariant or contravariant?
up vote
3
down vote
favorite
In this answer, Brian M. Scott lists different definitions of continuity, and for some of them mentions whether they are covariant or contravariant. I am familiar with these terms from subtyping in programming, but I haven't seen these terms applied to mathematical definitions before.
Some questions I have:
- What does it mean for a definition to be covariant or contravariant? Is there a precise definition or is it more informal?
- When can a definition be covariant or contravariant? What are some other examples of covariant or contravariant definitions?
- Is there a way to search for this usage of these terms? When I try to search for the application of these terms to definitions, the search engine (understandably) mistakenly assumes I am looking for the definitions of these terms.
logic definition
add a comment |
up vote
3
down vote
favorite
In this answer, Brian M. Scott lists different definitions of continuity, and for some of them mentions whether they are covariant or contravariant. I am familiar with these terms from subtyping in programming, but I haven't seen these terms applied to mathematical definitions before.
Some questions I have:
- What does it mean for a definition to be covariant or contravariant? Is there a precise definition or is it more informal?
- When can a definition be covariant or contravariant? What are some other examples of covariant or contravariant definitions?
- Is there a way to search for this usage of these terms? When I try to search for the application of these terms to definitions, the search engine (understandably) mistakenly assumes I am looking for the definitions of these terms.
logic definition
Maybe there's a rigorous answer for this, but although I hadn't heard the usage Brian uses there, I think I got the point. Things are "covariant" if they vary in the same way preserve direction and contravariant if they reverse it. I don't know if there's a definition, but examples I think of are covariant and contravariant functors ( covariant keep arrows going the same way, contravariant reverse them ), and covariant and contravariant tensors, which transform the same way as derivatives of scalar functions, and contravariant are like differentials, which is sort of opposite.
– Callus
Nov 26 at 3:00
Here is how I think about CO-variant and CON-travariant. CO-variance is when you change with the quantity and CON-travariant is when you change in the opposite with the quantity. These terms become more "motivated" when you learn about tensors on vector spaces.
– IAmNoOne
Nov 26 at 4:43
add a comment |
up vote
3
down vote
favorite
up vote
3
down vote
favorite
In this answer, Brian M. Scott lists different definitions of continuity, and for some of them mentions whether they are covariant or contravariant. I am familiar with these terms from subtyping in programming, but I haven't seen these terms applied to mathematical definitions before.
Some questions I have:
- What does it mean for a definition to be covariant or contravariant? Is there a precise definition or is it more informal?
- When can a definition be covariant or contravariant? What are some other examples of covariant or contravariant definitions?
- Is there a way to search for this usage of these terms? When I try to search for the application of these terms to definitions, the search engine (understandably) mistakenly assumes I am looking for the definitions of these terms.
logic definition
In this answer, Brian M. Scott lists different definitions of continuity, and for some of them mentions whether they are covariant or contravariant. I am familiar with these terms from subtyping in programming, but I haven't seen these terms applied to mathematical definitions before.
Some questions I have:
- What does it mean for a definition to be covariant or contravariant? Is there a precise definition or is it more informal?
- When can a definition be covariant or contravariant? What are some other examples of covariant or contravariant definitions?
- Is there a way to search for this usage of these terms? When I try to search for the application of these terms to definitions, the search engine (understandably) mistakenly assumes I am looking for the definitions of these terms.
logic definition
logic definition
asked Nov 26 at 2:49
riceissa
38247
38247
Maybe there's a rigorous answer for this, but although I hadn't heard the usage Brian uses there, I think I got the point. Things are "covariant" if they vary in the same way preserve direction and contravariant if they reverse it. I don't know if there's a definition, but examples I think of are covariant and contravariant functors ( covariant keep arrows going the same way, contravariant reverse them ), and covariant and contravariant tensors, which transform the same way as derivatives of scalar functions, and contravariant are like differentials, which is sort of opposite.
– Callus
Nov 26 at 3:00
Here is how I think about CO-variant and CON-travariant. CO-variance is when you change with the quantity and CON-travariant is when you change in the opposite with the quantity. These terms become more "motivated" when you learn about tensors on vector spaces.
– IAmNoOne
Nov 26 at 4:43
add a comment |
Maybe there's a rigorous answer for this, but although I hadn't heard the usage Brian uses there, I think I got the point. Things are "covariant" if they vary in the same way preserve direction and contravariant if they reverse it. I don't know if there's a definition, but examples I think of are covariant and contravariant functors ( covariant keep arrows going the same way, contravariant reverse them ), and covariant and contravariant tensors, which transform the same way as derivatives of scalar functions, and contravariant are like differentials, which is sort of opposite.
– Callus
Nov 26 at 3:00
Here is how I think about CO-variant and CON-travariant. CO-variance is when you change with the quantity and CON-travariant is when you change in the opposite with the quantity. These terms become more "motivated" when you learn about tensors on vector spaces.
– IAmNoOne
Nov 26 at 4:43
Maybe there's a rigorous answer for this, but although I hadn't heard the usage Brian uses there, I think I got the point. Things are "covariant" if they vary in the same way preserve direction and contravariant if they reverse it. I don't know if there's a definition, but examples I think of are covariant and contravariant functors ( covariant keep arrows going the same way, contravariant reverse them ), and covariant and contravariant tensors, which transform the same way as derivatives of scalar functions, and contravariant are like differentials, which is sort of opposite.
– Callus
Nov 26 at 3:00
Maybe there's a rigorous answer for this, but although I hadn't heard the usage Brian uses there, I think I got the point. Things are "covariant" if they vary in the same way preserve direction and contravariant if they reverse it. I don't know if there's a definition, but examples I think of are covariant and contravariant functors ( covariant keep arrows going the same way, contravariant reverse them ), and covariant and contravariant tensors, which transform the same way as derivatives of scalar functions, and contravariant are like differentials, which is sort of opposite.
– Callus
Nov 26 at 3:00
Here is how I think about CO-variant and CON-travariant. CO-variance is when you change with the quantity and CON-travariant is when you change in the opposite with the quantity. These terms become more "motivated" when you learn about tensors on vector spaces.
– IAmNoOne
Nov 26 at 4:43
Here is how I think about CO-variant and CON-travariant. CO-variance is when you change with the quantity and CON-travariant is when you change in the opposite with the quantity. These terms become more "motivated" when you learn about tensors on vector spaces.
– IAmNoOne
Nov 26 at 4:43
add a comment |
1 Answer
1
active
oldest
votes
up vote
3
down vote
accepted
Brian Scott's usage of "covariant" and "contravariant" in that post is (as far as I know) entirely informal and it is not at all standard to use these terms to refer to definitions in the way he did. He's just borrowing the terms from category theory: a covariant functor is a functor that preserves the directions of maps, and a contravariant functor reverses them.
So, when Brian says a definition of continuity is "covariant", he just means informally that it goes in the same "direction" as the map whose continuity you are verifying: you start with something in the domain of the map, and then get something in the codomain codomain after applying the map. For instance, the sequences definition of continuity is covariant: you start with a convergent sequence in the domain, and then its image in the codomain must also converge. On the other hand, a "contravariant" definition is one that starts in the codomain. For instance, he calls the $epsilon$-$delta$ definition contravariant because it starts with $epsilon$ which is relevant to the codomain (it is how close you want $f(x)$ and $f(a)$ to be) and then demands that you can always find a corresponding $delta$ for the domain. The open sets definition of continuity is similarly contravariant: you start with an open set in the codomain, and then its preimage in the domain must be open.
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
3
down vote
accepted
Brian Scott's usage of "covariant" and "contravariant" in that post is (as far as I know) entirely informal and it is not at all standard to use these terms to refer to definitions in the way he did. He's just borrowing the terms from category theory: a covariant functor is a functor that preserves the directions of maps, and a contravariant functor reverses them.
So, when Brian says a definition of continuity is "covariant", he just means informally that it goes in the same "direction" as the map whose continuity you are verifying: you start with something in the domain of the map, and then get something in the codomain codomain after applying the map. For instance, the sequences definition of continuity is covariant: you start with a convergent sequence in the domain, and then its image in the codomain must also converge. On the other hand, a "contravariant" definition is one that starts in the codomain. For instance, he calls the $epsilon$-$delta$ definition contravariant because it starts with $epsilon$ which is relevant to the codomain (it is how close you want $f(x)$ and $f(a)$ to be) and then demands that you can always find a corresponding $delta$ for the domain. The open sets definition of continuity is similarly contravariant: you start with an open set in the codomain, and then its preimage in the domain must be open.
add a comment |
up vote
3
down vote
accepted
Brian Scott's usage of "covariant" and "contravariant" in that post is (as far as I know) entirely informal and it is not at all standard to use these terms to refer to definitions in the way he did. He's just borrowing the terms from category theory: a covariant functor is a functor that preserves the directions of maps, and a contravariant functor reverses them.
So, when Brian says a definition of continuity is "covariant", he just means informally that it goes in the same "direction" as the map whose continuity you are verifying: you start with something in the domain of the map, and then get something in the codomain codomain after applying the map. For instance, the sequences definition of continuity is covariant: you start with a convergent sequence in the domain, and then its image in the codomain must also converge. On the other hand, a "contravariant" definition is one that starts in the codomain. For instance, he calls the $epsilon$-$delta$ definition contravariant because it starts with $epsilon$ which is relevant to the codomain (it is how close you want $f(x)$ and $f(a)$ to be) and then demands that you can always find a corresponding $delta$ for the domain. The open sets definition of continuity is similarly contravariant: you start with an open set in the codomain, and then its preimage in the domain must be open.
add a comment |
up vote
3
down vote
accepted
up vote
3
down vote
accepted
Brian Scott's usage of "covariant" and "contravariant" in that post is (as far as I know) entirely informal and it is not at all standard to use these terms to refer to definitions in the way he did. He's just borrowing the terms from category theory: a covariant functor is a functor that preserves the directions of maps, and a contravariant functor reverses them.
So, when Brian says a definition of continuity is "covariant", he just means informally that it goes in the same "direction" as the map whose continuity you are verifying: you start with something in the domain of the map, and then get something in the codomain codomain after applying the map. For instance, the sequences definition of continuity is covariant: you start with a convergent sequence in the domain, and then its image in the codomain must also converge. On the other hand, a "contravariant" definition is one that starts in the codomain. For instance, he calls the $epsilon$-$delta$ definition contravariant because it starts with $epsilon$ which is relevant to the codomain (it is how close you want $f(x)$ and $f(a)$ to be) and then demands that you can always find a corresponding $delta$ for the domain. The open sets definition of continuity is similarly contravariant: you start with an open set in the codomain, and then its preimage in the domain must be open.
Brian Scott's usage of "covariant" and "contravariant" in that post is (as far as I know) entirely informal and it is not at all standard to use these terms to refer to definitions in the way he did. He's just borrowing the terms from category theory: a covariant functor is a functor that preserves the directions of maps, and a contravariant functor reverses them.
So, when Brian says a definition of continuity is "covariant", he just means informally that it goes in the same "direction" as the map whose continuity you are verifying: you start with something in the domain of the map, and then get something in the codomain codomain after applying the map. For instance, the sequences definition of continuity is covariant: you start with a convergent sequence in the domain, and then its image in the codomain must also converge. On the other hand, a "contravariant" definition is one that starts in the codomain. For instance, he calls the $epsilon$-$delta$ definition contravariant because it starts with $epsilon$ which is relevant to the codomain (it is how close you want $f(x)$ and $f(a)$ to be) and then demands that you can always find a corresponding $delta$ for the domain. The open sets definition of continuity is similarly contravariant: you start with an open set in the codomain, and then its preimage in the domain must be open.
answered Nov 26 at 4:27
Eric Wofsey
176k12202327
176k12202327
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.
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%2f3013750%2fwhat-does-it-mean-for-a-definition-to-be-covariant-or-contravariant%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
Maybe there's a rigorous answer for this, but although I hadn't heard the usage Brian uses there, I think I got the point. Things are "covariant" if they vary in the same way preserve direction and contravariant if they reverse it. I don't know if there's a definition, but examples I think of are covariant and contravariant functors ( covariant keep arrows going the same way, contravariant reverse them ), and covariant and contravariant tensors, which transform the same way as derivatives of scalar functions, and contravariant are like differentials, which is sort of opposite.
– Callus
Nov 26 at 3:00
Here is how I think about CO-variant and CON-travariant. CO-variance is when you change with the quantity and CON-travariant is when you change in the opposite with the quantity. These terms become more "motivated" when you learn about tensors on vector spaces.
– IAmNoOne
Nov 26 at 4:43