Historical notes in Freyd's Abelian Categories

Historical notes in Freyd's Abelian Categories

[Michael Barr, Prof.]

[-- Attachment #1: Type: text/plain, Size: 1058 bytes --]

Peter has called my attention to the existence of some historical notes in the preface to the TAC reprint (TR-3) of Abelian categories.  In particular, he had already essentially discovered the general adjoint functor, at least for reflective subcategories) in his undergrad honors thesis, even though adjoints had not yet been defined.  The preface in the TAC reprint includes things not in any other published version of the book.

Michael


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 3516 bytes --]

Re: Historical notes in Freyd's Abelian Categories

[Nikita Danilov]

[-- Attachment #1: Type: text/plain, Size: 2051 bytes --]

This reminds me of a (probably trivial) question that occurred to me some time ago. N. Bourbaki's Theory of Sets has a result very similar to the general adjoint functor theorem (CST22 in Chapter IV, 3.2). This volume was printed about 4 years after Abelian Categories. Is the history behind the Bourbaki's version known?

Thank you,
Nikita.


On Sat, 2 Mar 2024 at 19:55, Michael Barr, Prof. <barr.michael@mcgill.ca<mailto:barr.michael@mcgill.ca>> wrote:
Peter has called my attention to the existence of some historical notes in the preface to the TAC reprint (TR-3) of Abelian categories.  In particular, he had already essentially discovered the general adjoint functor, at least for reflective subcategories) in his undergrad honors thesis, even though adjoints had not yet been defined.  The preface in the TAC reprint includes things not in any other published version of the book.

Michael


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://url.au.m.mimecastprotect.com/s/Ut8dCgZ05JfXNXzytNeJQM?domain=outlook.office365.com>   |   Leave group<https://url.au.m.mimecastprotect.com/s/6PL3CjZ12RfLALxmIR89z7?domain=outlook.office365.com>   |   Learn more about Microsoft 365 Groups<https://url.au.m.mimecastprotect.com/s/tYYdCk815RCV4VJBFQ4DQ6?domain=aka.ms>



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 6985 bytes --]

Re: Historical notes in Freyd's Abelian Categories

[David Roberts]

[-- Attachment #1: Type: text/plain, Size: 3752 bytes --]

You can see the publication history of Chapter 4 of Théorie des Ensembles here:

http://archives-bourbaki.ahp-numerique.fr/elements-mathematique#elements-math1<https://url.au.m.mimecastprotect.com/s/A7gLCL7Eg9fxX6rGHB25fP?domain=archives-bourbaki.ahp-numerique.fr>

If people have access to older copies they might check the 1957 and 1966 editions of the standalone ch4, and the 1970 edition of the full book. More patient people m8ght like to dig through the drafts at

http://archives-bourbaki.ahp-numerique.fr/items/browse?search=&type=5&sort_field=Dublin+Core%2CTitle&advanced[0][element_id]=99&advanced[0][type]=is+exactly&advanced[0][terms]=Th%C3%A9orie+des+ensembles<https://url.au.m.mimecastprotect.com/s/1efLCMwGj8CK9N1wckKq1d?domain=archives-bourbaki.ahp-numerique.fr>

Eilenberg was active in Bourbaki, don't forget, and was writing drafts on category theory. I can't recall when he ceased working with them offhand.

David

On Sun, 3 Mar 2024, 1:09 pm Nikita Danilov, <danilov@gmail.com<mailto:danilov@gmail.com>> wrote:
CAUTION: External email. Only click on links or open attachments from trusted senders.

________________________________
This reminds me of a (probably trivial) question that occurred to me some time ago. N. Bourbaki's Theory of Sets has a result very similar to the general adjoint functor theorem (CST22 in Chapter IV, 3.2). This volume was printed about 4 years after Abelian Categories. Is the history behind the Bourbaki's version known?

Thank you,
Nikita.


On Sat, 2 Mar 2024 at 19:55, Michael Barr, Prof. <barr.michael@mcgill.ca<mailto:barr.michael@mcgill.ca>> wrote:
Peter has called my attention to the existence of some historical notes in the preface to the TAC reprint (TR-3) of Abelian categories.  In particular, he had already essentially discovered the general adjoint functor, at least for reflective subcategories) in his undergrad honors thesis, even though adjoints had not yet been defined.  The preface in the TAC reprint includes things not in any other published version of the book.

Michael


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://url.au.m.mimecastprotect.com/s/9IHGCNLJxkiK948OcjtFwn?domain=outlook.office365.com>   |   Leave group<https://url.au.m.mimecastprotect.com/s/Nf5pCOMK7YcVwWj7trzbN1?domain=outlook.office365.com>   |   Learn more about Microsoft 365 Groups<https://url.au.m.mimecastprotect.com/s/uuMvCP7L1NfYZpRju6_ZPC?domain=aka.ms>



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://url.au.m.mimecastprotect.com/s/KbZUCQnM1WfG90p2cAZUNo?domain=outlook.office365.com>   |   Leave group<https://url.au.m.mimecastprotect.com/s/F_LXCRONg6s9Q21MuQpXNi?domain=outlook.office365.com>   |   Learn more about Microsoft 365 Groups<https://url.au.m.mimecastprotect.com/s/uuMvCP7L1NfYZpRju6_ZPC?domain=aka.ms>



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 11615 bytes --]

