重访Hugo Volger的论文《关于自由代数的存在性》
范畴论
2026-04-07 v2
摘要
我们对Hugo Volger于1967年发表的论文进行现代化阐述，该论文受Lawvere-Linton理论自由代数构造的启发，给出一种非常具构造性的证明，证明保持积性的Set值函数的左Kan延伸仍保持积性。我们还分析了该工作如何预见、并在某种程度上超过了1970年代随后研究成果。
引用
@article{arxiv.2412.20286,
title = {Revisiting Hugo Volger's paper Uber die Existenz der freien Algebren},
author = {Matias Menni and Walter Tholen},
journal= {arXiv preprint arXiv:2412.20286},
year = {2026}
}
备注
This version breaks down the proof of a key Lemma in Volger's paper into easy-to-follow steps