]]>
Urs comments on "Models for Smooth Infinitesimal Analysis" (4002)https://nforum.ncatlab.org/discussion/627/?Focus=4002#Comment_40022010-01-12T16:05:59+00:002024-03-28T21:18:41+00:00Urshttps://nforum.ncatlab.org/account/4/
I am filling in more details (definitions, properties) about the various toposes at Models for Smooth Infinitesimal Analysis