赫尔曼·杰维尔。 动态数据结构。 （英文） Zbl 0957.03064号 安德烈·坎蒂尼（编辑）等人，《逻辑与数学基础》。1995年8月19日至25日，佛罗伦萨，第十届国际逻辑、方法论和科学哲学大会论文集。多德雷赫特：Kluwer学术出版社。合成。伦敦银行同业拆借利率。280, 239-247 (1999). 作者首先指出，如果我们将活动发生在外部的数据结构称为静态数据结构，那么我们显然需要一种新类型的数据结构，其中活动也发生在内部。所以，这可以用某些类别中的函子来完成。如果\（{\mathcal L}\）是带对象的范畴，线性序和态射是序保映射，作者证明：1.函子（F:{mathcal L}到{mathcalL}）在所有表示集都为非空的情况下保持直接极限；2.如果\（F:{\mathcal L}\ to{\mathcal L}\）是一个保持直接极限的函子，那么\（F\）保持拉回，前提是它的所有表示集都是主的。关于整个系列，请参见[Zbl 0927.00020].审核人：迪米特鲁·布斯内格（克雷奥瓦） MSC公司： 03G30型 范畴逻辑，拓扑 06年05月 订单总数 68问题55 计算理论中的语义学 2005年第68季度 计算模型（图灵机等）（MSC2010） 68第05页 数据结构 关键词：数据结构;仿函数;类别;线性订单;订单预留映射;直接限值;表示集;拉回 PDF格式BibTeX公司 XML格式引用 \textit{H.R.Jervell}，Synth。天秤座。280、239--247（1999；Zbl 0957.03064）