TY - RPRT TI - Strict 2-toposes AU - M. Weber PY - 2006 UR - https://arxiv.org/abs/math/0606393 ID - math/0606393 ER -