@misc{ahrens2020higher,
  title={A Higher Structure Identity Principle},
  author={Benedikt Ahrens and Paige Randall North and Michael Shulman and Dimitris Tsementzis},
  year={2020},
  eprint={2004.06572},
  archivePrefix={arXiv},
  primaryClass={math.LO},
  doi={10.1145/3373718.3394755},
  url={https://arxiv.org/abs/2004.06572}
}