TY  - RPRT
TI  - Representing the language of a topos as quotient of the category of spans
AU  - M. Golshani
AU  - A. Shiralinasab Langari
PY  - 2025
UR  - https://arxiv.org/abs/2201.09551
ID  - 2201.09551
ER  -