罗伯特·A·G·西利。 超学说、自然演绎和贝克条件。 （英语） Zbl 0565.03032号 Z.数学。Logik Grundlagen数学。 29, 505-542 (1983). 超义概念根据某些纤维范畴总结了量词和代词之间的伴随关系，其中基础范畴是类型范畴，纤维是该类型的公式。Lawvere介绍了这个概念，他观察到它发生在逻辑以外的上下文中，例如在群表示中，但这里所谓的“Beck-conditions”并不完全成立。作者的目的是利用超学说的逻辑方面，即使是在这种非逻辑的背景下。为此，他提出了一个代数逻辑标准任务的案例，即两种结构：从句法材料（“理论”）传递到代数（此处为“超条令”），以及通过另一种方式传递。这使他能够阐述他的主要定理，即“如果相关理论知道给定的拉回图是一个拉回图，则超理论满足给定拉回图的Beck条件”。审核人：A.科克 引用于1审查引用于22文件 MSC公司： 03G30型 分类逻辑，拓扑 18天30分 光纤类别 关键词：超学说；伴随；量词；替代；纤维类；类型的类别；回拉；关联理论 PDF格式BibTeX公司 XML格式引用 \textit{R.A.G.Seely}，Z.数学。Logik Grundlagen数学。29505--542（1983年；Zbl 0565.03032） 全文： 内政部