形式化结构符号学：一种作用体系统的范畴论方法

在本文中，我们提出了A. J. Greimas在结构符号学中引入的作用体模型的范畴重建。利用Spivak和Kent的本体日志及基于框架的范畴，作用体系统被形式化为一个范畴图式，其对象和态射编码了叙事结构中的关系角色。标准的范畴构造，如拉回、态射像、逗号范畴和函子，被用于形式化Greimas所识别的作用体关系，并揭示从该模型的范畴处理方式中出现的额外结构关系。通过将作用体模型翻译为配备实例的图式，该框架提供了对作用体角色、其组合特性及其在话语中实现的精确描述。使用函子和双函子映射来建模叙事实例在不同图式间的迁移，以及抽象角色与文本片段之间的对应，提供了对Greimas叙事平面与话语平面之间区分的正式解释。我们的方法采用了一种关系的、外延的视角，其中作用体角色通过其在关系和实例网络中的参与而被表征。结果说明了范畴图式如何作为基于角色的概念系统的统一形式，适用于比较叙事分析。