TY  - RPRT
TI  - The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
AU  - Tom de Jong
AU  - Nicolai Kraus
AU  - Axel Ljungström
PY  - 2026
UR  - https://arxiv.org/abs/2601.21843
ID  - 2601.21843
ER  -