Scifaro

中文

Lawvere 理论与 C-系统

逻辑 2015-12-29 v1 范畴论

作者: Vladimir Voevodsky

在 arXiv 上查看 ↗ PDF ↗

摘要

本文考虑 l-双射 C-系统类，即长度函数为双射的 C-系统。本文的主要结果是构造两个范畴之间的同构——l-双射 C-系统范畴与 Lawvere 理论范畴。

关键词

Lawvere 理论 C-系统 l-双射 C-系统范畴同构

引用

@article{arxiv.1512.08104,
  title  = {Lawvere theories and C-systems},
  author = {Vladimir Voevodsky},
  journal= {arXiv preprint arXiv:1512.08104},
  year   = {2015}
}