Re: Historical notes in Freyd's Abelian Categories

[David Roberts]

[-- Attachment #1.1: Type: text/plain, Size: 5159 bytes --]

Well, I got a chance to look as I'm not unfamiliar with the Bourbaki Archives.

The cited result from Nikita (CST22 in Chapter IV, 3.2) was already included in:

Rédaction n°188. Ensembles. Chapitre IV. Structures (état 8 ?). Dieudonné, Jean<https://url.au.m.mimecastprotect.com/s/X5mFCmO5wZswk5kzCGIc5h?domain=archives-bourbaki.ahp-numerique.fr>, R188_nbr091, accès le 3/03/2024, http://archives-bourbaki.ahp-numerique.fr/items/show/602<https://url.au.m.mimecastprotect.com/s/smT5Cnx1Z5U0rGrvcJtD4Z?domain=archives-bourbaki.ahp-numerique.fr>

dating to September 1953. See the attachment.

The paper

Pierre Samuel, "On universal mappings and free topological groups", Bulletin of the American Mathematical Society, 54, juin 1948, p. 591-598.

was a big influence on this section (and note that P. Samuel was also a Bourbaki collaborator).

The following 1950 draft does not have the cited result:

Rédaction n°137. Ensembles. Chapitre III. Structures (état 5). Chevalley, Claude, R137_nbr040, accès le 3/03/2024, http://archives-bourbaki.ahp-numerique.fr/items/show/546<https://url.au.m.mimecastprotect.com/s/B2lVCoV1Y2SN6X6ETVeFmg?domain=archives-bourbaki.ahp-numerique.fr>

The April 1953 draft has a corresponding heading, but the pages are missing.

David


On Sun, 3 Mar 2024, 2:03 pm David Roberts, <droberts.65537@gmail.com<mailto:droberts.65537@gmail.com>> wrote:
You can see the publication history of Chapter 4 of Théorie des Ensembles here:

http://archives-bourbaki.ahp-numerique.fr/elements-mathematique#elements-math1<https://url.au.m.mimecastprotect.com/s/Dex2Cp81gYCrpzpmfGzuVt?domain=archives-bourbaki.ahp-numerique.fr>

If people have access to older copies they might check the 1957 and 1966 editions of the standalone ch4, and the 1970 edition of the full book. More patient people m8ght like to dig through the drafts at

http://archives-bourbaki.ahp-numerique.fr/items/browse?search=&type=5&sort_field=Dublin+Core%2CTitle&advanced[0][element_id]=99&advanced[0][type]=is+exactly&advanced[0][terms]=Th%C3%A9orie+des+ensembles<https://url.au.m.mimecastprotect.com/s/f_4yCq71jxfAJOJZHN0QMr?domain=archives-bourbaki.ahp-numerique.fr>

Eilenberg was active in Bourbaki, don't forget, and was writing drafts on category theory. I can't recall when he ceased working with them offhand.

David

On Sun, 3 Mar 2024, 1:09 pm Nikita Danilov, <danilov@gmail.com<mailto:danilov@gmail.com>> wrote:
CAUTION: External email. Only click on links or open attachments from trusted senders.

________________________________
This reminds me of a (probably trivial) question that occurred to me some time ago. N. Bourbaki's Theory of Sets has a result very similar to the general adjoint functor theorem (CST22 in Chapter IV, 3.2). This volume was printed about 4 years after Abelian Categories. Is the history behind the Bourbaki's version known?

Thank you,
Nikita.


On Sat, 2 Mar 2024 at 19:55, Michael Barr, Prof. <barr.michael@mcgill.ca<mailto:barr.michael@mcgill.ca>> wrote:
Peter has called my attention to the existence of some historical notes in the preface to the TAC reprint (TR-3) of Abelian categories.  In particular, he had already essentially discovered the general adjoint functor, at least for reflective subcategories) in his undergrad honors thesis, even though adjoints had not yet been defined.  The preface in the TAC reprint includes things not in any other published version of the book.

