Talk:Univalence axiom

What is equivalence? --Apoc2400 (talk) 18:43, 15 December 2013 (UTC)

This article is in need of an expert's attention. For now, it is comprehensible only to those that already comprehend it. 194.69.98.172 (talk) 21:48, 28 June 2014 (UTC)