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.
expanded "Idea and definition" at generalized element
I realized I was a little unhappy with the phrasing of the references to type theory at generalized element, so I edited them a bit, and added some sectioning at the same time.
I have added a pointer to a reference that discusses this. Probably not the most canonical reference for this point, but one which I happened to have within reach.
I have slightly changed the informal introduction and made reference to the notion of “figures of a shape”.
I added a new section “In toposes” which explains that generalized elements in a topos are ordinary elements in another topos, thanks to the slice theorem.
1 to 5 of 5