Michael


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://url.au.m.mimecastprotect.com/s/x6_7Cr810kCK4A4ECNI5WQ?domain=outlook.office365.com>   |   Leave group<https://url.au.m.mimecastprotect.com/s/jikaCvl1g2SmrWrxHyVg6p?domain=outlook.office365.com>   |   Learn more about Microsoft 365 Groups<https://url.au.m.mimecastprotect.com/s/3UmtCwV1jpSMgLgKfQSO4W?domain=aka.ms>



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://url.au.m.mimecastprotect.com/s/5TNhCxngGkf6PJPkHAZzQM?domain=outlook.office365.com>   |   Leave group<https://url.au.m.mimecastprotect.com/s/5hVvCyoj8PuvANAZck1sMZ?domain=outlook.office365.com>   |   Learn more about Microsoft 365 Groups<https://url.au.m.mimecastprotect.com/s/3UmtCwV1jpSMgLgKfQSO4W?domain=aka.ms>



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #1.2: Type: text/html, Size: 14442 bytes --]

[-- Attachment #2: Screenshot_20240303_165103_Firefox.jpg --]
[-- Type: image/jpeg, Size: 478051 bytes --]

Re: Historical notes in Freyd's Abelian Categories

[William Messing]

[-- Attachment #1: Type: text/plain, Size: 6097 bytes --]

The 1958 edition of Bourbaki Théorie des Ensembles, Chapitre IV, Structures, has the appendix discussing at length and defining in a precise sense the word "canonique".   Why this was suppressed in all subsequent editions has seemed both idiotic and inexplicable to me.

William Messing

On Sun, Mar 3, 2024 at 3:02 AM David Roberts <droberts.65537@gmail.com<mailto:droberts.65537@gmail.com>> wrote:
Well, I got a chance to look as I'm not unfamiliar with the Bourbaki Archives.

The cited result from Nikita (CST22 in Chapter IV, 3.2) was already included in:

Rédaction n°188. Ensembles. Chapitre IV. Structures (état 8 ?). Dieudonné, Jean<https://url.au.m.mimecastprotect.com/s/mGN1C91W8rCyr284CoBftv?domain=archives-bourbaki.ahp-numerique.fr>, R188_nbr091, accès le 3/03/2024, http://archives-bourbaki.ahp-numerique.fr/items/show/602<https://url.au.m.mimecastprotect.com/s/R27XC0YKgRsOYmjNHDbtsg?domain=archives-bourbaki.ahp-numerique.fr>

dating to September 1953. See the attachment.

The paper

Pierre Samuel, "On universal mappings and free topological groups", Bulletin of the American Mathematical Society, 54, juin 1948, p. 591-598.

was a big influence on this section (and note that P. Samuel was also a Bourbaki collaborator).

The following 1950 draft does not have the cited result:

Rédaction n°137. Ensembles. Chapitre III. Structures (état 5). Chevalley, Claude, R137_nbr040, accès le 3/03/2024, http://archives-bourbaki.ahp-numerique.fr/items/show/546<https://url.au.m.mimecastprotect.com/s/K29ZCgZ05JfX4G8Eh2wRBg?domain=archives-bourbaki.ahp-numerique.fr>

The April 1953 draft has a corresponding heading, but the pages are missing.

David


On Sun, 3 Mar 2024, 2:03 pm David Roberts, <droberts.65537@gmail.com<mailto:droberts.65537@gmail.com>> wrote:
You can see the publication history of Chapter 4 of Théorie des Ensembles here:

http://archives-bourbaki.ahp-numerique.fr/elements-mathematique#elements-math1<https://url.au.m.mimecastprotect.com/s/YCvVCjZ12RfLZRgoh7LAMk?domain=archives-bourbaki.ahp-numerique.fr>

If people have access to older copies they might check the 1957 and 1966 editions of the standalone ch4, and the 1970 edition of the full book. More patient people m8ght like to dig through the drafts at

http://archives-bourbaki.ahp-numerique.fr/items/browse?search=&type=5&sort_field=Dublin+Core%2CTitle&advanced[0][element_id]=99&advanced[0][type]=is+exactly&advanced[0][terms]=Th%C3%A9orie+des+ensembles<https://url.au.m.mimecastprotect.com/s/WJ1xCk815RCVo5g2hJCR5E?domain=archives-bourbaki.ahp-numerique.fr>

Eilenberg was active in Bourbaki, don't forget, and was writing drafts on category theory. I can't recall when he ceased working with them offhand.

David

On Sun, 3 Mar 2024, 1:09 pm Nikita Danilov, <danilov@gmail.com<mailto:danilov@gmail.com>> wrote:
CAUTION: External email. Only click on links or open attachments from trusted senders.

________________________________
This reminds me of a (probably trivial) question that occurred to me some time ago. N. Bourbaki's Theory of Sets has a result very similar to the general adjoint functor theorem (CST22 in Chapter IV, 3.2). This volume was printed about 4 years after Abelian Categories. Is the history behind the Bourbaki's version known?

Thank you,
Nikita.


On Sat, 2 Mar 2024 at 19:55, Michael Barr, Prof. <barr.michael@mcgill.ca<mailto:barr.michael@mcgill.ca>> wrote:
Peter has called my attention to the existence of some historical notes in the preface to the TAC reprint (TR-3) of Abelian categories.  In particular, he had already essentially discovered the general adjoint functor, at least for reflective subcategories) in his undergrad honors thesis, even though adjoints had not yet been defined.  The preface in the TAC reprint includes things not in any other published version of the book.

Michael


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://url.au.m.mimecastprotect.com/s/rY5OClx1OYUJ6XLRCYMoyO?domain=outlook.office365.com>   |   Leave group<https://url.au.m.mimecastprotect.com/s/HUF7CmO5wZswkWvyCNgUHR?domain=outlook.office365.com>   |   Learn more about Microsoft 365 Groups<https://url.au.m.mimecastprotect.com/s/_pTaCnx1Z5U0rmn9h0KHCN?domain=aka.ms>



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://url.au.m.mimecastprotect.com/s/fJjXCoV1Y2SN6vk2t28reW?domain=outlook.office365.com>   |   Leave group<https://url.au.m.mimecastprotect.com/s/mJ13Cp81gYCrpA54Hv0GY6?domain=outlook.office365.com>   |   Learn more about Microsoft 365 Groups<https://url.au.m.mimecastprotect.com/s/_pTaCnx1Z5U0rmn9h0KHCN?domain=aka.ms>



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://url.au.m.mimecastprotect.com/s/F9rJCq71jxfAJX9YSYKIF3?domain=outlook.office365.com>   |   Leave group<https://url.au.m.mimecastprotect.com/s/ED4ECr810kCK42xQC6rSFl?domain=outlook.office365.com>   |   Learn more about Microsoft 365 Groups<https://url.au.m.mimecastprotect.com/s/_pTaCnx1Z5U0rmn9h0KHCN?domain=aka.ms>



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 17884 bytes --]

