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.
started stub for bounded geometric morphism
I corrected the characterisation of boundedness.
Why don’t you just say quotient of a subobject of …, instead of subquotient of a subobject of …?
Oh I see. It was fine as it was. I’ll roll back, but fix a typo.
Jonas Frey has kindly added some material to the Properties-section at bounded geometric morphism. I have touched the formatting a little and added some more cross-links with the entry internal sheaf.
Notice that the entry is still waiting for somebody to complete two items in its Definition section!
I filled in the holes in the definition by copying the missing parts from the elephant, and rephrasing a bit.
The equivalent reformulations use terminology that needs to be defined, therefore I amended separating family, adding the definition of separating family in a fibration.
The concept of gluing fibration still needs to be defined – probably by remarking on the page on Artin gluing that the appropriate projection is a fibration. I’ll come back to that maybe tomorrow.
Thanks!
1 to 7 of 7