TY  - RPRT
TI  - On the Bourbaki-Witt Principle in Toposes
AU  - Andrej Bauer
AU  - Peter LeFanu Lumsdaine
PY  - 2012
DO  - 10.1017/s0305004113000108
UR  - https://arxiv.org/abs/1201.0340
ID  - 1201.0340
ER  -