Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

March 8, 2021

Parametric adjoints = multi-adjoints

Posted by Mike Shulman

Here are two “weakenings” of the notion of adjoint functor:

  1. If CC has a terminal object 11, a functor F:CDF:C\to D is a parametric right adjoint if the induced functor F 1:CD/F1F_1 : C \to D/F 1 is a right adjoint.

  2. A functor F:CDF:C\to D has a left multi-adjoint if for each yDy\in D there is a (small) family of morphisms {η y,i:yFx i} iI\{ \eta_{y,i}:y \to F x_i\}_{i\in I} such that for any morphism g:yFzg:y\to F z, there is a unique pair of an index iIi\in I and a morphism h:x izh:x_i \to z such that g=Fhη y,ig = F h \circ \eta_{y,i}.

I just noticed that these two definitions are almost exactly the same! Specifically, if CC has a terminal object and DD is locally small, then a functor F:CDF:C\to D is a parametric right adjoint if and only if it has a left multi-adjoint.

First suppose FF is a parametric right adjoint, with left adjoint L:D/F1CL : D/F1\to C of F 1F_1. Then given yDy\in D, let I=D(y,F1)I = D(y, F1) (which is a set since DD is locally small). Then each iIi\in I is a morphism i:yF1i:y\to F1, i.e. an object of D/F1D/F1, so we have LiCL i \in C and the unit η y,i:yFLi\eta_{y,i}: y \to F L i a morphism in D/F1D/F1. Now suppose given g:yFzg:y\to F z. Then the composite yFzF1y \to F z \to F 1 is an element iIi\in I, making gg into a morphism of D/F1D/F1. Thus, it corresponds to a unique morphism LizL i \to z, giving the unique factorization in the definition of multi-adjoint.

Conversely, suppose FF has a left multi-adjoint, and let k:yF1k:y\to F 1 be an object of D/F1D/F1. Let {η y,i:yFx i} iI\{ \eta_{y,i}:y \to F x_i\}_{i\in I} be given as in the definition of multi-adjoint; then there is a unique iIi\in I and a factorization of kk through η y,i\eta_{y,i} (necessarily by the unique morphism x i1x_i \to 1). Define Lk=x iL k = x_i. Then for any zCz\in C, we know that any map g:yFzg:y\to F z factors uniquely through η y,j\eta_{y,j} for some jIj\in I. But it follows that the composite yFzF1y \to F z \to F 1 must factor through the same η y,j\eta_{y,j}; so if gg is a morphism in D/F1D/F1 then we must have j=ij=i, so that gg factors uniquely through LkL k. Thus, LL is a left adjoint to F 1F_1. This completes the proof.

In fact, this argument is essentially already in the literature. In Familial 2-functors and parametric right adjoints, Weber proved (Prop. 2.6) that a functor whose domain has a terminal object is a parametric right adjoint if and only if every morphism f:yFzf:y\to F z factors as ygFxFhFzy \xrightarrow{g} F x \xrightarrow{F h} F z where gg is “FF-generic”. The definition of FF-generic involves a sort of restricted lifting property, but it’s easy to see that the units η y,i\eta_{y,i} in a multi-adjoint are FF-generic, and that if FF-generic factorizations exist then a representative set of their isomorphism classes forms a multi-adjoint (up to size questions).

However, I haven’t seen this stated before using the terminology “multi-adjoint”. In particular, it’s interesting that multi-adjoints can be thought of as a generalization of parametric adjoints to categories lacking a terminal object.

Posted at March 8, 2021 4:40 PM UTC

TrackBack URL for this Entry:   https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/3301

14 Comments & 0 Trackbacks

Re: Parametric adjoints = multi-adjoints

I haven’t seen this relationship stated so directly, though Charles Walker observes in Lax familial representability and lax generic factorizations that familial functors are precisely those functors admitting left multi-adjoints; that familial functors are equivalently those admitting generic factorisations is attributed in Proposition 2.8 to Yves Diers. It’s very helpful to make this explicit connection, though; it’s not at all obvious from either paper (or even from both in concert)!

(I suspect Diers’s thesis Catégories localisables contains a number of useful results in a similar vein, but I haven’t been able to find a copy.)

Posted by: Nathanael Arkor on March 9, 2021 2:08 AM | Permalink | Reply to this

Re: Parametric adjoints = multi-adjoints

I thought of Diers too. There’s a good bit about familial representability and parametric right adjoints (though not under that name) in this paper, which seems to me to be underappreciated:

