TY - RPRT TI - On the theories classified by an étendue AU - Joshua Wrigley PY - 2025 DO - 10.1112/blms.70430 UR - https://arxiv.org/abs/2507.04526 ID - 2507.04526 ER -