tags:

views:

68

answers:

1
+5  Q: 

could someone explain the connection between type covariance/contravariance and category theory?

I am just starting to read about category theory, and would very much appreciate it if someone could explain the connection between CS contravariance/covariance and category theory. What would some example categories be (i.e. what are their objects/morphisms?)? Thanks in advance?

related questions

Type variance in .NET Framework 4.0
How to make a generic class with inheritance?
Why does C#/CLR not support method override co/contra-variance?
What are the benefits of covariance and contravariance?
Why is conversion between with different type parameters is NOT allowed?
Should I support Co-/Contravariance for Pub-/Sub-Scenarios in C#3.0?
Scala API design; a service which returns a Set<I> where I is some interface (abstract/trait)
Why is Scala's immutable Set not covariant in its type?
Scala covariance / contravariance question
Generic wildcards in variable declarations in Scala
C++ covariant templates
In C# 4.0 why can't an out parameter in a method be covariant?
C#-Array Covariance In Generic Classes
Covariance vs. contravariance
Why do we need new keywords for Covariance and Contravariance in C#?
How is Generic Covariance & Contra-variance Implemented in C# 4.0?
Is it wrong to cast an enumerator of a child class to an enumerator of a parent class?
How can I use covariant return types with smart pointers?
Is there a way to cast generic lists to lists of interface/base class types?
C# Can I Override with derived types?
how get a vector<Derived*> into a function that expects a vector<Base*> as argument
What languages support covariance on inherited methods' return types?
Why doesn't inheritance work the way I think it should work?
What is the best way to inherit an array that needs to store subclass specific data?
In C#, why can't a List<string> object be stored in a List<object> variable