TY  - RPRT
TI  - Every theory is eventually of presheaf type
AU  - Christian Espíndola
AU  - Kristóf Kanalas
PY  - 2025
UR  - https://arxiv.org/abs/2312.12356
ID  - 2312.12356
ER  -