We discuss how mathematical semantics has evolved, and suggest some new directions for future work. As an example, we discuss some recent work on encapsulating model comparison games as comonads, in the context of finite model theory.

中文翻译：

---

还有语义吗？

我们讨论数学语义如何演变，并为将来的工作提出一些新的方向。例如，在有限模型理论的背景下，我们讨论了将模型比较游戏封装为共性的一些最新工作。