Not signed in

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

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthoreparejatobes
   • CommentTimeJan 31st 2012
   • (edited Jan 31st 2012)
   • PermaLink
   Author: eparejatobes
   Format: MarkdownItexHi everyone! I've created [relative adjoint functor](http://ncatlab.org/nlab/show/relative+adjoint+functor), and linked to it from the local definition of [adjoint functor](http://ncatlab.org/nlab/show/adjoint) (a partially defined adjoint yields an adjoint relative to the inclusion of a full subcategory). $L {\,\,}_J\!\dashv R$ and $L \dashv_J R$ is as far as I know nonstandard notation, but I think it's ok, even if the left subscript feels a bit kludgy. I will add more stuff in the next few days. PS: Thanks a lot to all the nLab contributors; in the past few years I've learn _a lot_ through here :) I now have the time and a little bit of confidence to contribute, so any pointers, tips, formatting, style suggestions, _whatever_ will be greatly appreciated

   Hi everyone!

   I’ve created relative adjoint functor, and linked to it from the local definition of adjoint functor (a partially defined adjoint yields an adjoint relative to the inclusion of a full subcategory).

   $L {\,\,}_J\!\dashv R$ and $L \dashv_J R$ is as far as I know nonstandard notation, but I think it’s ok, even if the left subscript feels a bit kludgy. I will add more stuff in the next few days.

   PS: Thanks a lot to all the nLab contributors; in the past few years I’ve learn a lot through here :) I now have the time and a little bit of confidence to contribute, so any pointers, tips, formatting, style suggestions, whatever will be greatly appreciated

2. • CommentRowNumber2.
   • CommentAuthorTodd_Trimble
   • CommentTimeJan 31st 2012
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexWelcome! When I clicked on [[relative adjoint]], I got the message "Unknown web 'show' ". I don't know what that means.

   Welcome!

   When I clicked on relative adjoint, I got the message “Unknown web ’show’ “. I don’t know what that means.

3. • CommentRowNumber3.
   • CommentAuthorzskoda
   • CommentTimeJan 31st 2012
   • PermaLink
   Author: zskoda
   Format: MarkdownItexWhy not a symmetric notation like $L\stackrel{J}\dashv R$ or alike ?

   Why not a symmetric notation like $L\stackrel{J}\dashv R$ or alike ?

4. • CommentRowNumber4.
   • CommentAuthorTim_Porter
   • CommentTimeJan 31st 2012
   • PermaLink
   Author: Tim_Porter
   Format: MarkdownItexEduardo : It seems some redirects are needed. Have a look at some other pages and see how redirects are formed.

   Eduardo : It seems some redirects are needed. Have a look at some other pages and see how redirects are formed.

5. • CommentRowNumber5.
   • CommentAuthoreparejatobes
   • CommentTimeJan 31st 2012
   • PermaLink
   Author: eparejatobes
   Format: MarkdownItex@Todd the links were wrong, it should be fixed now, thanks! @Zoran mainly because the notion is _not_ symmetric (see the entry), and also because it works as mnemonic for where to put $L$, $J$ and $R$ in the hom-iso: - $L {\,\,}_J\!\dashv R$ corresponds to $ Hom_C(L(-),-) \simeq Hom_D(J(-),R(-))$ (just like a regular adjunction, with $J$ on the left slot of the hom) - $L \dashv_J R$ corresponds to $Hom_D(L(-), J(-)) \simeq Hom_C(-, R(-))$ (now, $J$ is on the right)

   @Todd

   the links were wrong, it should be fixed now, thanks!

   @Zoran

   mainly because the notion is not symmetric (see the entry), and also because it works as mnemonic for where to put $L$, $J$ and $R$ in the hom-iso:

   • $L {\,\,}_J\!\dashv R$ corresponds to $Hom_C(L(-),-) \simeq Hom_D(J(-),R(-))$ (just like a regular adjunction, with $J$ on the left slot of the hom)
   • $L \dashv_J R$ corresponds to $Hom_D(L(-), J(-)) \simeq Hom_C(-, R(-))$ (now, $J$ is on the right)
