# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeApr 13th 2021

re-did the typesetting of the adjoint triple with TikZ

• CommentRowNumber2.
• CommentAuthorMike Shulman
• CommentTimeNov 25th 2021

I changed several occurrences of $f_i$ to $f_!$, because I couldn’t figure out what else it might have meant. If this was wrong, please correct.

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeNov 26th 2021

This may need attention:

Those “$f_i$” were introduced in rev 46 by a user signing as Mike Alex.

It looks wrong to me. In your latest version, what’s the very last morphism (here) meant to be?

Maybe I am missing something, as I am looking at this now without leisure, in a stolen minute.

But in my last rev 45, the arrow in question (last one in Def. 3.2) seems evident: precomposition with the $(f_1 \dashv f^\ast)$-unit on $A$.

Right now I don’t see what should be wrong with that, or how the current modification even makes sense.

Okay, let me double check… Yes, my last rev 45 agrees with May et al.’s Prop. 2.11, p. 6.

Have to look into something else now, but unless there is a good reason not to, I feel we need to revert back to rev 45

• CommentRowNumber4.
• CommentAuthorDavid_Corfield
• CommentTimeNov 26th 2021

Don’t forget what you added for rev 47 as mentioned in #1.

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeNov 30th 2021

So I have now reverted that one equation (here) to what I had up to rev 45, before “Mike Alex” changed it in rev 46 in a way that I can’t make sense of.

For what it’s worth, the version that I reverted to is verbatim that in Prop. 2.11 of May et al. (p. 6), though the point in question seems completely elementary and shouldn’t need a citation.

If anyone (such as user Mike Alex, who I don’t recall to have met) still thinks that I am missing something and that there is need to modify the entry at this point, please do say so here in the forum comments, so that we can discuss.