# 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.
• CommentAuthorMike Shulman
• CommentTimeNov 5th 2012

• CommentRowNumber2.
• CommentAuthorzskoda
• CommentTimeNov 5th 2012
• (edited Nov 5th 2012)

Unfortunately there is a somewhat nonstandard usage of terminology continuous functor (and flatness there includes having right adjoint).

• CommentRowNumber3.
• CommentAuthorMike Shulman
• CommentTimeNov 5th 2012

Feel free to add them to the page! (-:

• CommentRowNumber4.
• CommentAuthorMike Shulman
• CommentTimeJul 8th 2015

I added to adjoint triple a sketch proof that one of the adjunctions is an idempotent adjunction if and only if the other is, somewhat analogously to the situation with full-faithfulness.

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeSep 25th 2015

• CommentRowNumber6.
• CommentAuthorDavid_Corfield
• CommentTimeSep 25th 2015

But then is it also an adjunction in the 2-category of adjoint triples? (Arranging the squares horizontally.)

• CommentRowNumber7.
• CommentAuthorUrs
• CommentTimeSep 25th 2015

• CommentRowNumber8.
• CommentAuthorDavid_Corfield
• CommentTimeSep 25th 2015

So a cube.

• CommentRowNumber9.
• CommentAuthorMike Shulman
• CommentTimeSep 25th 2015

Thanks! I modified it a bit so that it doesn’t appear to be claiming that we discovered that fact.

• CommentRowNumber10.
• CommentAuthorDavid_Corfield
• CommentTimeSep 26th 2015

This mode/adjoint logic is reminding me of Neel Krishnaswami’s comment.

I wonder if Peirce’s gamma graph constructions have anything to teach us still. Given that Peirce provided you, Mike, with a diagrammatic notation for monoidal fibrations, it’s not impossible. For a small taste, on p. 24 of this we hear about his use of tinctures to depict “As far as is known, a Turk exists who is the husband of two different persons”.

I see I’ve been promoting this for a while:

And once you’ve sorted out Peirce’s beta system, I look forward to a category theoretic rendition of the gamma system.

By the way, the reference [12] has a misspelt ’cirlce’.

• CommentRowNumber11.
• CommentAuthorThomas Holder
• CommentTimeSep 26th 2015

Dotting the i’s in the reference section: in [7] it’s officially ’F. W. Lawvere’ I think and for my taste the capital letters of Mac Lane in [10] and Meyer-Vietoris in [4] should be protected as well (ultimately this depends upon the exact titles of the papers cited though).

Slightly more relevant: Are you aware of this arXiv-paper ? It has certain parallels with your approach.

Another thing: what these guys (doi:S0304-3975(98)00359-4) are doing might turn out to be an instance of the adjoint logic with a quintessential localization as mode category or at least this might suggest a direction for possible applications of such a gadget.

• CommentRowNumber12.
• CommentAuthorMike Shulman
• CommentTimeSep 26th 2015

You guys need to be explicit that you are giving feedback on my paper with Dan! At first I thought you were talking about the references in the nLab article (which this discussion page is, after all, about). Thanks for the suggestions, I’ll look into them.

• CommentRowNumber13.
• CommentAuthorDavid_Corfield
• CommentTimeSep 27th 2015

On a similar issue of explicitness as #12, was your ’Cute!’ referring to Neel’s comment, Mike?

• CommentRowNumber14.
• CommentAuthorMike Shulman
• CommentTimeSep 27th 2015

I guess; that was a long time ago. (-:

• CommentRowNumber15.
• CommentAuthorUrs
• CommentTimeJul 12th 2018
• (edited Jul 12th 2018)

Why the need/desire to define the 2-morphisms in $Adj$ (p. 13) to be “conjugate pairs” of natural transformations?

If we consider instead the 2-category of categories, left adjoint functors, and plain natural transformations between these. Then an adjunction in that 2-category is still/already an adjoint triple.

• CommentRowNumber16.
• CommentAuthorMike Shulman
• CommentTimeJul 12th 2018

Those two 2-categories are biequivalent, so up to equivalence it doesn’t matter. And sometimes it’s useful to have both adjoints as given data, e.g. it corresponds more directly to what we see in the type theory.