Cartesian Closed Cateories

Just some links for future reference:

• http://math.ucr.edu/home/baez//qg-fall2006/ccc.html
• http://scienceblogs.com/goodmath/2006/08/from_lambda_calculus_to_cartes.php
• http://en.wikipedia.org/wiki/Product_(category_theory)
• http://en.wikipedia.org/wiki/Exponential_object
• http://en.wikipedia.org/wiki/Natural_transformation
• http://en.wikipedia.org/wiki/Topoi
• The Joy of Cats
• Topos theory in a nutshell
• http://www.andrew.cmu.edu/course/80-413-713/