Talk:Adjoint functors

From Wikipedia, the free encyclopedia

WikiProject Mathematics
Mathematics Portal
This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating: B Class High Priority  Field: Foundations, logic, and set theory

Contents

I'd have to agree with the comment that this page, for all its content, lacks motivation. Put it another way, such feeling as I have for the adjunction concept didn't come from reading this sort of account. It is more difficult to know exactly what to do about it. The sort of example that might help is the way implication in logic can be defined (introduced) as an adjoint. (But it depends on your background.)

Charles Matthews 17:51, 4 Nov 2003 (UTC)

Hmmm - generalised inverses - I'd have to say my understanding of the concept improved when I stopped trying to use this as an intuition.

Charles Matthews 12:08, 20 Feb 2004 (UTC)

Why the plural in the title? I realize that two functions are adjoints to each other, but the term can also be used in the singular: This functor is the adjoint of that functor. Michael Hardy 23:26, 22 Jul 2004 (UTC)

FWIW, I came here typing "adjoint functors" in the search box. For singular, I would have typed "left adjoint" or "right adjoint f." BACbKA 20:50, 7 Aug 2004 (UTC)
I agree that the title should be singular 145.97.223.187 17:32, 9 Mar 2005 (UTC)

Plural is better, really. Pair of adjoint functors is a fuller version. Left adjoint or right adjoint is OK; but 'adjoint functor' on its own is a bit like 'scissor', IMO. Charles Matthews 15:51, 16 Mar 2005 (UTC) See also stilts. Charles Matthews

It is a little bit different, in that adjoint functors have a built-in asymmetry that scissors or stilts don't have...but agreed that left adjoint and right adjoint should still just redirect here. Revolver 05:38, 14 May 2005 (UTC)
Adamek, Herrlich, and Strecker give a definition of "adjoint functor" and "co-adjoint functor", but I think these are just names for "left adjoint" and "right adjoint" (or the other way around), curiously, they don't bother to mention the relation to the usual left/right adjoint terminology. Revolver 05:35, 14 May 2005 (UTC)

I'd like an explanation of the notation in Adjoint functors#Formal_definitions. I found the beginning of one on pages 29 and 34 of [1] (they call Mor(), Hom()), but haven't done the work yet to elaborate it to fit here. Perhaps there should be another page defining the Mor Functor? JeffreyYasskin 18:48, 3 Apr 2005 (UTC)

Not really. Mor for morphism is more correct, pedantically speaking, but I suppose Hom for homomorphism is very common. Charles Matthews 20:26, 3 Apr 2005 (UTC)

I changed from "Mor" to "hom" on the category pages just because that's the most widely used (e.g. Mac Lane, the standard reference). In an ideal world, "Mor" would have become the standard notation, but somehow that didn't happen. Both are common...once you're aware they mean the same thing, it shouldn't be confusing. Revolver 05:42, 14 May 2005 (UTC)

I removed from the opening paragraph the sentence "Like much of category theory, the general notion of adjoint functors arises at an abstract level beyond the everyday usage of most mathematicians", for several reasons.

First, it's not NPOV; it contains the assertion that "much of category theory... arises at [a]... level beyond the everyday usage of most mathematicians". This is highly debatable. Many of the people who understand category theory best believe that it arises at the most basic level of mathematics. See for instance Lawvere and Schanuel's book Conceptual Mathematics (Cambridge University Press, 1997).

Second, the "beyond" is slightly pejorative and unnecessarily intimidatory to the reader. Saying "beyond" just makes it sound harder. And what does it mean to say that category theory is "beyond", say, number theory? Most category theorists regard number theory as in some respect a much harder subject than their own; in that sense, number theory is "beyond" category theory. It's pointless to try to make comparisons like this.

Third, it's somewhat in conflict with the later demonstration that adjoint functors arise throughout mathematics. Strictly speaking it's not a logical conflict, because you could maintain that while the general notion is "beyond" everyday usage, many particular instances are encountered every day. But for a sentence in the opening paragraph, it's misleading. 158.109.1.23 (talk) 16:45, 27 February 2008 (UTC)

[edit] Which John Conway?

