论文标题
纤维化语言学：第一个概念
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
