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.3 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,DKIM_VALID,FREEMAIL_FROM,HTML_MESSAGE,HTTPS_HTTP_MISMATCH, NML_ADSP_CUSTOM_MED,RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.4 Received: from AUS01-ME3-obe.outbound.protection.outlook.com (mail-me3aus01hn2236.outbound.protection.outlook.com [52.100.209.236]) by inbox.vuxu.org (Postfix) with ESMTP id 84E4121BD7 for ; Fri, 23 Feb 2024 04:09:45 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=VKp95X1Zocj2cb3XUYL1JahV/44UcpVuL3GzZrkn55dMGyx9jYGuS9NHW2Rm6WGY+MldGcIZFytFs0bLQcQM5pETJyHKxGIYZTVm7VNAsOMQ8fdMpgr7i5VZtNlht81mT34mdrgqklPOFra9+BzcgtdLKvj7AAAYzbDDop+RoOca4tTjsFeYcD4H6r9lx2YcJyfIdn8V+TvK6PVLvqDYQEY4EL6eAoLACrDWNkwLDRlVgUL/1xaCOIL0XZlPY2KtjupYB/BzpUhLi4qsAsilvvtRsUo9YOT7Q4fgPhcWzGBjEAbJHg5/yGUn8ahYzDgUzwNUqI5RGxXXz51OlNnblw== 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=TNoIz3LJJqhSIHmH2p0H9oFZkucVBL6aie+eAPszn+4=; b=cb0RPUztXbkLeeA6kprR11nnCGPQ89RX3Sktgg80YR1fqKzewW7uNeBa63QUPnLLesUViZNNvtsg4lWSX6TBnJyn66iz8pHgTCuTJYm/uKVm4nQk+mhKgwoXrxjs0ihBpHZWw3/ua47FS90sV6GBXKn+wraWZqVVQnALOBQq+z0O9SlKQS0pG58wvGZ2KX4vb05auH/3TKib2eh+XwNVaSb2SoCyMERAhrOzpMkpyUuYFU73pBJDy71L1p5DbT55AlPQpg4urdxGdJxFe9+Dg2SQSjCmp2XW9nJyBGtHAbbc6glw9qgTHLLMdumJzr3UI06tvNmu+FtjTJSXywqjqw== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.217.54) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; 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=TNoIz3LJJqhSIHmH2p0H9oFZkucVBL6aie+eAPszn+4=; b=vSTBqIuR5HAXCbH24bKmH24MM/ylInbMhJjazumCOSYL5KYftPeeQCpjYSN4VHgkiKJpB9F3uGqn8xN7+uAohvwteH+/Ua9qqAHXhvLPi2oIsWu8C8BJgn6Lxfx6Cn8+F4nFnV1gQnqmzEDtnkT3g4kwmSHw7lGIm564KnqMRYiNPdDfQs6g3DnlXbFHQVu8x2Q/mRS/A8nzgIDEzuslehPCc3PbXw9DQPmXzcmYLays7lQRtWI36ZGXh16YKVOvZLz1zfaHuOTjBy5KLXFGhElUBNa8TEFlIkFk5ufvRP33THJEfjCjFV+Ylzk6wxywGa9i2NeSZg535WVEAps5mA== Received: from SmtpServer.Submit by SY4PR01MB7089 with Microsoft SMTP Server id 15.20.7316.24; Fri, 23 Feb 2024 03:09:41 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=DijDoYspV4u5VGlJ/wYzGip/Asa5woTXQW25Vy2mS9UEFoTlLFoQzpUUCiWbcgclhCLgaf+vOh6k3EnUQsU9LA78ZcEiLMHHRHAOGZceZnx2BrGlvuMQHgXLW+TtXFlDvSMJwOhB+8LZ8XRt1OkI0SrHfzWNGQPYmWMrAugZU/or8DvqfqsSNTcwu5UbZblZLCWqEwQAgE0x6xOAbnA5QuYqubmo6cpsNw959QAUWsAHHtyHcdXUgRDCukLfdxyUPuEwSUkF7VKuNEHiVFXt92m1eOSIpwSil6YFINzrPxvfcU/6Zc73TAgDhPHcJmc64DBY4Vpwig2PQ+NGtiiz1A== 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=KrkBVFh8ocjdv5vmTjz8s5mqKKv8TAcKdojxXtuMCTE=; b=KU3qvuKhzdzZOPqFoPlC8D1AXNDP792GxZaZBf/huVAuKjW2IzVzKkMj8KJeNYxpCLm0zj2jvt+fwR/z8HcRGxsorFTEaT3aJU860B6aTMgla6aFIf37xbHIgWdvN7s0bC0GNiwLOryENzl/dE8SXN/hzZzb6I12foUDcVYRNNMMuNoQfGr0wyRkLeJkhwLFUbWMkV0+EyzAOyLJa6jlZP2JkKHdKs5bIBCfKZRARJ68itnKaC02SGCrTpnqZn0iMraoas268DauXNyxBNcdK8T+/YqTqVwFr0oZHYMFqVuzF5pAGdICe41vvwEluoB33SvV4tFlhVGHtbmRaIDU3A== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.217.54) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from ME2PR01MB5572.ausprd01.prod.outlook.com (2603:10c6:220:d6::9) by SY4PR01MB7089.ausprd01.prod.outlook.com (2603:10c6:10:142::12) 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 03:09:33 +0000 Received: from MEAPR01MB3654.ausprd01.prod.outlook.com (2603:10c6:201:38::9) by ME2PR01MB5572.ausprd01.prod.outlook.com (2603:10c6:220:d6::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7316.23; Fri, 23 Feb 2024 03:09:29 +0000 Received: from MEAPR01MB3654.ausprd01.prod.outlook.com ([fe80::8d2b:eb3:c473:3596]) by MEAPR01MB3654.ausprd01.prod.outlook.com ([fe80::8d2b:eb3:c473:3596%7]) with mapi id 15.20.7316.018; Fri, 23 Feb 2024 03:09:29 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Cz/ps8oMoGDNAlk8rzLkm4IQr68kmK8TdzX7djCKpx3/8x+/dttnXT/KSJB1oJH/Zp7m3CYOEx/4nRv03B25SMge59NLFEsqAFb/sdgttANwH7WqtK4gCps3vWy8sp0MDnghHz7FWibbjMDg40RZTeLyFqtylmHQ2EyV9BJZ/nOSY8EiFra1Uw5nzncfoLcCQhJbg3jTb2Q30Pwh8Y0D5EETuGaSqYODy1zfATacJGoXhBinUpRs2+fQGvQ7bEC5Z22N9WOdTc1jl342wev0JaHjno26AyUi7reCnVHDLkIlzIPBhPuaO1Lt8PLM8BxxSJexAIinSgaLubFKO1DUvg== ARC-Message-Signature: i=2; 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=KrkBVFh8ocjdv5vmTjz8s5mqKKv8TAcKdojxXtuMCTE=; b=DvA8RsbTG9IQOY3mmG3PlvIyMwg2ACBsmmpP1WtwO8RLmPM/uZpcUQzvlVzOoLUKu6PUGgP8N4x4s1FrisN4B/7Zz6OLzYDwhxHkoRbTHyY3ub2i5G2qic9WZuMm0Ol6tlZYQEX/UYeoBkRSennHd/ORQWtW+KdpSa/VH7mtTtKWBPQ3oM5pO1+8ZkIvmop32MWujzH9N96NS4wO1LkgFn5dFcbX90f/76mNkSdftMcP6da7K/nO7QkyfcfUqKJLeJmjarY8qBarlQtswUMX2fOUWmpAMaj7RVzelYUIXnIV3f5t1Co2BroJl4gFXswt6yXH9BT51l9fLzYi8F8i5Q== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.217.54) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SY6PR01CA0147.ausprd01.prod.outlook.com (2603:10c6:10:1ba::14) by ME3PR01MB6755.ausprd01.prod.outlook.com (2603:10c6:220:124::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7316.22; Fri, 23 Feb 2024 02:24:56 +0000 Received: from SY1PEPF00005A3C.ausprd01.prod.outlook.com (2603:10c6:10:1ba:cafe::6d) by SY6PR01CA0147.outlook.office365.com (2603:10c6:10:1ba::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.43 via Frontend Transport; Fri, 23 Feb 2024 02:24:56 +0000 Authentication-Results: spf=pass (sender IP is 209.85.217.54) smtp.mailfrom=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com;dmarc=pass action=none header.from=gmail.com; Received-SPF: Pass (protection.outlook.com: domain of gmail.com designates 209.85.217.54 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.217.54; helo=mail-vs1-f54.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by SY1PEPF00005A3C.mail.protection.outlook.com (10.167.241.39) 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 02:24:56 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1708655096; 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=KrkBVFh8ocjdv5vmTjz8s5mqKKv8TAcKdojxXtuMCTE=; b=EWSsJ0DMBXewRJBWhr1oWb2Y8W/02VJFG7pkxhQmgYMx3gcrKVL+psqwanPSRjSnnSavFy qXp+/3YIDcADwHLfbQR534zojluq9mDvsUvVjXn9qDNM3rAQTKIIx0Tr2H5sZ9NwavowYQ Ic/0UfrtzNaZwWaa+0wJuIWe3wuzgaMevPcLiUPPgoiLYXur8eI6spn5nCsY6ANmqGHCtr OSJ/ih93XivJfEHU9fQgAacWt06Ll0nmzKpORT6XDPNdGz7CJrinzrkf1b6rfEsp96S9n4 dxLMHY76PrPbrC8URqTEQZCcJIgdc8H+Oiz6XRlDgfJHEYQI8qGIorMmrQzaIw== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1708655096; a=rsa-sha256; cv=none; b=qVmdXxyzNXlZc09+gxnGaO0uIrl/CW1m6WWgOtg1Og2URJiRpLOV5hDQT3K2gyp9JKSNaU qBeApIQV6iqPtacFUlPuJdtIPpmPbu2Jly4ZstciLdJf17s2MZdQAuSkXCue5p39JHqsHv 9RMrLxs5E2pOyYcpDxdd8U577kKRgzLVZK0aXikDXoSWh0g1jgMoWaekhBpCNloRYLbbc0 czrM/JKCSE4xvHhEzVXtZre3hOz5BR+r7fe6kKD5t2ShKClqFSqIAwAY6OmmTzg+6hhiRx RY6evfzVHcenkIpSVlpmrtHQfjvLTB9rQf03HSThAQj37+DVpXHMyRawNYWpOQ== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=dUlyPDeC; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of droberts.65537@gmail.com designates 209.85.217.54 as permitted sender) smtp.mailfrom=droberts.65537@gmail.com Received: from mail-vs1-f54.google.com (mail-vs1-f54.google.com [209.85.217.54]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-107-FWXrVsWEPG-Uw92h7araiQ-1; Fri, 23 Feb 2024 13:24:48 +1100 X-MC-Unique: FWXrVsWEPG-Uw92h7araiQ-1 Received: by mail-vs1-f54.google.com with SMTP id ada2fe7eead31-4705f0a80c3so60942137.2; Thu, 22 Feb 2024 18:24:47 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708655085; x=1709259885; darn=mq.edu.au; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :from:to:cc:subject:date:message-id:reply-to; bh=rUqNH5sZTlULbmqobeVTvuTLgZfsVfYjdYrcvUssg08=; b=dUlyPDeCl1syq3RYPkkzLaZZtYWwD/vdjcjq0TchUj2Ex1Kh7bAPjCwEVhJY0apMV+ p/if0OU6Ce/9+wEp1AIlULLSA5QXncitJ2a8QiUtGlegFDr8Y2kt6sOviw1dUG2h3Syq HW9/VE+X7upUMsxfJA3NUGBr/dSwNj7D37axChpPH2ixaconTPX4OLPQqTl44nQbNEZk lg20N9dlcPus/jnusdWkX+4AyRpmp2RGA1meGrgfKq3cBinuKhM0VFqlUp/ZvAGcEHcG wWpEjnIwTbrmkMyLtCCHEoQDgW4hcSEqfPT17LqX08yf7fOF082DNIUeSn2CZEiYtqzU hHGw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708655085; x=1709259885; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=rUqNH5sZTlULbmqobeVTvuTLgZfsVfYjdYrcvUssg08=; b=L/so76TXWnMCQXP79hCzn5uO9bDWSxW4dDDK2/1/IuCg3Jhzl0zbyJBUzcyEU6l7Af 3JSXyksTp9Mf8sIIlguOaD2WKgDK+hP5MkbIH2mvuhQkR6aJHOhlQO+sql7gDc5jju4q ZKLNr//hVswPAn+zjmhxD09kcCxixfm/7ITP+lAs3jwpp4g3x88bsGjicp0/dcMBumLM 6fOEMq45OS6fuYgxs4blqXjeMQP/cf6q6UHNwiyCC6/B1E8dXt8nAXRucdKZd7UpXkyD TeI8Lw/gcVgXfgw62zQGSrsq4N3fo0A3qrYVN9nsuaRoMEGVnlw6l0xKYtKIlzT5NfSj 5twQ== X-Forwarded-Encrypted: i=1; AJvYcCWdegu7NYkbErE2bkcMZi67SvHNWP6DwXR8MRdLHF3MSSpIXFwJN+yCciGbH3KVhOqeN4U16NgHI9+NfoikJZAg7XyS/eI= X-Gm-Message-State: AOJu0Yy1ZWm26WkYckBN7BV4c73QaCqsECVORS6JtFbikMnKyO6MCuQt xA2mqY59GJWSQLH8rjMV4er5fV2+B+Of4oqC/cG24AFPlgHkZWCEbA8MILumWdvvYuU4SBp7w9v 5y6DsTHZIBpC/OT2vRJ0PNe/v93f7CVCN X-Google-Smtp-Source: AGHT+IGRyWvXin7k4GEGdLZgMiElcvc42tZDNM6PBcMIpjGm/yaJTDr2d13Lr0KKnJ9FC2bmjg4mQ/BwiOvnSymJvoo= X-Received: by 2002:a67:ad05:0:b0:470:7aca:c32d with SMTP id t5-20020a67ad05000000b004707acac32dmr730887vsl.20.1708655085483; Thu, 22 Feb 2024 18:24:45 -0800 (PST) MIME-Version: 1.0 References: <10CF2601-2F4E-4E47-B36F-B4A1A1FEB55C@mq.edu.au> In-Reply-To: From: David Roberts Date: Fri, 23 Feb 2024 12:54:33 +1030 Message-ID: Subject: Fwd: categories: Re: "First" use of 'Category theory' to describe our field To: categories@mq.edu.au, Ross Street Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=dUlyPDeC; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of droberts.65537@gmail.com designates 209.85.217.54 as permitted sender) smtp.mailfrom=droberts.65537@gmail.com 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=true;Custom Display Name List=false;Reply-to Address Mismatch=false;Targeted Threat Dictionary=false;Mimecast Threat Dictionary=false;Custom Threat Dictionary=false Content-Type: multipart/alternative; boundary="00000000000069fdec06120343bb" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.217.54];domain=mail-vs1-f54.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.217.54];domain=mail-vs1-f54.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY1PEPF00005A3C:EE_|ME3PR01MB6755:EE_|ME2PR01MB5572:EE_|SY4PR01MB7089:EE_ X-MS-Office365-Filtering-Correlation-Id: 75f5a1d5-fd21-4b93-c33b-08dc3416a06c X-Moderation-Data: 2/23/2024 3:09:27 AM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: EU0pnQv4UrPen7r/mm0YutOTpOchT2cpIf55jKLBvv9Vp+NieIKHiAtogbaRthtAHqCFU1qI+U+HTtFbe0gDiM1wtbUEWuqiWmQzKtPGaxXuhoRGP1LMnh43XNXHkJz4VVvDF2pPT6IEYkhJ1wp3xCZQ4gnbw/NZHgOBD41aZwF2575RJ5KY6X89lgF2fOuO0pWrAVpQnr3DzE1wqiDbBMmuTEQXg5aFlKmUAdB6rAuv5OLm5u7EQ7YMjGYK3AteTWRxECvf2NL3Za70UTVa/NrPkkTAyHLqCRJNq+K0S+7kOX3sbPTFV0q3MWVNp3tdZz6xgN8oOWUMVMzaCpzR8ODNUB9LMj1ML/8kjt3noz1QaPJMZvisgHOTxkNvvL+HZMbRCb038SFvWLedSKmWV+qx982ecMpQIe3NMW4XfO63/DOHUQxKIxeOiz7+N/CRFaVvER4ax7nCm8joq0AiQxBcdUpjR47qfwVJ5c7uqyJgWr+iQRU0axqEpa/3OAEsSZS9ZIxqqZ4DlwaSAgI2rm0NSMp+Qeex/2hq2Vx6wcnj5lOSTXpMI/2efBZxf+6KPOrb03244489WsnRzW/h7Byz22cfMkmEqvzpBihackhTK3Tddcc8K1+nRBaEJDFtL+GwHYA45BfhoGieprG7OLklH/TOsgXjB4NCKpxferVvLNX4h9ERfdzsKmVd0aK7mBFWKWhHj3ElSP9h38wKWQ8VVbMF+2QFWnuS9VCLEa1lgwZSE3R61J7UgJ2UWzfTzZds8sB4xW5Nk+5gSEUrqQ== X-Forefront-Antispam-Report: CIP:103.96.20.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-vs1-f54.google.com;PTR:mail-vs1-f54.google.com;CAT:NONE;SFS:(13230031)(32650700005)(35950700004)(40470700004)(41110700001)(41090700016)(41080700001);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 75f5a1d5-fd21-4b93-c33b-08dc3416a06c X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY1PEPF00005A3C.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 23 Feb 2024 03:09:29.3071 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: EdPyRa2yUhquvek8K6u9M89cmixb+xGyZl15QjXEhrQ3bhF+D3iG+gSqK8nUQta7VgSHDU2xUyaX1bB8mcyKO1kh0xbz8+64YcJr6T/TaFClm0eB8ykhrBjn8beyDcUFXfSrFG6P/q6k+f+qkokXl+eAgfwrCeXzmZxLA+oM77eSLOmT+ZZdIb6jUWY9zS5BbyP7RS9BUu7y3EMYSdPM0xhdBTTcAMAh5dHGTTAPX8o= X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY4PR01MB7089 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: =?utf-8?B?a2psMTZoUG1nbkFDR3c0dGhkMk90dDZuMkhLamJHYjRyeXFLdzVKWFlKWjBq?= =?utf-8?B?eUVzeVhVSkIxV0RuUTNQTVg4cXZuQ1VxOFZrcUN0SVA0RmRTT3Irb0Y5WWZU?= =?utf-8?B?YnZ3YVZEd3pSQWdjVi81emRKRHNFRFJLQzBYRHpIRDIyUXkwcC9ZOVJKUVhD?= =?utf-8?B?S2hqWEg1RndrYXdlYXNYb2Y5cVJGdy9DR1pUeDRwdk1ld0ZCR29uY2hTWlZQ?= =?utf-8?B?eWI3U2JPTVR0M0orcFdjSnlPanh3cVMrUi95TUV3S0NnWE9hYVpsUlRwU1ZB?= =?utf-8?B?N3ZaNGRWd3ZCRC9FanJUckQvVGZ3c1pZeFBNb3VGT1B6MW1OVlMzRllWbUdw?= =?utf-8?B?NlFvN01sUHdWR3VFc3Rjb3p0V3kxU2hPMUV3WG5ubmMySVU4V3V4eldUdzd5?= =?utf-8?B?OU9yYzIybEV0Z0xFVjRCY0JzYjRHZGZGcVZ0cUFLSUYva2lybnhJMEhSeXJv?= =?utf-8?B?ZGhrTHJwK0x6bmVhTzFDdEZlRVhoRVlDTWFkeEgvU1pPSkRodzhxRzBqQnA0?= =?utf-8?B?WUhHTHhRT3FWSytqRjNwRlV3WVJkbjZUcXo0TGN4OHVOTTdXOXptNENVMDVO?= =?utf-8?B?bEM2cVN2THozL0xYcHhrTytMbm81NzRIVC9scDFKYy9uME1HaGo5U2wvcnRF?= =?utf-8?B?bUJIUGhySVB5UFA0QTdySVdCWE5Kd3Jac3MwNVFZZldha1dJR0ZLczdTMi9P?= =?utf-8?B?cmM0SXFtaDdhSXFpcEFZVHhrT0xDSEJwc3pSN3Qwb0VVYVExdzBYaTg5S1pW?= =?utf-8?B?ckZDNGlCZjdOS0hEaEtxeWFOa3RvWlVrMU9iamF2N0ZtNGNVTk1WY0xPcWNH?= =?utf-8?B?LzFsLzN3NkJXS255RUQxZUo4YWV0UUF2U1hmOTNRc0tjY3dzbnBGVFBWVW91?= =?utf-8?B?UlM2WnNRT2hBRGtiSUo0WFJ3UllLMlZkU29GZW55MlBpNG0yVzl3dHg2ZmZX?= =?utf-8?B?YjhoUWZoK1dHNWdPQjNVRjdRdHB4eE9nOEZzd3Y2S09aWGc5S0NQQVVoK3Zk?= =?utf-8?B?OWJ6cEFPU1dUcTdxejRiMm05NmFtU1lNUEZFR3kzWWRoZDd4NUxMd1Z5MEN2?= =?utf-8?B?K29wUHQrekxIVXJtQW5BdHhHeDRJY2tHcGdBZnBJTUFXQXREZHNvSTJhTmY4?= =?utf-8?B?QVRPNXVFdTlFRmJaUkJjUUtmbDZmdlpZWmw5ME9YMmZvRi9OSGpRclFtRXRZ?= =?utf-8?B?TExHM1FZWVhJYVltV3hIaGZ2OEFqVFRvc1NtenlrMnNFMnNjN0lqOFhVM0JR?= =?utf-8?B?d0ZzdkNBbHNFbDVub3kybTQrektuS0J2S0ZyV1VKc05VYlVyK0d6TkdvbkRn?= =?utf-8?B?NFdFbWtoWVdDemNvMk1aMGRIODNnaDBWYUEvM0dRU0VYV1FvSDloS09RUXgw?= =?utf-8?B?eVI4REVia2NRZTBlYkx2L2wyYmw1ZnBxWlpsc3VsbmI4REgrR2I3RnFUZzRv?= =?utf-8?B?L2YvbEdyOHEyUkJuVTZPNUg2V3d2SnNvSldnaGl6M1M0NkhHMDB0N0VUUVJK?= =?utf-8?B?NkJ1YW91akFyVGxZb2ZRQzdZaFVHZ2dZYytrOUtocE1qL2FiU3hoOFdxcVNv?= =?utf-8?B?eDNDMWR6eFo4TDhLRDExdmJ4TVdVZnhXc2taSTlnWlVaWWowdWF1Zm4vTlBn?= =?utf-8?B?SkdOQXJBZlluN1k0Q0Rjb0tHOGpjYi90TTJuMk5NVXVOSE9NbVdTZEVBWUov?= =?utf-8?B?U1d2T3FGd1BRcVpUQlFoVVZ1blh4cjBrSFZDZ3NXWVd4VWJNNXRPNHFabXhN?= =?utf-8?B?ZzFUY2pZeFpPaU1mVEJNWVg0T3hBRWMxMEgwNGI3MjBITFZveE1lTTlVOTF1?= =?utf-8?B?a2tVOHhNT0RaK1FUdDlMS3UrRmxuR1lNZ2FSUGxtdDF1b250L2tqUTExeXpZ?= =?utf-8?B?UVoxa3BoUEFEQ0luaVk1VEowUEE1bFM5ZTBVazd4Zzl4bGR1Vk5SZGMzMkly?= =?utf-8?Q?xlzNOS56ih7zPXcTEJreP/PcyRfGVrVs?= X-OriginatorOrg: mq.edu.au --00000000000069fdec06120343bb Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable 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 --00000000000069fdec06120343bb Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
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@g= mail.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
 
--00000000000069fdec06120343bb--