克里斯利语义与超图组合用于格里马斯叙事程序
Kleisli semantics and hypergraph composition for Greimasian narrative programs
AI总结：
本文提出一种范畴论形式化方法，用于精确描述格里马斯叙事程序的组合结构，通过引入细化的actant类型方案，并利用monad在Set上的解释，构建了结构化的数据表示。
摘要：
本文提出了一种范畴论形式化方法，用于精确描述格里马斯叙事程序（NPs）的组合结构。基于对actantial模型的重构作为范畴模式，我们引入了细化的actant类型方案，并推导出对应于叙事中角色索引元素的Set值实例。NPs被表示为一个范畴模式，其态射被解释为Set上的monad。特别是，List monad为建模非原子、列表值的actantial配置提供了克里斯利语义，而Maybe monad则编码了程序间的可选依赖。这导致了叙事程序作为结构化数据的最小表示，具有内在的组合解释。为了考虑叙事形成的动态性，我们将这些构造提升到图示设置中，通过自由生成对称单子范畴，并随后从actant集合中生成超图范畴。在此框架中，叙事程序作为态射的生成者，其组合通过连接图示实现。因此，叙事轨迹被解释为单一的复合态射。这种方法为结构语义学提供了一个统一的数学框架，连接了叙事元素的数据级表示与其在话语中的组合实现。
英文摘要：
This article proposes a category-theoretic formalization of Greimasian narrative programs (NPs) that makes their compositional structure mathematically precise. Building on a reconstruction of the actantial model as a categorical schema, we introduce a refined typological schema of actants and derive Set-valued instances corresponding to role-indexed elements of a narrative. NPs are represented within a categorical schema whose morphisms are interpreted using monads on Set. In particular, the List monad provides a Kleisli semantics for modeling non-atomic, list-valued actantial configurations, while the Maybe monad encodes optional dependencies between programs. This yields a minimal representation of narrative programs as structured data with an intrinsic compositional interpretation. To account for the dynamics of narrative formation, we lift these constructions into a diagrammatic setting by freely generating a symmetric monoidal category, and subsequently a hypergraph category, from the set of actants. In this framework, narrative programs act as generators of morphisms, and their composition is realized through wiring diagrams. A narrative trajectory is thereby interpreted as a single composite morphism. This approach provides a unified mathematical framework for structural semiotics, connecting data-level representations of narrative elements with their compositional realization in discourse.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
