迈向范畴中的概念分析：下极限作为代数，上极限作为余代数

尽管计算机程序和逻辑理论通过声明感兴趣的概念（无论是作为数据类型还是谓词）开始，但网络计算不允许此类全局声明，并且需要*概念挖掘*和*概念分析*来为不同网络节点提取共享语义。强大的语义分析系统几乎是网络上所有范式转变的驱动者。在范畴论术语中，它们大多数可描述为丰富矩阵的双完备，将Dedekind-MacNeille式完备从偏序集推广到适当丰富范畴。然而，四十多年来众所周知，普通范畴本身一般不允许此类完备。凭借对Dedekind-MacNeille完备和矩阵双完备的这一新语义视角，我们重新审视这一古老谜题。结果表明，*上极限*和*下极限*运算的简单范畴论版本刻画了Dedekind-MacNeille完备的一般概念，这似乎适用于普通范畴，并且当下极限与上极限一致时归结为更熟悉的丰富版本。这解释了普通范畴完备之间明显的鸿沟，并拓宽了先前工作开辟的通向范畴概念挖掘与分析的道路。