Topos theory is used by people researching foundations, eg Michael Shulman. > And is your description of “complete and label the diagram” using image generatio

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).