Re: Historical notes in Freyd's Abelian Categories

[porst]

[-- Attachment #1: Type: text/plain, Size: 7863 bytes --]

Something more can be said about the relations between Bourbaki, Samuel’s 1948 paper, and Freyd’s GAFT: It certainly is true that what Bourbaki writes is influenced (if not written) by Samuel. From the categorical perspective there is a certain irony between the formulations in Bourbaki and the Samuel-paper: While Samuel’s original paper is surprisingly categorical in nature (though he apparently didn’t know the  1945 Eilenberg-Mac Lane - paper and, hence, didn’t use the concepts of category and functor), this has been lost in the Bourbaki text.

In some detail:
1. The setting Samuel considers (T-sets and T-mappings) and describes by a set of axioms express the following (in categorical language): T-sets and T-mappings form a category T which is equipped with a faithful functor |-|: T —> Set and this reflects isomorphisms and lifts products, equalizers, and intersections. His S-T-mappings between S-sets X and T-sets Y  then are most naturally to be interpreted as S-mappings X —> EY, where E:T —> S is a functor commuting with the underlying functors |-| (and, hence, preserves limits).
2. The only non-standard axiom he introduces, he uses (only) to show that (in categorical language) the functor E satisfies the solution set condition.

His „universal mapping problem“ then becomes: Show that for every X in T there exists an E-universal morphism! And his proof can be read as follows: "The claim is true since T has and E preserves limits and E satisfies the solution set condition“ and is done essentially as in Freyd’s book — except for the language. For more details see my arXiv-posting 2310.19528 (October 2023).

Hans-E. Porst



Am 03.03.2024 um 11:24 schrieb William Messing <messing@math.umn.edu>:

The 1958 edition of Bourbaki Théorie des Ensembles, Chapitre IV, Structures, has the appendix discussing at length and defining in a precise sense the word "canonique".   Why this was suppressed in all subsequent editions has seemed both idiotic and inexplicable to me.

William Messing

On Sun, Mar 3, 2024 at 3:02 AM David Roberts <droberts.65537@gmail.com<mailto:droberts.65537@gmail.com>> wrote:
Well, I got a chance to look as I'm not unfamiliar with the Bourbaki Archives.

The cited result from Nikita (CST22 in Chapter IV, 3.2) was already included in:

Rédaction n°188. Ensembles. Chapitre IV. Structures (état 8 ?). Dieudonné, Jean<https://url.au.m.mimecastprotect.com/s/o-upCvl1g2SmrqN5UQiRQU?domain=archives-bourbaki.ahp-numerique.fr>, R188_nbr091, accès le 3/03/2024, http://archives-bourbaki.ahp-numerique.fr/items/show/602<https://url.au.m.mimecastprotect.com/s/Eng1CwV1jpSMgk8mUq_wZB?domain=archives-bourbaki.ahp-numerique.fr>

dating to September 1953. See the attachment.

The paper

Pierre Samuel, "On universal mappings and free topological groups", Bulletin of the American Mathematical Society, 54, juin 1948, p. 591-598.

was a big influence on this section (and note that P. Samuel was also a Bourbaki collaborator).

The following 1950 draft does not have the cited result:

Rédaction n°137. Ensembles. Chapitre III. Structures (état 5). Chevalley, Claude, R137_nbr040, accès le 3/03/2024, http://archives-bourbaki.ahp-numerique.fr/items/show/546<https://url.au.m.mimecastprotect.com/s/ZpKNCxngGkf6PDMVUY6vWm?domain=archives-bourbaki.ahp-numerique.fr>

The April 1953 draft has a corresponding heading, but the pages are missing.

David


On Sun, 3 Mar 2024, 2:03 pm David Roberts, <droberts.65537@gmail.com<mailto:droberts.65537@gmail.com>> wrote:
You can see the publication history of Chapter 4 of Théorie des Ensembles here:

http://archives-bourbaki.ahp-numerique.fr/elements-mathematique#elements-math1<https://url.au.m.mimecastprotect.com/s/01vRCyoj8PuvAKXwHRWYSK?domain=archives-bourbaki.ahp-numerique.fr>

If people have access to older copies they might check the 1957 and 1966 editions of the standalone ch4, and the 1970 edition of the full book. More patient people m8ght like to dig through the drafts at

http://archives-bourbaki.ahp-numerique.fr/items/browse?search=&type=5&sort_field=Dublin+Core%2CTitle&advanced[0][element_id]=99&advanced[0][type]=is+exactly&advanced[0][terms]=Th%C3%A9orie+des+ensembles<https://url.au.m.mimecastprotect.com/s/EYHOCzvkmpflOEgZHopFvB?domain=archives-bourbaki.ahp-numerique.fr>

Eilenberg was active in Bourbaki, don't forget, and was writing drafts on category theory. I can't recall when he ceased working with them offhand.

David

On Sun, 3 Mar 2024, 1:09 pm Nikita Danilov, <danilov@gmail.com<mailto:danilov@gmail.com>> wrote:
CAUTION: External email. Only click on links or open attachments from trusted senders.

________________________________
This reminds me of a (probably trivial) question that occurred to me some time ago. N. Bourbaki's Theory of Sets has a result very similar to the general adjoint functor theorem (CST22 in Chapter IV, 3.2). This volume was printed about 4 years after Abelian Categories. Is the history behind the Bourbaki's version known?

Thank you,
Nikita.


On Sat, 2 Mar 2024 at 19:55, Michael Barr, Prof. <barr.michael@mcgill.ca<mailto:barr.michael@mcgill.ca>> wrote:
Peter has called my attention to the existence of some historical notes in the preface to the TAC reprint (TR-3) of Abelian categories.  In particular, he had already essentially discovered the general adjoint functor, at least for reflective subcategories) in his undergrad honors thesis, even though adjoints had not yet been defined.  The preface in the TAC reprint includes things not in any other published version of the book.

