Univalent completion
Category Theory
2015-08-18 v1 Algebraic Topology
Logic
Abstract
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.
Cite
@article{arxiv.1508.04021,
title = {Univalent completion},
author = {Benno van den Berg and Ieke Moerdijk},
journal= {arXiv preprint arXiv:1508.04021},
year = {2015}
}