The Univalence Axiom in posetal model categories.

Thu, 01 Jan 2015 00:00:00 +0100

Misha Gavrilovich, Assaf Hasson , Itay Kaplan :
The Univalence Axiom in posetal model categories. J. Log. Comput. 25(3): 669-682 (2015)