Michael


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://url.au.m.mimecastprotect.com/s/Cwt0CANpnDCyGB6XUMNNMP?domain=outlook.office365.com>   |   Leave group<https://url.au.m.mimecastprotect.com/s/lvJmCBNqgBCQz06rCv4l1R?domain=outlook.office365.com>   |   Learn more about Microsoft 365 Groups<https://url.au.m.mimecastprotect.com/s/wfQ7CD1vRkC2DwvzuBxRlM?domain=aka.ms>



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://url.au.m.mimecastprotect.com/s/cg37CE8wlRCrkO92cypMeD?domain=outlook.office365.com>   |   Leave group<https://url.au.m.mimecastprotect.com/s/6la8CGv0Z6fx2EYRiWLjWC?domain=outlook.office365.com>   |   Learn more about Microsoft 365 Groups<https://url.au.m.mimecastprotect.com/s/wfQ7CD1vRkC2DwvzuBxRlM?domain=aka.ms>



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://url.au.m.mimecastprotect.com/s/Eh-rCJyBZ6tGglrvSnzM-R?domain=outlook.office365.com>   |   Leave group<https://url.au.m.mimecastprotect.com/s/vqGHCK1DOrCgZPENCrrDdQ?domain=outlook.office365.com>   |   Learn more about Microsoft 365 Groups<https://url.au.m.mimecastprotect.com/s/wfQ7CD1vRkC2DwvzuBxRlM?domain=aka.ms>



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 20202 bytes --]

Re: Historical notes in Freyd's Abelian Categories

[Michael Barr, Prof.]