John Conway is now a dab page. I assume the reference here should be to John B. Conway, whereas most of the other uses are for John Horton Conway. But I don't want to change it myself, because I'm just assuming. --Trovatore 07:09, 28 November 2005 (UTC)

I asked Charles, who originally wrote the text in question, and I infer from his reply that it is John H Conway that is meant. -lethe talk 10:29, 14 December 2005 (UTC)
Yup, lectures from 1976. Charles Matthews 11:09, 14 December 2005 (UTC)
By the way, I didn't find the reference to John Conway very helpful. Maybe it can go in a footnote, along with a lot of the other tangential remarks? A5 13:56, 1 April 2006 (UTC)
Aren't tangential remarks helpful, to some people, in getting to grips with something so abstract? It is quite possible to cut to the chase - the formal definition - if that's what suits. Charles Matthews 14:31, 1 April 2006 (UTC)
Sometimes, certainly, but I think it can be overwhelming to present too much information at once. Footnotes give an easy way for people to skip the extraneous stuff on a first read. Most importantly, for example for this remark it isn't obvious why John Conway is mentioned (out of other mathematicians), nor what part of his work is being referred to. From what I know about abstract algebra and John Conway, I can imagine that he would prefer a synthetic rather than analytic approach to defining things - but this only helps me understand what the comment might be talking about, I don't actually learn anything new by reading it. I see a lot of comments like this in the maths sections of Wikipedia which read like they were written by someone who was more interested in showing off his or her own knowledge, than in communicating something useful to readers. A5 15:23, 2 April 2006 (UTC)
You know, we get a lot more criticism here for stark presentation of mathematical facts, without some sort of background. And rightly so. Charles Matthews 19:23, 2 April 2006 (UTC)
I think you're missing the point, or perhaps you didn't read all of what I wrote above. I'm certainly not opposed to helpful comments which communicate useful information to the reader. These can even be tangential; and can talk about mathematicians and their work, as this one tries to. What I'm opposed to is comments that mention facts without indicating why they are true, where they came from, why they are relevant, why they are more relevant than other things, etc. It's true that such useless comments often happen to be tangential, but that's not what makes them useless. A5 21:12, 12 April 2006 (UTC)
So we blitz all that: facts without indicating why they are true, where they came from, why they are relevant, why they are more relevant than other things, etc.. And whenever anyone says 'that's not relevant', we have to cut it out. How much supporting material would we be left with? Actually, we'd be left with the kind of treatment there is on PlanetMath. Written largely for grad students, by grad students.
I have never believed that this kind of treatment is appropriate for WP. Of course we can include (mathematical) facts without indicating why they are true. Every mathematical encyclopedia does that. This is not a textbook effort. Wikibooks does that. The kind of supporting comments, in detail, is of course negotiable. But the principle that articles aren't purely logic-driven expositions is not. Charles Matthews 21:27, 12 April 2006 (UTC)
You say: "And whenever anyone says 'that's not relevant', we have to cut it out." That's not what I'm advocating. You're using strawmen again.
Let's look at the comment in question: "(This is favoured, for example, by John Conway.)" Where does John Conway favor it? Why? Who else favors it, and why did you pick John Conway? Is he part of a broader school of thought? Did he write some book which advocates defining rings constructively? Obviously devoting a paragraph to John Conway in the middle of this article is a bad idea, but you don't have to do that. Just another sentence would be enough. Put it into context. As it stands, you annoy two kinds of readers. You annoy the readers who just want to learn about adjoints, and not anything else. And you annoy the readers who are interested in the cultural context as well, by telling them a dangling fact which they can't easily follow up on, in a form which they can't easily pass on to others.
Personally, I would advocate deleting it, and moving it to the talk page, but not because I think it can't be turned into a useful remark - rather, because I don't know how to make it useful, and given that the author seems unwilling to make it useful himself, I'm inclined to question how important it was in the first place. A5 15:57, 21 April 2006 (UTC)

I just requested a citation for the statement about Conway's preferred formulation both because I'd like to read what he had to say about it and since it might in part resolve the above disagreement. (If it came from a private communication like a letter or conversation, oh well, cwea.)Rich 09:09, 5 August 2006 (UTC)

