Assertion: synthetic geometry | /r/HasProperty | an application of topos theory
Facets:
Source sentences:
text: Synthetic differential geometry is an application of topos theory to the foundations of differentiable manifold theory.