TY - RPRT TI - Bi-directional models of `radically synthetic' differential geometry AU - Matías Menni PY - 2024 UR - https://arxiv.org/abs/2405.17748 ID - 2405.17748 ER -