@ocaramello I see there is concrete literature on the matter. Thank you! And I guess, no publication arose from the Huawei working group right?

That sounds quite interesting. I will wait then. Thank you! Nevertheless, I want to insist maybe concretely: I am very interested in the idea exposed ...

@ocaramello Hi, can you please give some link to this working group? Is it possible to see some of their papers? I would like to know more about your ...

@villaveces hey, are you still working on model theory? I would I would like to discuss some Model Theory ^^

@lingyuan hi, are you still following "Sheaves and Geometry"? Or what are you up now?

Nice, you mean "Theories, Sitzes, Toposes"?

@a-c-o-simon It would be nice to keep the english language for this discusion, since I was following it and I would really like to read on ^^

@marinecases hi Marine, how are you doing with "Sheaves in Geometry and Logic"?