TY  - RPRT
TI  - Elementwise semantics in categories with pull-backs
AU  - Anders Kock
PY  - 2020
UR  - https://arxiv.org/abs/2004.14731
ID  - 2004.14731
ER  -