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.
I added to category of elements an argument for why $El$ preserves colimits.
I removed the claim that the projection El(F) -> C is surjective on objects, which is not true if some F(c) is empty. There is still a paragraph about the projection not being full. This is correct but maybe a bit unnecessary, it seems clear that for elements (c, x) and (c’, x’), not every map c -> c’ takes x to x’.
1 to 2 of 2