TY - RPRT TI - The univalence axiom in posetal model categories AU - Misha Gavrilovich AU - Assaf Hasson AU - Itay Kaplan PY - 2011 UR - https://arxiv.org/abs/1111.3489 ID - 1111.3489 ER -