拉兹万·迪亚科内斯库 格罗森迪克机构。 （英文） Zbl 1008.68078号 申请。类别。结构。 10，第4期，383-402（2002）. 摘要：我们将索引类别、fibred类别和Grothendieck结构扩展到机构。我们证明了2类制度允许格罗森迪克结构（在一般的2类意义上），并且任何分裂的谎言制度都等同于指数制度的格罗森迪克制度。我们使用Grothendieck机构作为多参数（异构）代数规范语义的底层数学结构。我们将所谓的“额外理论形态”恢复为格罗森迪克机构中的普通理论形态。我们研究了格罗森迪克制度的基本数学性质，如理论共鸣性、自由性（自由建构）、精确性（模型融合）以及通过“全球化”从指数制度的“地方”层面到格罗森迪克制度层面的包含系统。 引用于18文件 MSC公司： 68问题65 抽象数据类型；代数规范 18立方厘米 理论（例如代数理论）、结构和语义 03G30型 分类逻辑，拓扑 08A70号 泛代数在计算机科学中的应用 关键词：代数规范;机构;索引类别;格罗森迪克建筑;维化理论;纤维类别;格罗森迪克建筑;格罗森迪克学院 软件：OBJ咖啡馆 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}，应用。类别。结构。10，第4号，383--402（2002；Zbl 1008.68078） 全文： 内政部