[edit] Comparison to Hilbert Spaces

Is there a category where adjoint operators in Hilbert space correspond to adjoint functors? It would be nice to give a formal version of that analogy. Sorry if I missed it. A5 13:56, 1 April 2006 (UTC)

Baez defines in q-alg/9609018 2Hilb to be the 2-category of all 2-Hilbert spaces, defining a 2-Hilbert space to be a category with zero object (like the zero vector in Hilbert space), coproducts (vector sums in Hilbert space) (this is like scalar multiplication by complexes. Instead you have tensor multiplication by Hilbert spaces), cokernels (vector differences), a Hilb-module (a module category over Hilb, the category of all (finite-dim?) Hilbert spaces), and an enriched category over Hilb along with a *-morphism over the hom-sets (the inner product of two vectors should live in C). OK, that sounds like a lot of abstract nonsense, but then, Hilbert spaces have a lot of structures, and they all have to be categorified. The upshot? Any Hilbert space makes a (2-Hilbert space) category whose objects are the vectors and whose morphisms are the amplitudes between vectors, and adjoint maps between two Hilbert spaces are adjoint functors of the corresponding categories. The other way, one can say that if two morphisms in 2Hilb, that is, two functors between 2-Hilbert spaces, are adjoint functors, then they induce adjoint linear operators on each hom-set. -lethe talk + 16:39, 1 April 2006 (UTC)
It would be cool if we could put this stuff into the pedia, but it would require having an entire article devoted to 2-Hilbert spaces. Mebbe I'll do that soon, but I've got other tasks to finish first. -lethe talk + 17:16, 1 April 2006 (UTC)

Thanks. I've looked at the article. I don't really understand it. I wish it were written in terms of categories instead of 2-categories, but I assume the extra complexity has a purpose. A5 17:16, 3 April 2006 (UTC)

The fact that the category of 2-Hilbert spaces is actually a 2-category doesn't seem to be too important for just understand when adjoint functors are adjoint maps. I think he does that as part of his n-category quantization program. Anyway, I think I will try to distill some of the easier parts of the paper and make an article here. I'll keep you posted. -lethe talk + 20:43, 3 April 2006 (UTC)

[edit] Adjoint Morphisms

I have previously encountered a defintion for adjoint morphisms in an arbitrary category, of which the definition of adjoint functors is a special case for say the category of small categories. There does not seem to be an article on these types of morphisms, and while I don't know if they merit their own article, perhaps a mention here would be appropriate? Marc Harper 19:10, 3 August 2006 (UTC)

I don't see why not. Melchoir 03:49, 25 September 2006 (UTC)
In retrospect, I think a discussion of adjoint 2-morphisms may move a bit to much in the direction of 2-category theory to be useful here. A mention back to this article as a special case seems immediate should someone decide it is an article worth writing. Marc Harper 06:04, 28 February 2007 (UTC)

[edit] From monoids and groups to rings

For the examples listed under "From monoids and groups to rings", surely one needs to restrict to the integral monoid ring and the integral group ring constructions?

And is there a reference for these adjunctions? Melchoir 03:45, 25 September 2006 (UTC)

Exercise in MacLane-Birkhoff? Charles Matthews 08:12, 25 September 2006 (UTC)
That would sure work, but I don't have the book... is it in there? Melchoir 15:55, 25 September 2006 (UTC)
It was, some time in the 1970s. It's reference madness, though, when a simple exercise has a reference demanded for it. Charles Matthews 16:00, 25 September 2006 (UTC)
I am challenging the factual accuracy of the item as it appears on this article. Is it reference madness to demand a citation for disputed material? Melchoir 16:13, 25 September 2006 (UTC)

Let's walk through this then. The monoid ring construction gives a functor from monoids to rings. This functor is left adjoint to the functor that associates to a given ring its underlying multiplicative monoid.

Hommonoid(M,R)= Homring(Z[M],R).

Yup. You tell me where m in M goes, either way, equally good. You are correct that it is the integral version of monoid ring/group ring; you can get a group algebra version with appropriate algebras instead of rings. It is pretty much a tautology when you see it written down. Charles Matthews 16:21, 25 September 2006 (UTC)

