This is generally true, about type theories: A type theory corresponds to a complex diagram, as outlined in topos theory. (Note: complex as in CW-complexes.)

This is generally true, about type theories: A type theory corresponds to a complex diagram, as outlined in topos theory. (Note: complex as in CW-complexes.) I think it’s fascinating LLMs ended up being a similar structure — but perhaps not entirely surprising. There have been similar results, eg a topological covering can generate an ML model.