Bi-directional models of `radically synthetic' differential geometry

Matías Menni

The radically synthetic foundation for smooth geometry formulated in [Law11] postulates a space T with the property that it has a unique point and, out of the monoid T^T of endomor…