Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Made some some small improvements (ordering of sections, note on how the definition defaults to the usual definition of adjoints, fixing broken link in the references, etc) in relative adjoint functor.
I’ve attempted to clean up this page by updating the notation and introducing the terminology “relative coadjunction” (following AM24) to distinguish between the two distinct concepts mentioned on the page. I added several more properties of relative adjunctions. Unfortunately there are two opposite conventions for relative adjunctions and relative coadjunctions in the literature. The one that had been used on this page previously was less intuitive than the other convention, and was not the original convention, so I have changed it.
linked dense functor in
A right -relative adjoint is unique up to isomorphism only if is dense. See Lemma 5.7 of AM24.
though I didn’t check that page against the paper.
1 to 5 of 5