单值性的可实现性：适度 Kan 复形
逻辑
2016-04-19 v5 范畴论
摘要
适度 Kan 复形是一种关于角包含 具有右提升性质的适度单纯集。本文发展了所需的范畴逻辑，以证明在单纯装配中存在一个由适度 Kan 复形构成的单值宇宙。
引用
@article{arxiv.1406.6579,
title = {Realizability of Univalence: Modest Kan complexes},
author = {Wouter Pieter Stekelenburg},
journal= {arXiv preprint arXiv:1406.6579},
year = {2016}
}
备注
This paper has been replaced by 'Constructive Simplicial Homotopy'