The Univalence Axiom in posetal model categories

Misha Gavrilovich, Assaf Hasson, Itay Kaplan. The Univalence Axiom in posetal model categories. Journal of Logic and Computation, 25(3):669-682, 2015. [doi]

Abstract

Abstract is missing.