TY  - RPRT
TI  - Examples and counterexamples of injective types
AU  - Tom de Jong
AU  - Martín Hötzel Escardó
PY  - 2026
UR  - https://arxiv.org/abs/2601.12536
ID  - 2601.12536
ER  -