Aurelio Carboni and Peter Johnstone. Connected limits, familial representability and Artin glueing. Mathematical Structures in Computer Science 5 (1995), 441–459.

Since I’m citing this, I should also cite the corrigenda, though they’re irrelevant for the present purposes:

Aurelio Carboni and Peter Johnstone. Corrigenda for “Connected limits, familial representability and Artin glueing”. Mathematical Structures in Computer Science 14 (2004), 185–187.

Posted by: Tom Leinster on March 9, 2021 5:23 PM | Permalink | Reply to this

Re: Parametric adjoints = multi-adjoints

Great, post! What’s the typical reference for multi-adjoints?

Posted by: Harley Eades on March 9, 2021 2:54 PM | Permalink | Reply to this

Re: Parametric adjoints = multi-adjoints

I think I learned about them from Adamek-Rosicky Locally presentable and accessible categories, where they (along with weak adjoints) are used to characterize certain classes of accessible categories that are more general than locally presentable categories (“locally multi-presentable categories”, etc.)

Posted by: Mike Shulman on March 9, 2021 3:17 PM | Permalink | Reply to this

Re: Parametric adjoints = multi-adjoints

Awesome, thanks!

Posted by: Harley Eades on March 9, 2021 3:22 PM | Permalink | Reply to this

Re: Parametric adjoints = multi-adjoints

Small question:

In h:x iyh : x_i \to y is yy supposed to be zz?

Posted by: Harley Eades on March 9, 2021 3:47 PM | Permalink | Reply to this

Re: Parametric adjoints = multi-adjoints

Yep, thanks. I’ll fix it in the post.

Posted by: Mike Shulman on March 9, 2021 4:46 PM | Permalink | Reply to this

Re: Parametric adjoints = multi-adjoints

Anything of interest here?

  • Axel Osmond, On Diers theory of Spectrum I : Stable functors and right multi-adjoints, (arXiv:2012.00853)

Diers developed a general theory of right multiadjoint functors leading to a purely categorical, point-set construction of spectra. Situations of multiversal properties return sets of canonical solutions rather than a unique one. In the case of a right multiadjoint, each object deploys a canonical cone of local units jointly assuming the role of the unit of an adjunction. This first part revolves around the theory of multiadjoint and recalls or precises results that will be used later on for geometric purpose. We also study the weaker notion of local adjoint, proving Beck-Chevaley conditions relating local adjunctions and the equivalence with the notion of stable functor. We also recall the link with the free-product completion, and describe factorization aspects involved in a situation of multi-adjunction.

There’s a follow-up

  • Axel Osmond, On Diers theory of Spectrum II: Geometries and dualities, (arXiv:2012.02167)
Posted by: David Corfield on March 10, 2021 7:48 AM | Permalink | Reply to this

Re: Parametric adjoints = multi-adjoints

Posted by: David Corfield on March 10, 2021 1:50 PM | Permalink | Reply to this

Re: Parametric adjoints = multi-adjoints

Naturally, multiadjoints have appeared on the Café before, in a comment here from Paul Taylor in the context of codensity monads.

Posted by: David Corfield on March 10, 2021 2:53 PM | Permalink | Reply to this

Re: Parametric adjoints = multi-adjoints

There is a paper by Walter Tholen on pro-categories and multi-adjoints that may be useful. (Can. J. Math., Vol. XXXVI, No. 1, 1984, pp. 144-155)

Posted by: Tim Porter on March 11, 2021 7:49 AM | Permalink | Reply to this

Re: Parametric adjoints = multi-adjoints

That could well contain Mike’s result. Theorem 2.4 claims that, in some circumstance, the condition of being a right 𝒟\mathcal{D}-pro-adjoint and being a partial left adjoint relative to some embedding are equivalent.

When 𝒟\mathcal{D} is SetSet, the first condition is the same as being a right multiadjoint.

Posted by: David Corfield on March 11, 2021 12:02 PM | Permalink | Reply to this

Re: Parametric adjoints = multi-adjoints

This was mentioned by Richard Garner as one characterization of the polynomial functors Set/I –> Set/J in yesterday’s Polynomial Workshop talk - see around 2:25 at https://www.youtube.com/watch?v=B8STLcbEGrE .

Posted by: Steve Awodey on March 16, 2021 5:26 PM | Permalink | Reply to this

Re: Parametric adjoints = multi-adjoints

well, two characterizations actually.

Posted by: Steve on March 17, 2021 3:57 AM | Permalink | Reply to this

Post a New Comment