[-- Attachment #1: Type: text/plain, Size: 10156 bytes --]

To answer one question, Sammy aged out of Bourbaki in 1963.  But I don't think the rest of the group was very receptive to categorical ideas anyway.

Here is another speculation.  Garette Birkhoff's duality of Boolean algebras and Boolean spaces could be considered an early version of a category-like result.  Let's look at this more closely.

In the early part of the 20th century, homomorphism meant homomorphism onto.  So objects (as we call them) had subobject lattices and quotient lattices.  Suppose instead that subobjects and quotient objects had been understood as just special cases of the general concept of (homo)morphisms.  Might Birkhoff have invented categories rather than lattices?  Just something I have long wondered.  Then the duality between Boolean algebras and Boolean spaces might have been rightly seen as a duality between categories.

And let us not forget Emmy Noether.  Before she came along, there were no homology groups.  Just Betti numbers and torsion numbers which, in fact, represented the rank and torsion part of the homology groups.  She insisted on using homology groups and is reputed to have said of the other formulation, "Cette une bettise."  About 20 years ago, Vietoris (then over 100) said that they actually knew there were homology groups, but until Emmy Noether came along, it was not the style to mention them.  If I recall rightly, Sammy once said that they actually knew that continuous functions between spaces induced homomorphisms between the groups, but since they were generall neither 1-1 nor onto, they were ignored.

Obviously the Eilenberg-Steenrod axioms for homology are heavily categorical, although I am not sure they actually used the word category in the book.

Michael
________________________________
From: porst <porst@uni-bremen.de>
Sent: Sunday, March 3, 2024 9:50 AM
To: William Messing <messing@math.umn.edu>
Cc: David Roberts <droberts.65537@gmail.com>; Nikita Danilov <danilov@gmail.com>; Michael Barr, Prof. <barr.michael@mcgill.ca>; categories@mq.edu.au <categories@mq.edu.au>
Subject: Re: Historical notes in Freyd's Abelian Categories

You don't often get email from porst@uni-bremen.de. Learn why this is important<https://url.au.m.mimecastprotect.com/s/CxCSCvl1g2SmrvmMIQiHaa?domain=aka.ms>
Something more can be said about the relations between Bourbaki, Samuel’s 1948 paper, and Freyd’s GAFT: It certainly is true that what Bourbaki writes is influenced (if not written) by Samuel. From the categorical perspective there is a certain irony between the formulations in Bourbaki and the Samuel-paper: While Samuel’s original paper is surprisingly categorical in nature (though he apparently didn’t know the  1945 Eilenberg-Mac Lane - paper and, hence, didn’t use the concepts of category and functor), this has been lost in the Bourbaki text.

In some detail:
1. The setting Samuel considers (T-sets and T-mappings) and describes by a set of axioms express the following (in categorical language): T-sets and T-mappings form a category T which is equipped with a faithful functor |-|: T —> Set and this reflects isomorphisms and lifts products, equalizers, and intersections. His S-T-mappings between S-sets X and T-sets Y  then are most naturally to be interpreted as S-mappings X —> EY, where E:T —> S is a functor commuting with the underlying functors |-| (and, hence, preserves limits).
2. The only non-standard axiom he introduces, he uses (only) to show that (in categorical language) the functor E satisfies the solution set condition.

His „universal mapping problem“ then becomes: Show that for every X in T there exists an E-universal morphism! And his proof can be read as follows: "The claim is true since T has and E preserves limits and E satisfies the solution set condition“ and is done essentially as in Freyd’s book — except for the language. For more details see my arXiv-posting 2310.19528 (October 2023).

Hans-E. Porst



Am 03.03.2024 um 11:24 schrieb William Messing <messing@math.umn.edu>:

The 1958 edition of Bourbaki Théorie des Ensembles, Chapitre IV, Structures, has the appendix discussing at length and defining in a precise sense the word "canonique".   Why this was suppressed in all subsequent editions has seemed both idiotic and inexplicable to me.

William Messing

On Sun, Mar 3, 2024 at 3:02 AM David Roberts <droberts.65537@gmail.com<mailto:droberts.65537@gmail.com>> wrote:
Well, I got a chance to look as I'm not unfamiliar with the Bourbaki Archives.

The cited result from Nikita (CST22 in Chapter IV, 3.2) was already included in:

Rédaction n°188. Ensembles. Chapitre IV. Structures (état 8 ?). Dieudonné, Jean<https://url.au.m.mimecastprotect.com/s/NBYICwV1jpSMgoMYTqd3gm?domain=archives-bourbaki.ahp-numerique.fr>, R188_nbr091, accès le 3/03/2024, http://archives-bourbaki.ahp-numerique.fr/items/show/602<https://url.au.m.mimecastprotect.com/s/fO31CxngGkf6PZ6rIYog8m?domain=archives-bourbaki.ahp-numerique.fr>

dating to September 1953. See the attachment.

The paper

Pierre Samuel, "On universal mappings and free topological groups", Bulletin of the American Mathematical Society, 54, juin 1948, p. 591-598.

was a big influence on this section (and note that P. Samuel was also a Bourbaki collaborator).

The following 1950 draft does not have the cited result:

Rédaction n°137. Ensembles. Chapitre III. Structures (état 5). Chevalley, Claude, R137_nbr040, accès le 3/03/2024, http://archives-bourbaki.ahp-numerique.fr/items/show/546<https://url.au.m.mimecastprotect.com/s/E77eCyoj8PuvAYv9IRzufm?domain=archives-bourbaki.ahp-numerique.fr>

The April 1953 draft has a corresponding heading, but the pages are missing.

David


On Sun, 3 Mar 2024, 2:03 pm David Roberts, <droberts.65537@gmail.com<mailto:droberts.65537@gmail.com>> wrote:
You can see the publication history of Chapter 4 of Théorie des Ensembles here:

http://archives-bourbaki.ahp-numerique.fr/elements-mathematique#elements-math1<https://url.au.m.mimecastprotect.com/s/2GnDCzvkmpflOKlJsoP1Ce?domain=archives-bourbaki.ahp-numerique.fr>

If people have access to older copies they might check the 1957 and 1966 editions of the standalone ch4, and the 1970 edition of the full book. More patient people m8ght like to dig through the drafts at

http://archives-bourbaki.ahp-numerique.fr/items/browse?search=&type=5&sort_field=Dublin+Core%2CTitle&advanced[0][element_id]=99&advanced[0][type]=is+exactly&advanced[0][terms]=Th%C3%A9orie+des+ensembles<https://url.au.m.mimecastprotect.com/s/2G0UCANpnDCyGjy7TMJa6v?domain=archives-bourbaki.ahp-numerique.fr>

Eilenberg was active in Bourbaki, don't forget, and was writing drafts on category theory. I can't recall when he ceased working with them offhand.

David

On Sun, 3 Mar 2024, 1:09 pm Nikita Danilov, <danilov@gmail.com<mailto:danilov@gmail.com>> wrote:
CAUTION: External email. Only click on links or open attachments from trusted senders.

________________________________
This reminds me of a (probably trivial) question that occurred to me some time ago. N. Bourbaki's Theory of Sets has a result very similar to the general adjoint functor theorem (CST22 in Chapter IV, 3.2). This volume was printed about 4 years after Abelian Categories. Is the history behind the Bourbaki's version known?

Thank you,
Nikita.


On Sat, 2 Mar 2024 at 19:55, Michael Barr, Prof. <barr.michael@mcgill.ca<mailto:barr.michael@mcgill.ca>> wrote:
Peter has called my attention to the existence of some historical notes in the preface to the TAC reprint (TR-3) of Abelian categories.  In particular, he had already essentially discovered the general adjoint functor, at least for reflective subcategories) in his undergrad honors thesis, even though adjoints had not yet been defined.  The preface in the TAC reprint includes things not in any other published version of the book.

