A Higher Structure Identity Principle

2017/02/24 by Tsementzis, Dimitris
#03B15 #03B22 #03C99 #03G99 #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)

paper · doi:10.48550/arxiv.1702.07776

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.

Related

• On the Mathematics of Higher Structures
• Expansions and restrictions of structures and theories, their hierarchies
• Higher Algebraic Structures and General Field Theories
• The Univalence Principle
• The Theory of an Arbitrary Higher λ-Model