6. • CommentRowNumber6.
   • CommentAuthoreparejatobes
   • CommentTimeJan 31st 2012
   • PermaLink
   Author: eparejatobes
   Format: MarkdownItex@Tim done! thanks

   @Tim

   done! thanks

7. • CommentRowNumber7.
   • CommentAuthorzskoda
   • CommentTimeJan 31st 2012
   • (edited Jan 31st 2012)
   • PermaLink
   Author: zskoda
   Format: MarkdownItexI see. [[Alexander Rosenberg]] uses these relative adjoints (not in this terminology) a lot in his 1988 Stockholm preprint on [[Q-categories]] (where it is used to construct Q-categories). Just a very little piece of that is transferred in the appendix A.1 (page numerated as 61) of more recent * M. Kontsevich, A. Rosenberg, _Noncommutative spaces_, preprint MPI-2004-35 ([dvi](http://www.mpim-bonn.mpg.de/preblob/2303),[ps](http://www.mpim-bonn.mpg.de/preblob/2331))

   I see.

   Alexander Rosenberg uses these relative adjoints (not in this terminology) a lot in his 1988 Stockholm preprint on Q-categories (where it is used to construct Q-categories). Just a very little piece of that is transferred in the appendix A.1 (page numerated as 61) of more recent

   • M. Kontsevich, A. Rosenberg, Noncommutative spaces, preprint MPI-2004-35 (dvi,ps)
8. • CommentRowNumber8.
   • CommentAuthorTim_Porter
   • CommentTimeJan 31st 2012
   • PermaLink
   Author: Tim_Porter
   Format: MarkdownItexAs an aside to Eduardo: can you start a page for yourself on the nLab otherwise someone will just put a stub and that is always less good? By the way one of the links from your homepage gives bizarre results. That to Antonio is fine but the other one leads to a strange page.

   As an aside to Eduardo: can you start a page for yourself on the nLab otherwise someone will just put a stub and that is always less good? By the way one of the links from your homepage gives bizarre results. That to Antonio is fine but the other one leads to a strange page.

9. • CommentRowNumber9.
   • CommentAuthorMike Shulman
   • CommentTimeFeb 1st 2012
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexWelcome! A good page to have; I added links back and forth to [[free object]].

   Welcome! A good page to have; I added links back and forth to free object.

10. • CommentRowNumber10.
    • CommentAuthoreparejatobes
    • CommentTimeMar 5th 2012
    • PermaLink
    Author: eparejatobes
    Format: MarkdownItexWell, looks like that of me having more time was off by a month :) I've added the definition in terms of absolute liftings, and a couple of examples: fully faithful functors and the relative adjoint/absolute lifting reformulation of Yoneda lemma. Zoran #7: thanks for the ref, will take a look at it Tim #8: will do, thanks. About the link, I guess you're referring to http://ohnosequences.com -that's where I work! :) maybe we need a somewhat less minimalistic website :)

    Well, looks like that of me having more time was off by a month :)

    I’ve added the definition in terms of absolute liftings, and a couple of examples: fully faithful functors and the relative adjoint/absolute lifting reformulation of Yoneda lemma.

    Zoran #7: thanks for the ref, will take a look at it

    Tim #8: will do, thanks. About the link, I guess you’re referring to http://ohnosequences.com -that’s where I work! :) maybe we need a somewhat less minimalistic website :)

