From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <> X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: * X-Spam-Status: No, score=1.4 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,HTTPS_HTTP_MISMATCH,RCVD_IN_DNSWL_NONE, T_SCC_BODY_TEXT_LINE,URIBL_BLACK autolearn=no autolearn_force=no version=3.4.4 Received: from AUS01-ME3-obe.outbound.protection.outlook.com (mail-me3aus01hn2239.outbound.protection.outlook.com [52.100.209.239]) by inbox.vuxu.org (Postfix) with ESMTP id 1804A25A92 for ; Fri, 23 Feb 2024 21:20:02 +0100 (CET) ARC-Seal: i=5; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=LUePGSjno4Bxz7apL8tLqCt0sqmh0eh3VFVpkOIFA+HDPdI2OM8exLawMLuRstilmCPQqCfro8lvSnfqun7V5z46zyqvi13px1UHk1BI2Kxzf2VWlV+Rz8rJNzEvNKQGFiKf1fCwnFLRZIXFjIFAviGlEDgSU3A+lS8nB5GakeZq9c84Z3SCnhsyzGe1bfMn06FT11cxV/z6px7vWTLNRf/36GpnUNKlxCVN+moOG9MfJl5ImWEE+nI9VTWHmHyHcMoRjeHms86DsRm6XNz1WFFmB2GHhMblltdIrRYKf9NLGQaQoqv05ElWVW9l/QSrrfyO5LplswihhtaiRSxarw== ARC-Message-Signature: i=5; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=rB6YkTAszLQkch6ZyEWtMJU/DswpmgC8Ee0/1XLUNuM=; b=G3g3aVC6zWHOd1rR2gRv4i8bXr3PDlKjAO5+jKCuVdL+dUDDCrkrdzRlYSVe/pHOm2gN/zcVYCFIACH5dmRtFxYcBL8t+r6/4qK+cKvyZgs3Eqpr7YQLNAbaiqMxKFTxL7GGzu+jxoxbPX1TzUQ7eSAnt+8APYWx0Q+GAmvCvFwxfHV2XE46QSbSghhBfzBJdr5e8iMsI7thJnJZlEoSwezk2GoHkmgRSUrOtUzNmgiL936pAf6oD3/DfObYIsOH3zG1fmTVLENXMRqGoyB/Y5Wz5vBEm9tCIp2xAJ1gS8Xsm13m9wINlQd8HlPtKQtOFFvB8PlrU6pN6HZ461vT+g== ARC-Authentication-Results: i=5; mx.microsoft.com 1; spf=pass (sender ip is 40.107.115.127) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=mcgill.ca; dmarc=pass (p=none sp=none pct=100) action=none header.from=mcgill.ca; dkim=fail (body hash did not verify) header.d=mcgill.ca; arc=pass (0 oda=0 ltdi=0 93) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=groups.office.net; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=rB6YkTAszLQkch6ZyEWtMJU/DswpmgC8Ee0/1XLUNuM=; b=ajDFXVvzMPqf8kKLd9vWjZ+rqxoJ4DAFnFasGm4Haxep+Ka7avgWixfWppCquBmiQOCS/hrNGal87uHuV/eifTUG2tjbN2bAY23uVF5R8c+EgpH0EbhRo0Kc3VFDK4PktJWcKJqcpI9wYTc6C3se+pIQ4uKvBwA5/Hia+xVScrTk/qvhcbvC/w/3sPoSf4wwInz1iH3URk8jnZDlycb14fYI72+7iRuEBmYP/JSUdvhzZf47RrVCpu1G0K/22pn/YtGa7PP2RW0J7DyL5N8U4gNwdFOU2AYVy420RVFCnxZL/bvI9ZXOcZIHu1b/Y7wc9PXVM/MX9suPZi8+xpRUZg== Received: from SmtpServer.Submit by SYBPR01MB7033 with Microsoft SMTP Server id 15.20.7316.21; Fri, 23 Feb 2024 20:19:59 +0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=gGCmO25mh1CQiYmpawyTeJQf8UUx5dYkiSDv8hOhcuVLv20rBHCLvZLqjF9FlUD809ASw6LS/PUAbNf4ZVdvvU0B4zkXkbHzmmII9GK3/eFmZaFiYwt7y8e/RBmZoP2TqS8UxFaPPtlhgLEtQ6Bj974DdYaalHHBJmbY6LbdJmHtQ09K53AOx2VN83CaBv99G29IuSKEA9vGu+i/idl0fyJfAEwOfjrR9Gfcc0E22C7xGU+RnzC5xZOts5iBiW8oNxmZDtXdDx87qXPZCmudZmUgXJ6Bm+NNB0W4RDRxC5XY43peUBM+cVDhO661aqMvBd0lLDytZNGRphALQPgscQ== ARC-Message-Signature: i=4; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=cF3x49t3LlrR14aNSdyK6gZoFTcHbaSU2nCDCeponVQ=; b=TlcGLcYbUF2ETULpQa4ChpSiYkwDn/uaXx8qxq6CaM5Xbh/Be2a/5pUhFaymVYjU8Im7tn2RDm44+kTfPbtBEm55qUoxsQISCe9bYKHyPSLJgzPXyNUQaXVa6L3o+/vTfNIuqWxj8y/p80obFAYQ8z+jrkDcRQnbUU6rEyQ/xNSsd+ai3mf4uliVsvNZc1ZEhO25hr5ZSnW2HQ43/JixMnAs7ebNlO+jLEm97ewKGDlHDqDejCPOwbcdhM5g5EhniVJzSDVi+r8YryjqSsu5pwHOZnc5bhcd5pAwOxph2y35gpPrd32lsiRdMyRG2N87+Lvl0zD6FY7Rv9jogg6mGA== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 40.107.115.127) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=mcgill.ca; dmarc=pass (p=none sp=none pct=100) action=none header.from=mcgill.ca; dkim=fail (body hash did not verify) header.d=mcgill.ca; arc=pass (0 oda=0 ltdi=0 93) Received: from SY8PR01MB8721.ausprd01.prod.outlook.com (2603:10c6:10:22a::6) by SYBPR01MB7033.ausprd01.prod.outlook.com (2603:10c6:10:14c::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7316.21; Fri, 23 Feb 2024 20:19:55 +0000 Received: from MEAPR01MB4358.ausprd01.prod.outlook.com (2603:10c6:220:16::20) by SY8PR01MB8721.ausprd01.prod.outlook.com (2603:10c6:10:22a::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7316.24; Fri, 23 Feb 2024 20:19:52 +0000 Received: from MEAPR01MB4358.ausprd01.prod.outlook.com ([fe80::4d8e:cc68:e08b:d0e]) by MEAPR01MB4358.ausprd01.prod.outlook.com ([fe80::4d8e:cc68:e08b:d0e%6]) with mapi id 15.20.7316.023; Fri, 23 Feb 2024 20:19:51 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=nRomhEm+NeTS2hRtDgJMgWFGdMW+6slDTU61XwsQJg77k5FfKIjRbvDAlEVKhrQoshKw/bQyTuI8qC4BMpARjaN9SdbC21iyAzLkI+1r/4zhYJMcY6fHeH1Jr50FckHSDtYkY4NRQoHEYoDsHxIosoTFYT33a/H5zlkL1tGzYnht5FpmLHMdLjjDiefKdAflD6AiVmLE812LStKCVsqbiqjkVLbSv87fob6ZusdseTSZuSI3WajUiSMejpYKKxhtnZetWnZKdIR8tCP1kRGHD0324xJjaFZQcXscGjB5WMl6rMEJmr3xpSGpK2YEhy53wTiBcqilooNk5x0gnMlW7Q== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=cF3x49t3LlrR14aNSdyK6gZoFTcHbaSU2nCDCeponVQ=; b=XpCS25UR0Wq66G+XVwdunYGWHiPppYQ5Ao63B4ivWrAm16GdPtB/qIqLLqz49jSjQoOzAKmJh8dyQmO4p+exdXZmuWrRaj8ufVP2okkzeQRI+n9m7nEraJDGLoYpcLLeYyktYn6+zDsVdKOhIi6871jqj7hY8Ih7JFHxnmv5XrpVzafeOtM7Dy5V7ONU3YJAWgrsDbd/8yb6D63utKMgnEvfVmbktj7q3/pmxjf42zOSpHNn5tCRQyAfrOUDYc8S/fPC2qf6g7I/dflLcTym8B1ohtHhacIvsPkFL3RxqAgSTqm7tURymDunbZ+qkCNnyT9o9xN7Wg+tM3KI8NlSZw== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 40.107.115.127) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=mcgill.ca; dmarc=pass (p=none sp=none pct=100) action=none header.from=mcgill.ca; dkim=fail (body hash did not verify) header.d=mcgill.ca; arc=pass (0 oda=0 ltdi=0 93) Received: from MEAPR01CA0025.ausprd01.prod.outlook.com (2603:10c6:201::13) by SY4PR01MB6266.ausprd01.prod.outlook.com (2603:10c6:10:ef::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7316.24; Fri, 23 Feb 2024 17:08:04 +0000 Received: from ML1PEPF0000F179.ausprd01.prod.outlook.com (2603:10c6:201:0:cafe::af) by MEAPR01CA0025.outlook.office365.com (2603:10c6:201::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.45 via Frontend Transport; Fri, 23 Feb 2024 17:08:04 +0000 Authentication-Results: spf=pass (sender IP is 40.107.115.127) smtp.mailfrom=mcgill.ca; dkim=fail (body hash did not verify) header.d=mcgill.ca;dmarc=pass action=none header.from=mcgill.ca; Received-SPF: Pass (protection.outlook.com: domain of mcgill.ca designates 40.107.115.127 as permitted sender) receiver=protection.outlook.com; client-ip=40.107.115.127; helo=CAN01-YT3-obe.outbound.protection.outlook.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by ML1PEPF0000F179.mail.protection.outlook.com (10.167.241.70) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.25 via Frontend Transport; Fri, 23 Feb 2024 17:08:03 +0000 ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1708708083; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references:dkim-signature; bh=cF3x49t3LlrR14aNSdyK6gZoFTcHbaSU2nCDCeponVQ=; b=j2NjmA0Qn2w2PMaFIBmpCExnEPgA/Q0HL0432xZ+Du17qcxOJhtT4N7NQTGT+e6iiYquA8 XOXbbD48cNPCpmtoof2+ZF9VP8qgm+E4PR5U5HXqapWObkI43cwhGZ2JmlU6w3Cz+pIOhj zdMDw8efeaOd64LMc139EfeC52lZ7t2e6EviaQHQrXVxtg+cXfNbm7CoIwAunTNKIsLsMU 27v0i1ObxECvct+Afc1SwwuFWjJGXHgz4TR/PVLs43Tl4WlvpJay7g2P1rKrqxG6/ItTJ9 Md1yhyXdEentt+7YX5tmnQ+Gno+I/qRE8reXehnRznUwDwrjaulvpi4+xxDi7A== ARC-Seal: i=2; s=201903; d=dkim.mimecast.com; t=1708708083; a=rsa-sha256; cv=pass; b=SGva85G5SWI4WXKdEuSp9yzDD4G2jowrzZU/y4xldp0jCeRLCnPu6IA41uMWvQqoJvdT1U PTmZ8y0QOr2q30TAoVMtXjcdkdr8eCL+7dyibPanF6ZmBDp2Fp78wo6yODglY7IQZnD5E6 B81Css652TkatcaNGklycKiNSfxTRrguIibbfnrezHEY4VnfWbSyAc9Z1w5GPnPPN+PlHM hMzWaJ7GFF146ZKdjRWqUoTSKFz57RF0FfxORdidsdvaCY+BCzKZhWJLnnVSTkFVH1jpUC NEfdHpQn1kuEAcpESjKnY+OuP43GdhGU3wEz/SHpJw7WFZUL1ttGVlFTBJN1cw== ARC-Authentication-Results: i=2; relay.mimecast.com; dkim=pass header.d=mcgill.ca header.s=selector1 header.b=mPpIWubF; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=pass (policy=none) header.from=mcgill.ca; spf=pass (relay.mimecast.com: domain of barr.michael@mcgill.ca designates 40.107.115.127 as permitted sender) smtp.mailfrom=barr.michael@mcgill.ca Received: from CAN01-YT3-obe.outbound.protection.outlook.com (mail-yt3can01on2127.outbound.protection.outlook.com [40.107.115.127]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-30-SBCOr93oNl2F4ZnqdmNV8w-1; Sat, 24 Feb 2024 04:07:52 +1100 X-MC-Unique: SBCOr93oNl2F4ZnqdmNV8w-1 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=fXInwRo3QEY6BVKw5+uhLsV05YN3PFcPadFWNsnsjJfxH3FPcn5E7ZMlzbhQab5Upe2iB6DKkPy6zp0iUiEr341k+iCNhmM7uuzzjyQPzRUsXDP4p3oVCUrBeJpL8J0/jESkKTWiVjSLgV1XH8P3fEok8nAyuzbyWsD5KEyicV4iFzBKEHDDKfiqW8z2wkTBKXPIME0gKRMwybUML9AhL0x4MDLK3DSPKp1M5Jr2cUz5bCVHX7PhJtUxzcWThoBsRc9rl+GYwzPC1ElRmCKnd484cJ1Wv7yT/MLDspD1ueP1LV0SIJrCrhjI7zPCb/FCWmqtfpWrs9oUFpwayuPmBg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=iB4uwg5zZZRpSYntzKexPXKS93rzRUPctJR/G1l69xM=; b=D9yDqtWaDc+6/cb1F4Q2r8TzfUHb0HICRWXg5QM+5ta1DnEb1LdD2ldgm1h/QRB8Lwa4+sG3ZHc10tpF4NyNp80dFJRH9Y8/MxKhNaBgK7WgUDkt4tBZYClKIcveCjhgoQDduykBotqbeeXS6kpp/nqFnlQ8ADO/npGjPMdB41RUUdsAMFwvcEfAUcCoDWULpyGedgqg8G1CFnelVsb/0MjJWGf7QH0ogor1Vjvmf0Ab6zNRmYDURGtCmOqSlqmwSYp5K/AUF+fYeRgFqGpgyKWmbgASKsK6HkYGiKjMWX3Ra47NqcvUudiyEIt35unsPPeg2UYK/1gocLte5vwJWA== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=mcgill.ca; dmarc=pass action=none header.from=mcgill.ca; dkim=pass header.d=mcgill.ca; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mcgill.ca; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=iB4uwg5zZZRpSYntzKexPXKS93rzRUPctJR/G1l69xM=; b=mPpIWubF263EvoWN8MTmwFvYSRNvcg5sG7GcZW2uY3SGbL0weDFHj2sPFK3FabQLmUV/Aq8GrR6hNGm3jB9+UxBdtY3TtqYLYAn47lUs5CTNMtCT4C9a0C/7E/0xhMxSrWTPzPgRJSvbTiGH6NfE1KkxyeBNDXnHHhyk66R6ScY= Received: from YQXPR01MB3927.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:c00:52::28) by YT3PR01MB8228.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:b01:9d::21) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7339.10; Fri, 23 Feb 2024 17:07:48 +0000 Received: from YQXPR01MB3927.CANPRD01.PROD.OUTLOOK.COM ([fe80::a46:538f:e244:132c]) by YQXPR01MB3927.CANPRD01.PROD.OUTLOOK.COM ([fe80::a46:538f:e244:132c%7]) with mapi id 15.20.7339.009; Fri, 23 Feb 2024 17:07:48 +0000 From: "Michael Barr, Prof." To: David Roberts , "categories@mq.edu.au" , Ross Street Subject: Re: categories: Re: "First" use of 'Category theory' to describe our field Thread-Topic: categories: Re: "First" use of 'Category theory' to describe our field Thread-Index: AQHVOOoJ1Sg62wbGa0+ueQtlbZ9qJLEhjQuAgADzmVA= Date: Fri, 23 Feb 2024 17:07:48 +0000 Message-ID: References: <10CF2601-2F4E-4E47-B36F-B4A1A1FEB55C@mq.edu.au> In-Reply-To: Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: msip_labels: x-ms-traffictypediagnostic: YQXPR01MB3927:EE_|YT3PR01MB8228:EE_|ML1PEPF0000F179:EE_|SY4PR01MB6266:EE_|SY8PR01MB8721:EE_|SYBPR01MB7033:EE_ X-MS-Office365-Filtering-Correlation-Id: 8c44280e-3298-495a-8628-08dc3491ff50 X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam-Untrusted: BCL:0 X-Microsoft-Antispam-Message-Info-Original: 6l6VA2OcHt9L7LMiU8wKwvADWn67+dx8xrp943oh/qUYtoANomCSlwfx0C7P80qA+lW8UYzy6b/LVNjBPDiRNcjbnKn2XU0j/P1GnFwUdLnt71UpXVaZKtZFVH581JbC3nNCwAwr/0m9wOJJs1R8Nxd4CHzLgK81GcoC7vlXwxCvGdeOWNKTwL3xkzYoq1STm/COuSS9g+7XsVnuGJ4sR0k8ZCpsfqC6Scx11afKCvFUQRvRkWQNHNna5Z9XFL4vdzrDXiNpp4e/h45vvEhj5xFUMUR/ispaHxYA3ZCWIPtrESbvmGQn/RI5B/49mRxwDauDq8wpQ7d3ZVPWO7hC/7FHElFJmcmG7mIJlkjo5d6OQP7GODRX7zbO/bBrReOQhiI5VgWLmwCovJlT6+syNVmMoKwFu9GemEcp2B7TJIJrkWCf2bS9F8r7V3JIA6KtgzMucJwoA+pSwwH4f7Bz1wj8H0D+YSsUBYiVEa448oQz+FIAKybWvMY0NDVy4rWRnlD+isvTuYqpGrRNb5DhP9max0y4bJOymTMujCJc3KwQ3gmr1MDEP5wDZhAA0Xs6sP72gLUBwMhyQYOmTMAxMDO0VWJ+EwgAbTPcmrL4Wns= X-Forefront-Antispam-Report-Untrusted: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:YQXPR01MB3927.CANPRD01.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230031)(38070700009);DIR:OUT;SFP:1102 MIME-Version: 1.0 X-MS-Exchange-Transport-CrossTenantHeadersStamped: YT3PR01MB8228 Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=mcgill.ca header.s=selector1 header.b=mPpIWubF; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=pass (policy=none) header.from=mcgill.ca; spf=pass (relay.mimecast.com: domain of barr.michael@mcgill.ca designates 40.107.115.127 as permitted sender) smtp.mailfrom=barr.michael@mcgill.ca X-Mimecast-Spam-Score: 0 X-Mimecast-Impersonation-Protect: Policy=MQ - Tag Header Only on Default Settings;Similar Internal Domain=false;Similar Monitored External Domain=false;Custom External Domain=false;Mimecast External Domain=false;Newly Observed Domain=false;Internal User Name=false;Custom Display Name List=false;Reply-to Address Mismatch=false;Targeted Threat Dictionary=false;Mimecast Threat Dictionary=false;Custom Threat Dictionary=false Content-Language: en-US Content-Type: multipart/alternative; boundary="_000_YQXPR01MB39276CE5333FC85EF9D869B79C552YQXPR01MB3927CANP_" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[40.107.115.127];domain=CAN01-YT3-obe.outbound.protection.outlook.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[40.107.115.127];domain=CAN01-YT3-obe.outbound.protection.outlook.com X-MS-Exchange-Transport-CrossTenantHeadersStripped: ML1PEPF0000F179.ausprd01.prod.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: bade4581-c027-4cd1-3f30-08dc3491f604 X-Moderation-Data: 2/23/2024 8:19:49 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: +n7DbaFk61OOXSfdQIz2Onsmcgrc5Znt+Ovn5xwjyX15CI8A33S4nBpeUEIpfZNKNN/WFEXRaQQyDFvOuoApy0hS6rq39JfGkdE5BcOkPdWegkdQnp5AcAA/sOGvkJvIsf9Aa04t4+TvourdGbVJB5nVgHG6YJyWcCeerGtMt1wr5RqQHJD0nddMoG93o0Prs2jEVyQ/PVElR0pYNXwRrzZplI3lkStmkjO130tMxnUxv73ZI0Khqj+GUiv/cEOm73rhrmUCdsw4n0JhwkkalfBGByy8QrB9H+bk1e0KhvEx7BBuj66v+3ASVrLGA/ETCPJr/B+5bu0cA4Ekc44DgNG644ewAas+fCqEp2rZTMWBm6AVH/59OAI4VmeY3PvpCCkhEQ//Z2j8+2s11t1N2yVP7kubNjvo+tLz7vsridT076ca49FBHNO3mcT8P9jaFmffsp/dFB5DC1wAjon2/m8/JVZZiJjT2eQp2DVWoqvMGcHDbSE6loNnjiybyTpa44+AsU82otBgAkfKp//UtECMIayiiq93oe0a4ajho16IsmiHOBd64DDYpKdNDYNh3HUj9gcHzhhE86DZFnlO2ZF0I4cb4BL1+KJK3eKOO89PJT7+THjGretYY9HFE0GSr8tSNiyGqLECLnq7bbLeSfdU74Uh25M8LgF8RjVaWZYmTK81OQ67nEnG1Jv0EK4Zmszzjzmm3Z2Y/kBdqQ55eS1bpkwvwesnvd5PJZyAJQY= X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:CA;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:CAN01-YT3-obe.outbound.protection.outlook.com;PTR:mail-yt3can01on2127.outbound.protection.outlook.com;CAT:NONE;SFS:(13230031)(32650700005)(35950700004)(40470700004)(32820700001)(41080700001);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 8c44280e-3298-495a-8628-08dc3491ff50 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ML1PEPF0000F179.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 23 Feb 2024 20:19:51.1901 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: Dok4jsn5SfINVTCXzOUSarEMmtbHdyEugct6pDkGFaexuHwQJbeBoIdKP8Q8Ow5jAQZRY2z4yuOCMQo+nrAYNZA4fp6MTmTsvQIOlSti53I7dv5IbIHG3H8GMgR0NIWHPhsD4WFUg5MOHmK5ukD8jgWNFw2YcbbfJ1nogWhAEEz4Q4UfGhhzxyRGbGHvWbGH X-MS-Exchange-Transport-CrossTenantHeadersStamped: SYBPR01MB7033 X-MS-Exchange-UnifiedGroup-DisplayName: Categories mailing list X-MS-Exchange-UnifiedGroup-Address: categories@mq.edu.au X-MS-Exchange-UnifiedGroup-MailboxGuid: 9c2f954e-92a7-451b-b723-a07075d7adb5 X-MS-Exchange-UnifiedGroup-CustomizedMessage: RedeemedBusinessGuests X-MS-Exchange-Parent-Message-Id: Auto-Submitted: auto-generated X-MS-Exchange-Generated-Message-Source: Throttled Fork Delivery Agent X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?Windows-1252?Q?87ZFuaj3FaNPvkj8hLPoQxwBTilOdmVG1TqRL5pVSb3VsOYa5RZ+Nt1I?= =?Windows-1252?Q?8u1kWBdoKltUZVTqK5tCSiH/sy3oKMAD+/AOseQimnqZtnOqcUYr6Wng?= =?Windows-1252?Q?HZwam9xlg3D4KOROLpmQdVIKiPk2zocl0XuSU/KdtyrBnzQYYHqA80pf?= =?Windows-1252?Q?jTU0AB9TlK6h94a+s6nbQOkJ1lYo+zFVu/3Y035menzU8nFwuoKY2sAc?= =?Windows-1252?Q?yQU1oCqeFyJ5Mz2y2YmCCypU4Y/M4gcg4gKyn+S8a+2ZWmi0FOmoU0C8?= =?Windows-1252?Q?4/jayJ1W9wY5KZmIrbnJlnrZ17GkSpTGcZ6F2d0xcTiuSg0uEH7r8pGU?= =?Windows-1252?Q?FBlRit+uhZd0/idewKvB3VfATgImkL4qNZzINtxJlBDfvKtmSU63w29X?= =?Windows-1252?Q?dFSxhztwVBTVKCtPdJoqiwZ4w4Ccp8I4RyG8uDaqo/SzkcR6ls4i8anP?= =?Windows-1252?Q?epZ3rrF4fjgnrurANL6eyKUUzRIfvMeI9bkEx3N+Jsc/cTHnbkOZe5Rc?= =?Windows-1252?Q?yMxLXW2ABFlud2YPh8RET0lOsyAy4hsPNYKg6oAA1/men24sqJxiKy6u?= =?Windows-1252?Q?2ajS6PrZkhbIAj+8qgRM8C/KcqCkWqBa5qQynI7uATjk0wHZuzrpadat?= =?Windows-1252?Q?04WzP3V+SEkvoVVn/7AxHKFiDcjf3DYuD75mqgXPKs8gWh6cpR7I9X0U?= =?Windows-1252?Q?QF7QmKLfaMEYs7ab4Wmicw+7aFhvhK5vXg8CelzDcDVpWwvPJvOIrzAL?= =?Windows-1252?Q?flRHoQLxHQI2grD0K+M2dC+WtxkBRWN3ATZ1tmfq0MAuWYiOGeXtPrFh?= =?Windows-1252?Q?koROztStIed5KzdEcF7N7WZ8NnnhBZsBxJ1XW40PmAkg/fxsYjPaRzH9?= =?Windows-1252?Q?/b7iYbRonxHDqDcW6zmvQ0jPTSW6G3+JtO/wTQ0gW593/hi/ii/f3PYm?= =?Windows-1252?Q?3t2VY5clo2sb26CzjVpGC9vOHz2/rq6GGx4nABvcTlIiAlmkHUWszdUK?= =?Windows-1252?Q?nc7Sw46HYTzeenaCroJhhqjmr7E6M4pzFDpaePS1Np9bq0a2xBw5pRNM?= =?Windows-1252?Q?TJ+kWJyqxRBivfR5IhKDLD+mqxA7XWsRmz3AHyxIhYq/k+dilsWNcbFK?= =?Windows-1252?Q?gHNyspeobTiZlb3E5+41P2ufWV2RfbhAgdeBb62Cup0Xg7tf6qk1PAFC?= =?Windows-1252?Q?sJz0+cajxDaec/dDFD5nV/31WGGbcbHgyiO8ZAIgWNWkMBCCAI7d02HS?= =?Windows-1252?Q?pn37uqKTwJr22cTcPLsMyAeAUqC18t3KXWweUpHDUi7r9f+6gI3pOP+/?= =?Windows-1252?Q?8jC/KQtme2guDxVAc8DAI4VUi9GhPlcxaCSrVH801MZWVeE4?= X-OriginatorOrg: mq.edu.au --_000_YQXPR01MB39276CE5333FC85EF9D869B79C552YQXPR01MB3927CANP_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable I don't know when I first heard the term "category theory". Interestingly,= the 1965 conference in La Jolla called itself a conference on categorical = algebra. The n-lab page says it was "on categorical algebra, nominally, bu= t really about fundamental category theory as such, to a large extent." I know when I first heard the word category in this context. In 1959-60 I = took a course on homological algebra from Dave Harrison (my eventual thesis= advisor) and he talked about categories at length. I might mention that D= ave was Peter Freyd's undergraduate advisor at Brown where Peter really dis= covered his abelian categories embedding theorem. Dave also predicted that by the turn of century, categories would have repl= aced sets as the foundation of mathematics. We are not there yet. In thos= e days, category theory and homological algebra were closely entwined. I d= idn't turn from the latter to the former until I spent 6 months in Zurich i= n 1967 at the Mathematische Forschunginstitut (which we sometimes called th= e Eckmann-Hilton). Michael ________________________________ From: David Roberts Sent: Thursday, February 22, 2024 9:24 PM To: categories@mq.edu.au ; Ross Street Subject: Fwd: categories: Re: "First" use of 'Category theory' to describe = our field Hi all, It's been a few years, but it came to my attention in the past 24 hours tha= t Freyd's 1960 PhD thesis was titled "Functor theory", at Princeton, superv= ised by Steenrod and Buchsbaum. I suspect it was largely influenced by Buch= sbaum, being a student of Eilenberg, and who essentially introduced abelian= categories, with which Freyd's PhD was largely about; more precisely, embe= dding theorems and hence a study of suitable functor categories. It's not a strong data point, but I think it lends weight to the conjecture= that the name "category theory" really didn't emerge quite yet at that tim= e, at least in print. All the best, David David Roberts Webpage: https://ncatlab.org/nlab/show/David+Roberts Blog: https://thehighergeometer.wordpress.com ---------- Forwarded message --------- From: David Roberts > Date: Sat, 13 Jul 2019 at 05:13 Subject: categories: Re: "First" use of 'Category theory' to describe our f= ield To: Ross Street > Cc: categories@mta.ca list > Dear Ross, no, that's pretty good! It's mildly surprising that it took ~20 years for the name to 'stick', but maybe less so given that the field grew slowly to start. Thanks, David David Roberts Webpage: https://ncatlab.org/nlab/show/David+Roberts Blog: https://thehighergeometer.wordpress.com On Thu, 11 Jul 2019 at 08:21, Ross Street > wrote: > > Dear David > > From memory, the Pure Mathematics Honours (USyd) course that Max Kelly ta= ught in 1965 > was called ``Category Theory''. It concentrated on different kinds of mor= phisms > and factorizations in a category, and finished with adjoint functors. > Also John Gray's (UIllinois) 1968-69 graduate course had that name. > > From Eilenberg I heard that each person using categories should have thei= r own category of expertise. > I told this to John Gray who said that was fine; the time had come for th= at category to be Cat. > > I would suggest that the first category theorists to think of themselves = as such were Eilenberg's students at Columbia. > However, Mac Lane was definitely a category theorist. > > This is probably not the verifiable stuff you were seeking. > > Ross > > > On 10 Jul 2019, at 10:01 PM, David Roberts > wrote: > > Hi all, > > the (idle) question is: when did the phrase 'category theory' catch on > for the field? Clearly it didn't leap from either of the heads of > Eilenberg or Mac Lane full-grown, since they used the phrase 'General > theory of natural equivalences'. There are the old 'Reports of the > Midwest Category Seminar' lecture notes (the first in 1967), which > hints that 'category theory' wasn't quite the name in use. > > Even more interesting: who was the first "category theorist", by that nam= e? > > Answers referring to verifiable sources would be best. > > Thoughts? > > David > > > > David Roberts > Webpage: https://ncatlab.org/nlab/show/David+Roberts > Blog: https://thehighergeometer.wordpress.com > [For admin and other information see: http://www.mta.ca/~cat-dist/ ] You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message. View group files | Leave group | = Learn more about Microsoft 365 Groups --_000_YQXPR01MB39276CE5333FC85EF9D869B79C552YQXPR01MB3927CANP_ Content-Type: text/html; charset=WINDOWS-1252 Content-Transfer-Encoding: quoted-printable
I don't know when I first heard the term "c= ategory theory".  Interestingly, the 1965 conference in La Jolla called itself a conference on categorical algebra.&= nbsp; The n-lab page says it was "on categorical algebra, nominally, b= ut really about fundamental category theory as such, to a large extent.&quo= t;

I know when I first heard the word category in t= his context.  In 1959-60 I took a course on homological algebra from Dave Harrison (my eventual thesis advisor) and= he talked about categories at length.  I might mention that Dave was = Peter Freyd's undergraduate advisor at Brown where Peter really discovered = his abelian categories embedding theorem.

Dave also predicted that by the turn of century,= categories would have replaced sets as the foundation of mathematics.  We are not there yet.  In tho= se days, category theory and homological algebra were closely entwined.&nbs= p; I didn't turn from the latter to the former until I spent 6 months in Zu= rich in 1967 at the Mathematische Forschunginstitut (which we sometimes called the Eckmann-Hilton).

Michael
From: David Roberts <dro= berts.65537@gmail.com>
Sent: Thursday, February 22, 2024 9:24 PM
To: categories@mq.edu.au <categories@mq.edu.au>; Ross Street &= lt;ross.street@mq.edu.au>
Subject: Fwd: categories: Re: "First" use of 'Category the= ory' to describe our field
 
Hi all,

It's been a few years, but it came to my attention in the past 24 hour= s that Freyd's 1960 PhD thesis was titled "Functor theory", at Pr= inceton, supervised by Steenrod and Buchsbaum. I suspect it was largely inf= luenced by Buchsbaum, being a student of Eilenberg, and who essentially introduced abelian categories, with which Freyd's PhD = was largely about; more precisely, embedding theorems and hence a study of = suitable functor categories.

It's not a strong data point, but I think it lends weight to the conje= cture that the name "category theory" really didn't emerge quite = yet at that time, at least in print.

All the best,
David



---------- Forwarded message ------= ---
From: David Roberts <droberts.65537@gmail.com>
Date: Sat, 13 Jul 2019 at 05:13
Subject: categories: Re: "First" use of 'Category theory' to desc= ribe our field
To: Ross Street <ross.street@mq= .edu.au>
Cc: categories@mta.ca list <categories@mta.ca>


Dear Ross,

no, that's pretty good! It's mildly surprising that it took ~20 years
for the name to 'stick', but maybe less so given that the field grew
slowly to start.

Thanks,

David

David Roberts
Webpage: https://ncatlab.org/nlab/show/David+Roberts
Blog: https://thehighergeometer.wordpress.com

On Thu, 11 Jul 2019 at 08:21, Ross Street <ross.street@mq.edu.au> wrote:
>
> Dear David
>
> From memory, the Pure Mathematics Honours (USyd) course that Max Kelly= taught in 1965
> was called ``Category Theory''. It concentrated on different kinds of = morphisms
> and factorizations in a category, and finished with adjoint functors.<= br> > Also John Gray's (UIllinois) 1968-69 graduate course had that name. >
> From Eilenberg I heard that each person using categories should have t= heir own category of expertise.
> I told this to John Gray who said that was fine; the time had come for= that category to be Cat.
>
> I would suggest that the first category theorists to think of themselv= es as such were Eilenberg's students at Columbia.
> However, Mac Lane was definitely a category theorist.
>
> This is probably not the verifiable stuff you were seeking.
>
> Ross
>
>
> On 10 Jul 2019, at 10:01 PM, David Roberts <droberts.65537@gmail.com> wro= te:
>
> Hi all,
>
> the (idle) question is: when did the phrase 'category theory' catch on=
> for the field? Clearly it didn't leap from either of the heads of
> Eilenberg or Mac Lane full-grown, since they used the phrase 'General<= br> > theory of natural equivalences'. There are the old 'Reports of the
> Midwest Category Seminar' lecture notes (the first in 1967), which
> hints that 'category theory' wasn't quite the name in use.
>
> Even more interesting: who was the first "category theorist"= , by that name?
>
> Answers referring to verifiable sources would be best.
>
> Thoughts?
>
> David
>
>
>
> David Roberts
> Webpage: https://ncatlab.org/nlab/show/David+Roberts
> Blog: https://thehighergeometer.wordpress.com
>


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
 
 
You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message.
 
View group files   |   Leav= e group   |&n= bsp;  Learn more about Microsoft 365 Groups
 
--_000_YQXPR01MB39276CE5333FC85EF9D869B79C552YQXPR01MB3927CANP_--