A Test Suite for Concepts (opens in new tab)

, and in particular on ’s work on . As I’ve been studying, I’ve noticed some big gaps in the existing literature. Some of my biggest questions have not been answered by existing blog posts and writeups.One of my grumps about the existing body of work has to do with the typology of concepts, and the representative examples we’re using for that typology.If we’re going to do a lot of work to talk about concepts using math, I’m going to want to work a bunch of concrete examples to some level of p...