Dear Professor Barr, I just thought of sharing with you the discussions we had regarding the delayed discovery of category theory: https://conceptualmathematics.wordpress.com/2012/06/13/from-function-to-cate... https://conceptualmathematics.wordpress.com/2012/06/13/charles-ehresmann-int... https://conceptualmathematics.wordpress.com/2012/06/13/from-function-to-cate... https://conceptualmathematics.wordpress.com/2012/06/13/from-function-to-cate... Thanking you, Yours truly, posina On Wed, Jun 12, 2024 at 10:35 AM Michael Barr, Prof. <barr.michael@mcgill.ca> wrote:
I have nothing to add to the Ulam question, but I did want to give some speculations on early ideas. The first is Emmy Noether and use of groups instead of Betti numbers and torsion numbers. A group is, after all, a category and the use of groups is the sort of abstraction that categories are. Although Vietoris was quoted as saying that of course they knew there were groups, but it wasn’t the style to say so. But the homology groups of a space (as well as the homotopy groups) are certainly early examples of functors. Although I am not sure when the homomorphism induced by a continuous map was known.
But the most interesting example is Garrett Birkhoff’s lattice theory. First let me mention that in those early days of the XXth century, homomorphisms (between groups, rings,…) were always understood to be surjective. It was only in the 50s that people started talking about homomorphisms into, which were explicitly allowed not to be onto. This being the case, when Birkhoff looked at groups he saw the lattice of subgroups and the lattice of quotient groups (essentially the lattice of normal subgroups) and at rings, he saw the lattice of subrings and the lattice of ideals. I have often wondered whether, had arbitrary homomorphisms been in common use, he would have discovered category theory rather than lattice theory.
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 | Leave group | Learn more about Microsoft 365 Groups
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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>