Fix link
Empress of Light
]]>Added two classical 2-categorical references.
]]>Fixed previous edit so that it has the intended effect.
Baptiste Loreau
]]>Corrected diagrams for the zigzag law (there is no id functor C -> D!)
Baptiste Loreau
]]>Great! I have added the page number (pp. 762).
]]>Added an earlier reference for adjunctions in a 2-category.
]]>added pointer to:
Thanks!
I have added more details, such as a link to the article:
Added the original reference (as far as I’m aware).
]]>also tried to streamline the Idea-section (here)
The entry is still lacking an “original reference” for the notion of adjunction in general 2-categories, if such exists. Just in order to have at least one reference earlier that Johnson & Yau (2020), I have now added pointer to:
tried to clean up the Definition-section (here)
in particular I added the form of the zig-zag law as an equality of 2-morphisms
and I moved the equivalent expression in terms of string diagrams to right after that inside the definition.
]]>added (here) mentioning of the example of enriched adjoint functors
]]>Right, it can be confusing. So I have added a disambiguation line to the very top of the entry, prominently pointing to the page adjoint functors.
Also moved the paragraph on slice categories to there.
]]>Ah, I thought the page adjunction was looking barer than I remembered; I didn’t recall that there were two pages.
]]>This paragraph should probably rather go the page adjoint functor. I have copied it to there.
]]>Mention characterisation in terms of comma categories.
]]>Also added pointer to the proof of this that I once wrote at adjoint functor here.
]]>Following Richard in #12 I have tried to bring the old material under “Examples – Adjoint functors” (here) into some shape: I have added Proposition/Example/Proof/Remark-environments and slightly adjusted the text here and there. (One could still improve the “Proof” to make the converse implication more explicit.)
]]>Added (here) a brief remark on adjunctions in to the list of examples.
]]>The ’Examples’ section on this page is rather a mess. Apart from the fact that the contents are mostly not really examples, it would be good if some industrious reader can re-work the material into some structure (proposition, proof, remark, example etc).
]]>Fixing a couple of diagrams.
]]>We should rewrite them in Tikz or xymatrix. I believe Urs already did so in one form at triangle identities, and I recall having done so myself in a different form somewhere, though I do not remember where just now; we can just copy the code over. (Edit: the ones I wrote are at left adjoint. I will fix this myself tomorrow if no-one gets to it before me.)
]]>Yeah, I have already done some harmonizing of the list of References to both entries. That’s just the way it is now. At least each References section is now alerting the reader to also look at the other.
]]>