Michael


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://url.au.m.mimecastprotect.com/s/sStsCBNqgBCQzvQEFv4RgE?domain=outlook.office365.com>   |   Leave group<https://url.au.m.mimecastprotect.com/s/p-T7CD1vRkC2DX2gTBMcTW?domain=outlook.office365.com>   |   Learn more about Microsoft 365 Groups<https://url.au.m.mimecastprotect.com/s/N8FUCE8wlRCrkBrRIyujZ8?domain=aka.ms>



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://url.au.m.mimecastprotect.com/s/8aOqCGv0Z6fx2wxjTWqusD?domain=outlook.office365.com>   |   Leave group<https://url.au.m.mimecastprotect.com/s/eEhXCJyBZ6tGgxG0cnrDBV?domain=outlook.office365.com>   |   Learn more about Microsoft 365 Groups<https://url.au.m.mimecastprotect.com/s/N8FUCE8wlRCrkBrRIyujZ8?domain=aka.ms>



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://url.au.m.mimecastprotect.com/s/ulCFCK1DOrCgZLg3FrtSvo?domain=outlook.office365.com>   |   Leave group<https://url.au.m.mimecastprotect.com/s/lOLcCL7Eg9fxlLxETkhEs1?domain=outlook.office365.com>   |   Learn more about Microsoft 365 Groups<https://url.au.m.mimecastprotect.com/s/N8FUCE8wlRCrkBrRIyujZ8?domain=aka.ms>



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 30207 bytes --]

Re: Historical notes in Freyd's Abelian Categories

[Colin McLarty]

