终余代数（final coalgebra）：在范畴论与（共）代数理论中，给定一个函子 (F) 的终对象形式的余代数。直观上，它常用来刻画“可能无限展开”的结构（如无限流、无限树）以及系统的行为语义：任何 (F)-余代数到终余代数都存在且唯一的余代数同态，从而把“具体系统”统一映射到其“最终行为表示”。
/ˈfaɪnəl koʊˈæl dʒɪbrə/
A final coalgebra can describe infinite data structures like streams.
终余代数可以用来描述像“流（streams）”这类无限数据结构。
In coalgebraic semantics, the unique map into the final coalgebra captures the observable behavior of a state-based system.
在余代数语义中，指向终余代数的唯一映射刻画了基于状态系统的可观测行为。
final 来自拉丁语 finalis（“终点的、最后的”），在范畴论里对应“终对象（terminal object）/终性（finality）”的含义；coalgebra 由前缀 co-（表示与“algebra（代数）”相对的“对偶”概念）+ algebra 构成。合在一起，final coalgebra 字面义即“余代数中的终（端）对象”，强调其“作为目标的唯一性/终结性”这一范畴论性质。
Select Language