ryankeleti / ega

amateur translation project of Grothendieck's EGA.

Home Page:https://ryankeleti.com/ega

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

removal of parens for image functors of sheaves

ryankeleti opened this issue · comments

commented

What's your opinion on removing parens (where no ambiguity follows) for certain sheaf image functors? For example, the diagram diagram
is a little overloaded.

at the very least I'd be up for removing all but the innermost ones: having something like
Untitled

i think that the whole v'^* notation (i.e. a ' and a *) is gonna be kind of messy anyway, so this is a good step to making it less yikes-inducing

at the very least I'd be up for removing all but the innermost ones: having something like
Untitled

this is what i ended up doing in some parts of ega1-10

i like the idea of removing extra brackets and don't think it's too controversial, so if you're happy with it too then i vote to close this issue :-)

although... this does give some consistency problems. should we also remove all the extra parentheses in e.g. EGA I, 1.2.2.1? and so on

commented

this is tricky but maybe we should just adhere to the original source format, it will cause less confusion and paren overloading isn't too rare.

yeah, i suppose it's better if in doubt to just follow the source, and it's really not that messy either way