A Higher Structure Identity Principle
Logic
2017-02-28 v1 Logic in Computer Science
Category Theory
Abstract
We prove a Structure Identity Principle for theories defined on types of -level 3 by defining a general notion of saturation for a large class of structures definable in the Univalent Foundations.
Keywords
Cite
@article{arxiv.1702.07776,
title = {A Higher Structure Identity Principle},
author = {Dimitris Tsementzis},
journal= {arXiv preprint arXiv:1702.07776},
year = {2017}
}
Comments
25 pages