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

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


Preview:

Cancel