TY - RPRT TI - On toposes generated by cardinal finite objects AU - Simon Henry PY - 2016 UR - https://arxiv.org/abs/1505.04987 ID - 1505.04987 ER -