TY  - RPRT
TI  - Yoneda Completeness
AU  - Tristan Bice
PY  - 2016
DO  - 10.1017/s0960129517000032
UR  - https://arxiv.org/abs/1503.03147
ID  - 1503.03147
ER  -