I learned a little bit about Badiou at some political meeting I went to and googled him--one of those French political philosophers but into mathematical logic. One of his books was discussed on the FOM-list (foundations of math , i think run by M Davis of NYU and Hilbert's 10th problem). They discussion said it appeared Badiou did basically know his math logic, though they didnt discuss its relation to political philosophy. I once met someone at a music club ---a grad student studying Lawvere's papers on category theory--he gave me one which i tried to read but didn't get far---Lawvere may have had similar politics. I'm going to try to read your paper. (Reading philosophy type stuff is probably less demanding than read the book for this course--for which i'm realizing i need pencil and paper to go through the examples.)