11. • CommentRowNumber11.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 16th 2016
    • PermaLink
    Author: David_Corfield
    Format: MarkdownItexSince someone pointed me to [Terminal semantics for codata types in intensional Martin-Löf type theory](https://arxiv.org/abs/1401.1053), I added it to a new page [[relative comonad]]. I hadn't heard of [[relative adjoint functors]] before. All of these pages, with [[relative monad]], could do with some examples. Is there anything comparable to the first adjunction one meets -- underlying set/free algebra?

    Since someone pointed me to Terminal semantics for codata types in intensional Martin-Löf type theory, I added it to a new page relative comonad. I hadn’t heard of relative adjoint functors before. All of these pages, with relative monad, could do with some examples.

    Is there anything comparable to the first adjunction one meets – underlying set/free algebra?

12. • CommentRowNumber12.
    • CommentAuthorRodMcGuire
    • CommentTimeSep 16th 2016
    • PermaLink
    Author: RodMcGuire
    Format: MarkdownItex> All of these pages, with relative monad, could do with some examples. I looked at the linked reference: > Thorsten Altenkirch, James Chapman, Tarmo Uustalu, Monads need not be endofunctors, Logical methods in computer science ([pdf](http://www.cs.nott.ac.uk/~txa/publ/jrelmon.pdf)) and saw they were defining things in terms of _skew monoids_ (which aren't a thing) but after some reading around realized that they mean objects of a _skew monoidal category_ - one in which the natural families of constraint maps are not necessarily invertible. A definition can be found in > Mitchell Buckley, Richard Garner, Stephen Lack, Ross Street, The Catalan simplicial set ([arXiv](http://arxiv.org/abs/1309.6120)) and the term _skew monoidal_ originates from > Kornel Szlachanyi, Skew-monoidal categories and bialgebroids [arXiv](https://arxiv.org/abs/1201.4981) (2012) Stuff at this MO question, [What is this operad-like structure called?](http://mathoverflow.net/questions/168704/what-is-this-operad-like-structure-called), indicates maybe that the categories are also > what Tom Leinster calls in his [Higher Operads, Higher Categories](https://arxiv.org/abs/math/0305049) (2003) book an _unbiased lax monoidal category_. (since Altenkirch et al. above note that they had been calling them _lax monoidal categories_) As of now, the nLab appears to have no entries on skew or lax monoidal categories. [ this post really doesn't answer any quest for examples. It is just some notes I made while poking around ]

    All of these pages, with relative monad, could do with some examples.

    I looked at the linked reference:

    Thorsten Altenkirch, James Chapman, Tarmo Uustalu, Monads need not be endofunctors, Logical methods in computer science (pdf)

    and saw they were defining things in terms of skew monoids (which aren’t a thing) but after some reading around realized that they mean objects of a skew monoidal category - one in which the natural families of constraint maps are not necessarily invertible. A definition can be found in

    Mitchell Buckley, Richard Garner, Stephen Lack, Ross Street, The Catalan simplicial set (arXiv)

    and the term skew monoidal originates from

    Kornel Szlachanyi, Skew-monoidal categories and bialgebroids arXiv (2012)

    Stuff at this MO question, What is this operad-like structure called?, indicates maybe that the categories are also

    what Tom Leinster calls in his Higher Operads, Higher Categories (2003) book an unbiased lax monoidal category.

    (since Altenkirch et al. above note that they had been calling them lax monoidal categories)

    As of now, the nLab appears to have no entries on skew or lax monoidal categories.

    [ this post really doesn’t answer any quest for examples. It is just some notes I made while poking around ]

13. • CommentRowNumber13.
    • CommentAuthorMike Shulman
    • CommentTimeSep 16th 2016
    • PermaLink
    Author: Mike Shulman
    Format: MarkdownItexI thought a skew monoidal category was a *biased* lax monoidal category.

    I thought a skew monoidal category was a biased lax monoidal category.

14. • CommentRowNumber14.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 17th 2016
    • PermaLink
    Author: David_Corfield
    Format: MarkdownItexAre these ideas in a state of flux still then?

    Are these ideas in a state of flux still then?

15. • CommentRowNumber15.
    • CommentAuthorMike Shulman
    • CommentTimeSep 18th 2016
    • PermaLink
    Author: Mike Shulman
    Format: MarkdownItexI think it's pretty consistent: "lax monoidal categories" are unbiased (the terminology is correct because they are the lax algebras for the monad whose strict/strong algebras are monoidal categories), "skew monoidal categories" are biased.

    I think it’s pretty consistent: “lax monoidal categories” are unbiased (the terminology is correct because they are the lax algebras for the monad whose strict/strong algebras are monoidal categories), “skew monoidal categories” are biased.