A 2-categorical approach to the semantics of dependent type theory with computation axioms

@misc{spadetto20252categoricalapproachsemantics,
      title={A 2-categorical approach to the semantics of dependent type theory with computation axioms},
      author={Matteo Spadetto},
      year={2025},
      eprint={2507.07208},
      archivePrefix={arXiv},
      primaryClass={math.LO},
      url={https://arxiv.org/abs/2507.07208},
}