Proposal : tag(s) for accessible and locally presentable categories A couple months ago someone created (among others) the tags locally presentable categories and accessible categories, but they were removed. Now this is not really my specialty, but I think these tags could be useful, and in fac...