Thanks Tom.
It is exciting to see topos theory finding a place in the sun. When I was participating in Dan Freed's TQFT seminars at the University of Texas, we worked through one of Jacob's papers. Despite the seemingly all-pervasive mistrust of category theory (let alone topos theory), these seminars highlighted how this wondrous branch of mathematics can elucidate the importance of considering structural equivalence when there cannot be a notion of strict equality.
============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives back to 2003: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/ by Dr. Strangelove
