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.
• CommentAuthorFinnLawler
• CommentTimeJun 11th 2010

Created doctrinal adjunction. The page could probably use some examples and/or fleshing out.

• CommentRowNumber2.
• CommentAuthorMike Shulman
• CommentTimeJun 11th 2010
• (edited Jun 11th 2010)

Thanks! I added some remarks about the way I prefer to think of doctrinal adjunction in terms of double categories. This motivated me to finally create companion pair and conjunction.

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeJun 21st 2017

Is the statement of prop. 2.2 at doctrinal adjunction as intended:

For the unit and counit of the adjunction $f \dashv u$ to be $T$-transformations, and hence for the adjunction to live in $T$-$Alg_l$, it is necessary and sufficient that $\tilde f$ have an inverse $\bar f$ that makes $(f,\bar f)$ into a lax $T$-morphism, and hence $(f,\bar f)$ into a strong $T$-morphism.

?

The last line repeats the symbls $(f,\bar f)$. If this is what is really meant, it would be more clear to write “into a lax $T$-morphism, which is then necessarily a strong $T$-morphism”.

And in the lines before the proposition, symbols “$\bar f$” refer to 2-morphisms, while here they refer to (inverses of) 1-morphisms. I am not sure if I am parsing this correctly.

• CommentRowNumber4.
• CommentAuthorMike Shulman
• CommentTimeJun 21st 2017

Actually, it would be enough to stop at “have an inverse.” The fact that this makes $(f,\bar{f})$ into a lax and a strong $T$-morphism then follows automatically. But $\bar{f}$ is a 2-morphism here too, since it is an inverse of the 2-morphism $\tilde{f}$.

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeJun 21st 2017
• (edited Jun 21st 2017)

Thanks, I see now where I made a mistake in parsing.

Maybe I’ll find some time to re-arrange the notation of the entry a little. On my system at least, it is somewhat hard to decypher, with different kinds of $n$-morphisms all in the same font and with the difference between small twiddles and small bars hard to make out.

Generally, for better reading experience, I found that

\overline{}

beats

\bar{ }

and it is good to type

\widetilde

even for single symbols to be decorated. But in the entry at hand, maybe one should find altogether different decoration, for readability.

• CommentRowNumber6.
• CommentAuthorDavid_Corfield
• CommentTimeMay 4th 2018

I added a sentence to explain the ’doctrine’ part of ’doctrinal adjunction’.