Fraïssé Theorem 和 Univalence Axiom 形式类似，他们有什么异同？

Fraïssé Theorem 和 Univalence Axiom 形式类似，他们有什么异同？

看这： https://en.wikipedia.org/wiki/Fra%C3%AFss%C3%A9%27s_theorem 长得和 UA 真像……而且基于 ua 的 isoToPath 就和这完全一样了

预览:

https://math.stackexchange.com/q/3837560/474437

创建于 9/23/2020, 12:39:07 PM