- 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/
Tuesday 3 November 2009
Cartesian Closed Cateories
Just some links for future reference:
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment