Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
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.
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.
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.
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.
1 to 4 of 4