A site devoted mostly to everything related to Information Technology under the sun - among other things.

Friday, December 26, 2008

Free Book on Topos Theory

A topos is a category with:
  • Finite limits and co-limits,
  • Exponentials,
  • A subobject classifier.
The following book is now available for free online: Toposes, Triples and Theories by Michael Barr and Charles Wells.

No comments:

About Me

My photo
I am a senior software developer working for General Motors Corporation.. I am interested in intelligent computing and scientific computing. I am passionate about computers as enablers for human imagination. The contents of this site are not in any way, shape, or form endorsed, approved, or otherwise authorized by HP, its subsidiaries, or its officers and shareholders.

Blog Archive