加载中…
2015-08-17
Univalent completion
Benno van den BergIeke Moerdijk
文献摘要
We review the concept of a univalent fibration and show by elementary means that every Kan fibration in simplicial sets can be embedded in a univalent Kan fibration.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本