Fix minor error: the image of the homset between k and k’ will be empty if k > k’.
]]>Formatting
Bartosz Milewski
]]>Uniform naming of the functor F
Bartosz Milewski
]]>tikzcd diagram
Bartosz Milewski
]]>Tikzcd diagram
Bartosz Milewski
]]>Use tikzcd for diagram
Bartosz Milewski
]]>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’.
]]>I added to category of elements an argument for why preserves colimits.
]]>