Comment by zmgsabst

Topos theory is used by people researching foundations, eg Michael Shulman.

> And is your description of “complete and label the diagram” using image generation a thing that actually exists or something that has potential to be created?

Somewhere between — it’s a topic being researched, but results are very early (basically, just shapes and groups).