$\frac{3}{2}$-机构的泛型偏部分性

Răzvan Diaconescu

$\frac{3}{2}$-机构的泛型偏部分性

逻辑 2017-11-15 v1 范畴论

作者: Răzvan Diaconescu

摘要

$\frac{3}{2}$ -机构作为机构理论的扩展被引入，其容纳了签名态射的隐式偏部分性及其句法与语义效应。在本文中，我们证明配备有签名范畴包含系统的普通机构会自然生成具有显式签名态射偏部分性的 $\frac{3}{2}$ -机构。这为概念融合与软件演化的基础提供了构建 3-机构的通用一致方法。此外，我们的一般构造允许一致地推导若干有用的技术性质。

关键词

$\frac{3}{2}$-机构机构理论偏部分性签名态射包含系统概念融合软件演化

引用

@article{arxiv.1711.04666,
  title  = {Generic partiality for $\frac{3}{2}$-institutions},
  author = {Răzvan Diaconescu},
  journal= {arXiv preprint arXiv:1711.04666},
  year   = {2017}
}

备注

arXiv admin note: substantial text overlap with arXiv:1708.09675

$\frac{3}{2}$-机构的泛型偏部分性

摘要

关键词

引用

备注

相关论文