一个高级结构同一性原理
A Higher Structure Identity Principle
摘要：
我们证明了一个结构同一性原则定义的理论类型的$h$ -3级定义的一般概念的饱和度的一大类结构定义在单价基础。
英文摘要：
We prove a Structure Identity Principle for theories defined on types of $h$-level 3 by defining a general notion of saturation for a large class of structures definable in the Univalent Foundations.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
