OOP and category theory, any connections? 
*

*Are there any historical connections between OOP (object oriented programming) and category theory?

*Could you provide some references (not necessarily historical) that link the two?


I finally got the concept of OOP when learning Python and have been reading Aodey's book on category theory. Both "feel" very similar. Thanks for any help.
 A: I'm surprised at the MathOverflow answer posted, as there are a ton of smart people on that site who know a lot, but it's pretty off on this.
There is a long history on the categorial analysis of programming languages and a huge literature.  Much of the foundations of category theory overlaps with work in the semantics of formal languages, and people like Dana Scott contributed widely here.
The first correspondence that one should be familiar with here to associate programming language to categorial notions is found in the Curry-Howard isomorphism.  In it's original form, this was an association between type theory and proof theory ("proofs as programs" is the informal association here), however much of the logical foundations of the correspondence were developed in the categorial language by Lawvere and others early on, and Lambek made the association explicit between the equational theory of typed lambda calculus and Cartesian closed categories.
In this association, the objects of the CCC are the types and terms are morphisms. Polymorphism is represented in second-order logic.
Per Martin-Löf has developed this type theory as a rigorous semantic foundation for computer science and shown how it can also be used in foundations of mathematics.  Unsurprising to those who work in these areas but possibly to those who are being introduced, this is a constructivist foundation.  This is because a rigorous semantics that attempts "realisable meaning" usually ends up being intuitionist, for all of the classical constructivist arguments.
For some more background and extensive bibliographies, see "Types and Programming Languages" by Benjamin Pierce or "Lectures on the Curry-Howard isomorphism" by Sørensen and Urzyczyn.
A: See this MathOverflow discussion.  There is also this interesting discussion.
