Mike Shulman's github pages
Categorical logic notes
jsNarya