28 Jul
2013
28 Jul
'13
3:20 p.m.
Dear David, indeed Michael's work is an alternative to the AST approach taylored towards a setting where it is forbidden to speak of equality of sets. He doesn't construct the category of classes around a topos but rather works with Kripke Joyal semantics for it. Thomas [For admin and other information see: http://www.mta.ca/~cat-dist/ ]