TY - RPRT TI - The Geometric Completion of a Doctrine AU - Joshua Wrigley PY - 2023 UR - https://arxiv.org/abs/2304.07539 ID - 2304.07539 ER -