Thanks for reminding me of that entry! It’s germ of a space instead of germ which needed to apprear in that sentence at synthetic differential topology. I have fixed it now.
]]>The pages germ and germ of a space should no doubt link to each other better. And at some point we should bring in the Penon insight about representing germs.
]]>Excellent, that fits into infinitesimal and local - table. I have included it there, so now its automatically cross-linked with all entries in that table.
]]>Created the stub germ of a space, mainly to record the (trivial) insight that the category of germs of spaces is a localization of the category of pointed spaces.
Note that this is not yet a good stub, as it is not interlinked very well. I’m not quite sure where to put it in the table at germ.
]]>