What about a graphical calculus for the six-functor formalism?

UPDATE: Yes, this goes back full circle to the beginnings of chemlambda, Quantomatic and NTC vs TC discussions. See for more closely related to the subject Ponto, Shulman (2011) and Reich 2014. It is my supposition that what Scholze is asking for is not exactly this, but I migh project my previously expressed bias. In Continue reading What about a graphical calculus for the six-functor formalism?