If that italicized bit is a quote from MacLane-Birkhoff, then the article definitely needs a citation so that the reader can, in theory, go back to the source and determine what assumptions the authors make. In this case, they seem to be using a convention that if the ring is unspecified, it is understood to be Z by default. I don't think that's standard, and if we're going to assume the convention here, then it has to be noted at least in Monoid ring and Group ring, with citations there too. Melchoir 16:42, 25 September 2006 (UTC)

Well no, the italicised bit is a quote from the page, here. This is getting too pedantic for me. I'll make it integral group ring and monoid ring. Charles Matthews 16:49, 25 September 2006 (UTC)


[edit] Primes put on variables are mispaced?

Is the Oct 5 2006 contribution (done in the Adjoint functors#Formal definitions) correct? It has made a rearrangement of primes on the X, Y objects in case of the f morphism. But I think this rearrangement is mistaken.

In the Adjoint functors#Formal definitions, and important notion is that we regard set of morphisms between between two objects as itself an object in \mathcal{SET}.

X, Y, X^\prime, Y^\prime \in \mathbf{Ob}(\mathcal C)
f, g \in \mathbf{Ar}(\mathcal C)
f \in \mathrm{Hom}_{\mathcal C}(X^\prime,\;X)
g \in \mathrm{Hom}_{\mathcal C}(Y,\;Y^\prime)

Let us note the strange (crossed) arrangement of primes on variables: in case of f it is reversed (compared to the case of g).

Now we build an interesting thing in the \mathcal{SET} category out of all these above \mathcal{C}-things:

\mathrm{Hom}_{\mathcal C}(X,\;Y) \in \mathbf{Ob}(\mathcal{SET})
\mathrm{Hom}_{\mathcal C}(X^\prime,\;Y^\prime) \in \mathbf{Ob}(\mathcal{SET})

We have just constructed objects in \mathcal{SET} category, built of the above \mathcal{C}-things. But what about the corresponding morhisms (i.e. ordinary functions) in \mathcal{SET}? How shall we build them in an appropriate way out of the above \mathcal{C}-things?

\mathrm{hom}(f,\;g) : \mathrm{Hom}_{\mathcal C}(X,\;Y) \to_{\mathcal{SET}} \mathrm{Hom}_{\mathcal C}(X^\prime\;Y^\prime)

defined as

\forall a \in \mathrm{Hom}_{\mathcal C}(X,\;Y)\longmapsto g \cdot a \cdot f \in \mathrm{Hom}_{\mathcal C}(X^\prime\;Y^\prime)

Image:C-op-X-C-to-Set.png

Let us turn back again to the typing of f and g

f \in \mathrm{Hom}_{\mathcal C}(X^\prime,\;Y)
g \in \mathrm{Hom}_{\mathcal C}(X,\;Y^\prime)

Now the strange, “crossed” arrangement of primes does not look so strange any more — the construction has showed the main point.

I think the 5 Oct2006 contribution (that has made the strange “crossed” arrangement of primes “straight”) was benevolent and (in a sense) logical, but erranous.

Physis 05:36, 16 October 2006 (UTC)

Thank You for having corrected it. Now, the above argumentation of mine has lost its original purpose. By the way, is my above argumentation correct at all? I do not really understand much to category theory, The above things are just my conjecture based upon esthetical consideration — I have not proven it. I suppose the answer lies in the article Hom functor…

Physis 02:56, 17 October 2006 (UTC)

Yes, your argument is essentially correct. Thanks for pointing out the mistaken edit. In fancy language one can say that the Hom functor Hom(-,-) is contravariant in the first argument and covariant in the second. Hence the funny arrangement of the primes. -- Fropuff 03:14, 17 October 2006 (UTC)
Thank You very much for Your quick answer. Physis 14:03, 17 October 2006 (UTC)

[edit] Missing hypothesis in statement of adjoint functor theorem?

[Mistaken objection (based on incorrect interpretation of "continuous" on zero-ary limits) retracted. 8 June 2007]

Kevin.watkins 18:23, 15 May 2007 (UTC)