2000 character limit reached
A Higher Structure Identity Principle
Published 24 Feb 2017 in math.LO, cs.LO, and math.CT | (1702.07776v1)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.