A wiki for collaborative work on totally legitimate "category theory"
Primary LanguageNearleyMIT LicenseMIT