[-- Attachment #1: Type: text/plain, Size: 5965 bytes --]


Leo Corry discussed this in his book on Structures and on page 335 of his paper

@BOOK{CorryMA2004,
  AUTHOR =       "Corry, Leo",
  TITLE =        "Modern Algebra and the Rise of Mathematical Structures",
  PUBLISHER =    "Birkh{\"a}user",
  YEAR =         "2004",
}
@ARTICLE{CorryBourbaki,
  AUTHOR =       "Corry, Leo",
  TITLE =        "Nicolas {B}ourbaki and the Concept of Mathematical Structure",
  JOURNAL =      "Synthese",
  YEAR =         "1992",
  volume =       "92",
  number =       "3",
  pages =        "315--48",
}

Corry describes how Saunders Mac Lane reviewed Pierre Samuel's paper  and corrected a mistake in it

> Pierre Samuel, "On universal mappings and free topological groups", Bulletin of the American Mathematical Society, 54, juin 1948, p. 591-598.

Saunders's review is MR0025152.  Saunders did not name any of his own related work.  He did say "This treatment is similar to that previously given by Kakutani [Proc. Imp. Acad. Tokyo 20, 595–598 (1944); MR0014093].

Colin



was a big influence on this section (and note that P. Samuel was also a Bourbaki collaborator).

The following 1950 draft does not have the cited result:

Rédaction n°137. Ensembles. Chapitre III. Structures (état 5). Chevalley, Claude, R137_nbr040, accès le 3/03/2024, http://archives-bourbaki.ahp-numerique.fr/items/show/546<https://url.au.m.mimecastprotect.com/s/uTigCWLVn6i7NNnBi6Ohb3?domain=archives-bourbaki.ahp-numerique.fr>

The April 1953 draft has a corresponding heading, but the pages are missing.

David


On Sun, 3 Mar 2024, 2:03 pm David Roberts, <droberts.65537@gmail.com<mailto:droberts.65537@gmail.com>> wrote:
You can see the publication history of Chapter 4 of Théorie des Ensembles here:

http://archives-bourbaki.ahp-numerique.fr/elements-mathematique#elements-math1<https://url.au.m.mimecastprotect.com/s/94ZgCXLW6DivkkLYIV-hsc?domain=archives-bourbaki.ahp-numerique.fr>

If people have access to older copies they might check the 1957 and 1966 editions of the standalone ch4, and the 1970 edition of the full book. More patient people m8ght like to dig through the drafts at

http://archives-bourbaki.ahp-numerique.fr/items/browse?search=&type=5&sort_field=Dublin+Core%2CTitle&advanced[0][element_id]=99&advanced[0][type]=is+exactly&advanced[0][terms]=Th%C3%A9orie+des+ensembles<https://url.au.m.mimecastprotect.com/s/PX1gCYW86EsRjjyxS9GMNP?domain=archives-bourbaki.ahp-numerique.fr>

Eilenberg was active in Bourbaki, don't forget, and was writing drafts on category theory. I can't recall when he ceased working with them offhand.

David

On Sun, 3 Mar 2024, 1:09 pm Nikita Danilov, <danilov@gmail.com<mailto:danilov@gmail.com>> wrote:
CAUTION: External email. Only click on links or open attachments from trusted senders.

________________________________
This reminds me of a (probably trivial) question that occurred to me some time ago. N. Bourbaki's Theory of Sets has a result very similar to the general adjoint functor theorem (CST22 in Chapter IV, 3.2). This volume was printed about 4 years after Abelian Categories. Is the history behind the Bourbaki's version known?

Thank you,
Nikita.


On Sat, 2 Mar 2024 at 19:55, Michael Barr, Prof. <barr.michael@mcgill.ca<mailto:barr.michael@mcgill.ca>> wrote:
Peter has called my attention to the existence of some historical notes in the preface to the TAC reprint (TR-3) of Abelian categories.  In particular, he had already essentially discovered the general adjoint functor, at least for reflective subcategories) in his undergrad honors thesis, even though adjoints had not yet been defined.  The preface in the TAC reprint includes things not in any other published version of the book.

Michael


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://url.au.m.mimecastprotect.com/s/TCm_CZY146sZXXWNIyHBQS?domain=outlook.office365.com>   |   Leave group<https://url.au.m.mimecastprotect.com/s/4I6MC1WLjwsyLLQYCYhTtk?domain=outlook.office365.com>   |   Learn more about Microsoft 365 Groups<https://url.au.m.mimecastprotect.com/s/VtSBC2xMRkUq00DwHMuq4K?domain=aka.ms>



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://url.au.m.mimecastprotect.com/s/45xaC3QNl1S1WWrQCYQwwc?domain=outlook.office365.com>   |   Leave group<https://url.au.m.mimecastprotect.com/s/gLjIC4QO8xSNRRw1tNa-LD?domain=outlook.office365.com>   |   Learn more about Microsoft 365 Groups<https://url.au.m.mimecastprotect.com/s/VtSBC2xMRkUq00DwHMuq4K?domain=aka.ms>



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://url.au.m.mimecastprotect.com/s/78xCC5QP8ySmwwrGt4qDbH?domain=outlook.office365.com>   |   Leave group<https://url.au.m.mimecastprotect.com/s/DHB7C6XQ68f2ZZ4Ksjnzm2?domain=outlook.office365.com>   |   Learn more about Microsoft 365 Groups<https://url.au.m.mimecastprotect.com/s/VtSBC2xMRkUq00DwHMuq4K?domain=aka.ms>



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 18034 bytes --]