虚拟语言学：第一个概念
Fibrational linguistics: First concepts
摘要：
我们定义了一个通用的数学框架语言学的基础上纤维化的理论，称为FibLang。我们首先以最普遍的方式对语言学和认知之间的相互作用进行建模，重点关注我们所做的任何假设的概念动机。其优点是，FibLang对任何特定的语法公理化保持不可知论。因此，它与已经存在的语言的范畴模型（例如，DisCoCat）兼容，提供了一个形式上合理的框架，以将在范畴论（主要是范畴逻辑）的背景下开发的数学工具应用于语言的研究
英文摘要：
We define a general mathematical framework for linguistics based on the theory of fibrations, called FibLang. We start by modelling the interaction between linguistics and cognition in the most general way possible, with a heavy focus on conceptually motivating any assumption we make. The advantage is that FibLang remains agnostic with respect to any particular axiomatization of grammar one may choose. As such, it is compatible with already existing categorical models of language (such as for example, DisCoCat), providing a formally sound framework to apply mathematical tools developed in the context of category theory, mainly categorical logic, to the study of language
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
