代数类型论，第一部分：马丁-洛夫代数
范畴论
2025-05-19 v1 逻辑
摘要
提出一种新的依赖类型论代数处理方法，借助自然主义论和代数集合论的想法。
引用
@article{arxiv.2505.10761,
title = {Algebraic Type Theory, Part 1: Martin-L\"of algebras},
author = {Steve Awodey},
journal= {arXiv preprint arXiv:2505.10761},
year = {2025}
}
备注
In memory of Phil Scott, friend and mentor