@misc{indiciae5ff85a5fd8c6,
  title = {The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory},
  author = {Tom de Jong and Nicolai Kraus and Axel Ljungström},
  year = {2026},
  url = {https://arxiv.org/abs/2601.21843},
  note = {Source identifier: 2601.21843}
}