Title: A Higher Structure Identity Principle,
Abstract: 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.