TY  - RPRT
TI  - Quasi-Eheresmann-Dedecker Universes
AU  - Decio Krause
PY  - 2017
UR  - https://arxiv.org/abs/1708.05839
ID  - 1708.05839
ER  -