Mike Shulman's github pages

• Categorical logic notes
• jsNarya