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=2.7 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,HTTPS_HTTP_MISMATCH,RCVD_IN_BL_SPAMCOP_NET, RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,T_SCC_BODY_TEXT_LINE,URIBL_BLACK autolearn=no autolearn_force=no version=3.4.4 Received: from AUS01-SY4-obe.outbound.protection.outlook.com (mail-sy4aus01on2090.outbound.protection.outlook.com [40.107.107.90]) by inbox.vuxu.org (Postfix) with ESMTP id EED7825EC5 for ; Fri, 23 Feb 2024 21:21:47 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=lgGzJkgqLvn2mrzFHCeSbPLK1RDnEjtFdj1Snnkao3JIUn17p6MXnGpsx4OMbsLcoldQD2N0j9HLwtSrkaLNYiSKRibQ6kod6C9SDrthpx7m+i7xJqmOgBJiwO5GZzpbfTjOLLC3f2iLQWdOll/gvaJJkV5UNufHj18uckjSdMKzDvZU5NJs8uksC0T+YClswVbYxdXOkGriDA5r6Mcr1X6dYWF/bwlSzqoCbAWsoLd6wKuTUrv4eqWuPg1dijWH3AMWznOpewee8W6/M+Whx9HuQHVwb/G4pRNhzW8N6ynHHOA5wC4ALXyQoyCq4WCgsv1HnwKLBG3jOYpZJlZDZA== 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=tLXZS+H5FKAXECeMUt+EDsClgYXJe51Ba91KV37e/Ro=; b=REXkpKTN6Tuks9kmTpvxRTBu4aiEmiOhHiBkUQ0BZKSwZrIGC/ybKo5hcprrrjzUNQhiTmetr7V9RMiOBnouFrhSkKMfUTw6Td/M/x5zEYcWRkgnvNYxNPcr1BEe2GajkwEjMKxS5PcsNrSKgdQAYCKA4w+eir2bTRxxJo/VmNH6j/UVlfJ/wN47OscDhIZtSYdcs0a18RcwIQigddrObR7t/JTti8lsY8/FF3BsXYf/z1uWBHP/aXPY47W5zttmoFYqEFF7ZyzWrebnN9nwQiVYMuG92ZmJs2Csp4SVxlsFInc16NmEzqA4xW0Bjokx2AC+07yG8fms8ybsTJ8XaQ== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 129.22.103.228) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=case.edu; dmarc=pass (p=none sp=none pct=100) action=none header.from=case.edu; dkim=fail (body hash did not verify) header.d=case.edu; 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=tLXZS+H5FKAXECeMUt+EDsClgYXJe51Ba91KV37e/Ro=; b=gPjMg1VF+n5WJTJGNeNbap2929JNOKm31d8to3kTUDj8pPnUD3eDJIkv3z6Ed3Fz+edmw/3w3zh1np+rQyV2QyB7948ONp2y8glR3G2BQZbiwMeA2m+dleH0wQzbRxYaMcq0NLCW7nFhvw5RvtZWg06fo8fi0iGbnZVTxXbFFr4afnIfWoR6Ei1iSy/BD2QplMuI3Y14ZfGBGt8iYFTMEPfHfudFv+v8gOYvGvFHOJbyoO8N8BodDhsJVix1qIpjzKOQT8qO0OHauIexSuWF7F60MCQhIaEa7b7EPPQprUooGluJOFsTLxfFERGSDR4PwKZ9rOUsEcmBXtPaJna9FQ== Received: from SmtpServer.Submit by SY8PR01MB9362 with Microsoft SMTP Server id 15.20.7316.24; Fri, 23 Feb 2024 20:21:44 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=SU2l4JVorEZIEfFL1lms3bvX+LVyu0u1MjcL4S3CDymYzg3DikSmEaf1+9m43NkgpIjpWbWz72VtJfg1hhpuFBEGkVjrPbFVwPbuhZX1EAZwpuZ6LxnNTdAmTuSftcumyP5IMT/387tT56+4RIYn5f0v+zh2eMdA7CmlUq5gAq2cGBsHSUl5Dfz+gbYZK2VIjwMJgNi2wPSy9t6qQUMHWxeXq9Wthwtt9PphRXEj5oAmfhhdyq5HhftHlBcsPQ8aoHBpPt8PCgM2mQkjyvV6AwfFH8JEhH9m66fzuRGaz8cQ9AOXU8+9kxdPAupdUhpvrSYUhusmD07UGOY2iBVtyw== 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=x5mzVrajiBouTzFwamWFGseSvU8Kn6NiMBV/AH0A2Os=; b=HJEvoLFB/oLGQbeCcR8euhUVE/xMj2UosyTn9snb5YeEi366yPYDJ6ZgVjUhXVNTbE6p9vKtjqWUdw+UjpCpNonF09i4Knxelnx9V0jcC3wOL88CpSzynyeJbk5H8/dQ3nCoW0fecln36EfV6YaE2ueYzxUqL3tZ5k314e0Tka6VN8oFzCMm5uXSYMfbutv+csBI7gB9yuaPwkOu8TPj3j4XcGuzz06R/ZV+4Yk6LhMpJN7tY9ZAb1r4eHLu4/0lRaOoOyZHEfU5pAWBA2qu4912xBKM/aA6cXujmdGYzY1mLGHAsB92W3cgFogGPlycWzhZutLEqEywqKqGZ3b2lg== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 129.22.103.228) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=case.edu; dmarc=pass (p=none sp=none pct=100) action=none header.from=case.edu; dkim=fail (body hash did not verify) header.d=case.edu; arc=pass (0 oda=0 ltdi=0 93) Received: from ME2PR01MB5458.ausprd01.prod.outlook.com (2603:10c6:220:d1::12) by SY8PR01MB9362.ausprd01.prod.outlook.com (2603:10c6:10:263::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:21:39 +0000 Received: from SY4PR01MB8050.ausprd01.prod.outlook.com (2603:10c6:10:1c1::14) by ME2PR01MB5458.ausprd01.prod.outlook.com (2603:10c6:220:d1::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 20:21:36 +0000 Received: from SY4PR01MB8050.ausprd01.prod.outlook.com ([fe80::a8c7:6d0b:a6bf:1377]) by SY4PR01MB8050.ausprd01.prod.outlook.com ([fe80::a8c7:6d0b:a6bf:1377%6]) with mapi id 15.20.7316.018; Fri, 23 Feb 2024 20:21:36 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=nsDshe2XodweOvxjFjo+kCirRzj3dDSqiJyfCpLVaRHLPfsKxfIBaDhzvz8DQBbfnBy4lWk9ln0OlsF7wVQySgDFV0uZcAtcvVeF6aXM3gFu8ZyGg3jcw7AdraHIj6mEgh2VGKL1crIa7knE6C7jwkB9dPYSAMHZPkCHHIHnOTAlgeomWei9v2hZD0fEN8O3yTuHTGCvOx0MY+o0WCpsZZcnDVf0l3/clUME0j5dsSkOO9JCYiXlXUOK/UTxcyRBdPfJ15EtPStT3OvDGnTTyB/3rOazkiMHz2McvMqFmu3kqDik9tTGJMJpSKlHznyJlY5ly07eo8A5SoVJlH5COA== 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=x5mzVrajiBouTzFwamWFGseSvU8Kn6NiMBV/AH0A2Os=; b=gWmGtWhzNOMi4ICs0ovhYy/nLi2yDB5c3xcZUFqdyIqmfCUkRLJ7btY6ktnmQQ4qS+uEFXGQ9tb7jceEddbGHzbTy7sx5B10TKMeVP4NLDmzmTFPeSp8dc5/EWKBVBQuLS6h16kjvdURcdcyYEeJ+Lemb804bUXfMB20cWSNwzgDpIqEAi4uo5uI79y1whGw4W1zBqn2rrlWyYJWvO8iQbzcvzfufzT6TA7d+beL3cIwTG836kj8XjjGaFA2rl0sdl9JI5eYzAg5ykgC3nW6DkD/1RDM8fAMmnr0y+SJ/WjhEK/sLMimxyuiRMRKDZydi/7/9MbzfMGP+kaDLjh9tg== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 129.22.103.228) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=case.edu; dmarc=pass (p=none sp=none pct=100) action=none header.from=case.edu; dkim=fail (body hash did not verify) header.d=case.edu; arc=pass (0 oda=0 ltdi=0 93) Received: from SY6PR01CA0007.ausprd01.prod.outlook.com (2603:10c6:10:e8::12) by SY4PR01MB7203.ausprd01.prod.outlook.com (2603:10c6:10:141::11) 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 18:09:20 +0000 Received: from SY3PEPF0000A724.ausprd01.prod.outlook.com (2603:10c6:10:e8:cafe::9c) by SY6PR01CA0007.outlook.office365.com (2603:10c6:10:e8::12) 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 18:09:20 +0000 Authentication-Results: spf=pass (sender IP is 129.22.103.228) smtp.mailfrom=case.edu; dkim=fail (body hash did not verify) header.d=case.edu;dmarc=pass action=none header.from=case.edu; Received-SPF: Pass (protection.outlook.com: domain of case.edu designates 129.22.103.228 as permitted sender) receiver=protection.outlook.com; client-ip=129.22.103.228; helo=mpv-out-ksl-1.case.edu; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by SY3PEPF0000A724.mail.protection.outlook.com (10.167.241.20) 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 18:09:18 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1708711758; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references:dkim-signature; bh=x5mzVrajiBouTzFwamWFGseSvU8Kn6NiMBV/AH0A2Os=; b=XFJIsfHe2fpmtbXIqWRqJJ1gSXkOyeZDsTILx1bO7JkjN/dDl86Uug66CLnQpKl4a8iG9e eXvdYFhG2vAcrLf8xbAZuU50OLo/qbBKys6qmxMmyAarLtpCGhX2JeiPWoD/u8YpCZbbDj 882YPBgNTd1PJkWT8eZaa+UXMlZ3ILk1cNbcRLkUIiv2yLQ+o/klTwkkkICRP2FYs0ivaJ xs3L7Ox4BMWuSuB8J2aUgZCWmVSZWM1owUD7IVwMVfFNbq4oVVu5ESMnXilEH4LLpAMIzb bKMHZX2y0suRk9ZUAcIIK2SV0UIXqqCYPqMHPM0rtH0aKRza4cx5QkrIkbjJAQ== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1708711758; a=rsa-sha256; cv=none; b=Rq+ScEbh+5LRn09rK0Gv/K0iWSIUEo6hpiIhEZ0YpoP8/qU2h1l/U4TrRwZEyGF2XSPmZz R2fwWlzORADKEmfD02mYkSIcXJ0gJbnT5dOPlL7g9gQod5vYDowKuvHFzCuuGwwETzuXXs VcgQPqKaWN4TIZ6pDs6ev2dxtnLONF8bHgsMgeITPtmrSVXsW97c4X7UZZVScLZkQrUe3R jRWO0o5Sg3mZPBSVEVBwhoKJWedS50Izv5OF3F+tJwdbRk6YygNrRLwUeNw74ArNkbk9nt Npqvn/KRHhw96otl5/94UjQJV5PLbyk/WeqNU5PUkjD/3cl0UeQvrI5F5dGelg== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=case.edu header.s=g-case header.b=bU1CY0wW; dmarc=pass (policy=none) header.from=case.edu; spf=pass (relay.mimecast.com: domain of cxm7@case.edu designates 129.22.103.228 as permitted sender) smtp.mailfrom=cxm7@case.edu Received: from mpv-out-ksl-1.case.edu (mpv-out-ksl-1.CWRU.Edu [129.22.103.228]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-80-Bp02eGbmO96bsCHzo-M3TQ-1; Sat, 24 Feb 2024 05:06:37 +1100 X-MC-Unique: Bp02eGbmO96bsCHzo-M3TQ-1 Received: from mpv-in-cfd-1.CWRU.Edu (EHLO mpv-in-cfd-1.case.edu) ([129.22.103.211]) by mpv-out-ksl-1.case.edu (MOS 4.4.8-GA FastPath queued) with ESMTP id BXW06752; Fri, 23 Feb 2024 13:05:31 -0500 (EST) Received: from mail-il1-f200.google.com (EHLO mail-il1-f200.google.com) ([209.85.166.200]) by mpv-in-cfd-1.case.edu (MOS 4.4.8-GA FastPath queued) with ESMTP id LSL01568; Fri, 23 Feb 2024 13:05:30 -0500 (EST) Received: by mail-il1-f200.google.com with SMTP id e9e14a558f8ab-36512fcf643so4959565ab.1 for ; Fri, 23 Feb 2024 10:05:30 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=case.edu; s=g-case; t=1708711530; x=1709316330; darn=mq.edu.au; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=CJhNycB2Tgwb7eNKq4aGT4kKskABYQ+hO5UTiwnac0k=; b=bU1CY0wWrcfNvPVGe1pjDG1hBPhM6t+WQZc5TdLGvIAhEKlbDvBPYr0zaA5JGxdPm5 YzJ/8tSfJEDsH+LyJAehlLs0+vjLNcZ+/yorRGVOeNZXg5G6Z1KGAWj2BLFB5as2VfkT 0hwcxeFF2wVsX3BTf4IvVZ9WqkrUyevFcaQjZL0gl692JkqcPx+g4YpePdAWqpEU6C/H 1KlSfpvjC1KIYAd06HTYCPmWc4+Tb66G+CCTDdN353qM+NodsdIlwDPNiKc0d75CojkK j1SPaLnNup/L9AbL3PKtv/Zx4LV7YhwkUtBwjx9BhgyW/8dOHhnqZBNOb79N3jLgPvAo 5oqQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708711530; x=1709316330; h=cc: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=CJhNycB2Tgwb7eNKq4aGT4kKskABYQ+hO5UTiwnac0k=; b=BQP27Mn3qoCUM+zL4LcggxnH4wtsCGWgeoCghmQcGGwYGtyozj+nbhMQ0qzXH45sj7 5D9Y/H/V9+q967KLGT1aSMZO8fMhENhM8UlaGvwXDQWXVzDfKU3rr7JELW6DAC/bYMgo aHP0l8inlWX+WO6Y+nfxsNtKh03ibbTvbYoSPBxms1x3xmFGCXfOwvBO3ye2lz2Y9Zc5 3Gz6tXG3bz2+bUjTy4fDgGu3gjfmYoRpiNCRveBqi+qdHdMXdtemJWAqUCT3YDAgDh/L ramF90VlX0R/tbh36Moc/C8v3HaV331PbCU0axMuO/IhXDjO2Ee83Ipd2G3Y1L3YLswj c2rw== X-Gm-Message-State: AOJu0Yzu3ZivXoiQRRLjNV6sQj2dFmL75brMJcg7PvotxX+9EyYOXr7O 7bBvHYSsjyy3ER0GBLd309bn93S1MjSqy1RomUqH/d9H+7zIrorZZGR0bAs3ZJeiR0LiRO7Wf8k 9B7EkE6o/7jpmb6TOXgPicoxoJgV8rHXjH4B8/yY9a2ZLxBAnNAKmeDKPRSS2TMx9svxqN5yexS vMMqzbvZlRl2fbmdJ0gYW5zyFOWmQ= X-Received: by 2002:a05:6e02:de2:b0:365:1678:1c98 with SMTP id m2-20020a056e020de200b0036516781c98mr609469ilj.10.1708711529803; Fri, 23 Feb 2024 10:05:29 -0800 (PST) X-Google-Smtp-Source: AGHT+IEZ1Y2bitPinkcKsg4jK7lk7zgZVw+lnpwLzTYPKdnCxte9dxwgS5bPprb1DtKVBZ7NDu4POufwbEdLxGQlZWs= X-Received: by 2002:a05:6e02:de2:b0:365:1678:1c98 with SMTP id m2-20020a056e020de200b0036516781c98mr609446ilj.10.1708711529379; Fri, 23 Feb 2024 10:05:29 -0800 (PST) MIME-Version: 1.0 References: <10CF2601-2F4E-4E47-B36F-B4A1A1FEB55C@mq.edu.au> In-Reply-To: From: Colin McLarty Date: Fri, 23 Feb 2024 13:05:02 -0500 Message-ID: Subject: Re: categories: Re: "First" use of 'Category theory' to describe our field To: David Roberts CC: categories@mq.edu.au, Ross Street X-Mirapoint-Received-SPF: 209.85.166.200 mail-il1-f200.google.com cxm7@case.edu 5 none X-Mirapoint-IP-Reputation: reputation=Good-1, source=Queried, refid=tid=0001.0A742F92.65D8D7B5.002E, actions=spf tag X-Mirapoint-IP-Reputation: reputation=good-1, source=Fixed, refid=n/a, actions=tag X-Junkmail-Status: score=9/90, host=mpv-out-ksl-1.case.edu X-Junkmail-PrAS-Raw: score=9/90, refid=2.7.2:2023.6.26.145126:17:9.975, ip=, rules=__YOUTUBE_RCVD, DKIM_SIGNATURE, __X_GOOGLE_DKIM_SIGNATURE, __X_GM_MESSAGE_STATE, __X_GOOGLE_SMTP_SOURCE, __MIME_VERSION, __HAS_REFERENCES, __REFERENCES, __IN_REP_TO, __HAS_FROM, FROM_EDU_TLD, DATE_TZ_NA, __HAS_MSGID, __SANE_MSGID, __SUBJ_REPLY, __BOUNCE_CHALLENGE_SUBJ, __BOUNCE_NDR_SUBJ_EXEMPT, __SUBJ_ALPHA_END, __TO_MALFORMED_2, __TO_NAME, __TO_NAME_DIFF_FROM_ACC, __TO_GMAIL, __HAS_CC_HDR, __MULTIPLE_RCPTS_CC_X2, __CC_NAME, __CC_NAME_DIFF_FROM_ACC, __CT, __CTYPE_MULTIPART_ALT, __HEX28_LC_BOUNDARY, __CTYPE_HAS_BOUNDARY, __CTYPE_MULTIPART, __RCPT_DOMAIN_NOT_TO, __DKIM_ALIGNS_1, __DKIM_ALIGNS_2, __FUR_HEADER, __MIME_TEXT_P2, __MIME_TEXT_H2, __URI_HAS_HYPHEN_USC, __ANY_URI, __PHISH_SPEAR_URI, __URI_MAILTO, __HTTPS_URI, __URI_WITH_PATH, __URI_ENDS_IN_SLASH, __FRAUD_BODY_WEBMAIL, __FRAUD_INTRO, __CP_URI_IN_BODY, __FILESHARE_PHRASE, __WEBINAR_PHRASE, [TRUNCATED], so=2010-03-03 19:42:08, dmn=2016-08-03-0138 Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=case.edu header.s=g-case header.b=bU1CY0wW; dmarc=pass (policy=none) header.from=case.edu; spf=pass (relay.mimecast.com: domain of cxm7@case.edu designates 129.22.103.228 as permitted sender) smtp.mailfrom=cxm7@case.edu 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-Type: multipart/alternative; boundary="000000000000bb93a706121067d2" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[129.22.103.228];domain=mpv-out-ksl-1.case.edu X-MS-Exchange-ExternalOriginalInternetSender: ip=[129.22.103.228];domain=mpv-out-ksl-1.case.edu X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY3PEPF0000A724:EE_|SY4PR01MB7203:EE_|ME2PR01MB5458:EE_|SY8PR01MB9362:EE_ X-MS-Office365-Filtering-Correlation-Id: f0965afb-9658-4cfd-aca7-08dc349a8dc6 X-Moderation-Data: 2/23/2024 8:21:32 PM 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: Ua6Um/paDv6+YUpUwx8ovhQbElxh2NXtBSx+LEAke2p4ZoRYHXcuaH0hvyiDbiqUa47yg7Qo3+DcoK943SBTccLQfSF7AXwCNeLuX+ohGRVpeHrPUCxNjYzkYcEYp45TX4q6DxddpGht7VzctMkScAdbGrgtioC4BLdbhEI7ZBLI/PCiUDd3aeDBI4NGyT40SG7pcTkEAx5pQgO/n8bodiQYYClUq5HLLFk0REGQKvGavmarAETcV2x38Xiy2XSURX8ZOVW7i8rhzHRxmFm054YZaz1IlhHyLiQjrpACwvLKSMwWUTB8b+EgUjTNIt9r74yeO9HeR/l+s9W6Dztm2MXGVCtbNhbro4Wi6KzAsVEOK+lodbzNXYOKGtAZTPQ1Nc2c7mO/7f5UZa8o90lOMbT/t+bWxAcWu4lyhEHAsxlHEbJq2GZlCHIdOSXzxrnQi5EV1sKAOlMS9SsUoBIbskfmdQCwc0/hmRnKefSWxmJ+V3lG6/9CB0f8VtlnbVhXqMzFBd/Ugfa8ytXVLRxcMK7Vpd/udTmcGT6dzoyIfOpQlDZbNcyfI41oPkWZLkx7RxgIoB0grRDTBBzO2XRW9YOcJ0sIIDTR2Pd8ymt8ztt/Bb6wy4IEW/NUzFXb8lHoE6f11jSRHb23iUU18gxFqZ+wRo0jEZiGXbwDJaYtYlLJ97qEEOrYWkPq//oC5t5jBg6bg2PaGBLwNGzWzCxGjKYYtE74n2M7ShxcWUeBveE= X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mpv-out-ksl-1.case.edu;PTR:mpv-out-ksl-1.CWRU.Edu;CAT:NONE;SFS:(13230031)(35950700004)(32650700005)(40470700004)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: f0965afb-9658-4cfd-aca7-08dc349a8dc6 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY3PEPF0000A724.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:21:36.1378 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: jOxtyJgpjQXlbKjgFe0gJhd6zHC1mNShH0G65NO4PAoQyTI0ER2Kh0SYBDMuIXwgte99DnfIpAZfOePdUIVMXFKUVUzd06GvaxRyTLaTkrjBQi6CrWD3O9mmLrgK/Q8Ef+O7mIiEiR0rErb9DFVXXfJw0mPCTIJqEALUEbdk7lBP9ydevnIxOURyEFsdpCea X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY8PR01MB9362 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?cmlNaDlpbmRJWnNRYlZJVndldWlxVVJKTm5PKzV4STZDL2dORkt6YzY1NVRV?= =?utf-8?B?VThzSW5LL3BMektQWkJiSUlFcW1KSElIWXVQVEM1WUphNG1lOTFyWkgzZFZq?= =?utf-8?B?MlNJQmE3SW5mcWtRWXF5Y3NDb3ZiYzh4b0kzN1dpNG1OWGhoVXM5aFkzbDZT?= =?utf-8?B?SVRpTEtHWjlJSUtZU3VEc21FQWFnRFJMWlBoVVk4RmpzbXVkRjZEa29kM0lD?= =?utf-8?B?U1JubDFKOFFTWFN3ZzQ2cVh6YXNNQTlobEU0anRkUEtBVHNRMmRsVEdRY2lM?= =?utf-8?B?ZE14R0luS1loVGlwbUtZWStVSmIvSGtjWmo3STVkbGg4dVBQaWtLbjU1dGhX?= =?utf-8?B?Z0lMOXAwRnRPQVV2RFp2Mks0RjFUa3oyaGNwUjF0RWFtVE8zNEVzZmI4NEZ4?= =?utf-8?B?QXljdGhWdjdURkVDWGZ5WElzMTl5VzU2Mmw0YTA2T0RXZmk3NnYvZzRCVG1o?= =?utf-8?B?b3d1RmtrODljbGZ5MWxxM2dXS2hEV2poWGdOZkZMK3ltMlE3c1IrcUV6Y1Rl?= =?utf-8?B?SGU3MTRFVGtLVVBKMHhxK0pIUzdRc1M4eVk4RjJ1aTIvN2hXRVdMODM3MjJa?= =?utf-8?B?ZlpHYk9USWdVUGlTZDI5RjVTSjI2NzVFRmxxWGJ4UGF4NWcvNVZWeWRGV3pr?= =?utf-8?B?YllXZFBGYTRpUzRtMkFQOFpHSG5iMDlaTXorTXA4UFkvcnpDMXBUQ2Vpbytj?= =?utf-8?B?OE1HVWROb0lORUNIdUh2YzZHRTBpTWtEaURocmUyMGdQaGZOVjdubzczY1Q0?= =?utf-8?B?bFF0alJQTEhVMVFOTHdTRG1DeGtNOFpWMFlGRFEvYUVSUDBZS3BuTGxRb294?= =?utf-8?B?QXVMdXVuaUJiNDVHSzA0djRGL1Rra3E0ZFJiZ1BUUEFBZXRRVmlxZS8wYzJM?= =?utf-8?B?MTU3MG9WRGpVQTlRZGJycDlndkFpQjZCYXRzcW4xalpIRkgwbEYyUFNBYXVu?= =?utf-8?B?eUJ6N21EeUpxYlovUHdMQWdvVXVZRUVFWmZva2h2anRCSWlWMW15UnI2NGk4?= =?utf-8?B?YWNkOW1kaWM0dlNtS2o2MTNVTEtKTG0vOStSeWhvRWE4QXQ3dHVYLy9iSEsv?= =?utf-8?B?dkVWWGlRRnhmTGQvWVliYzZGMCtzVnV4MmpDcHZpMFlOUkd1VnozdjZyazRO?= =?utf-8?B?Yjg3UHZXZmJuVFc2OGtaZWJJbmNzaGkrYlhkYWlueUdPQ0x3Y2pGY3J2S0Mw?= =?utf-8?B?M3NKZjh4QWc4cFRadGZUbTJUZlgybU12ZXM2YkhZQ3hzSzJuVlc5cHROOTFx?= =?utf-8?B?ZFd1bjRoZmxrT3cvenVBYWhqRENwMllmcnNQZDV0a2tLWXUvZHdib2VRZ3Fj?= =?utf-8?B?aGd2a3Y5OXFYSmFMK1dzUHN2NlRGVjNxYXJNaFNmTUUycmRqbnI5VHdENW5z?= =?utf-8?B?amF4SE5lN2lySzVYMzRCMzk0MXVIUHZvcGdJTnpDYVdNRTJ2bjNVanRXdW1N?= =?utf-8?B?bytaVVZZN05EVUxHaXBZTEhaOC9JcURnZktoblJDOGdnOWU3dFVhelExK1VP?= =?utf-8?B?eGpxTXczemE5bFhFNmJ6bXJ6bmM3OGxqcS95RDFaMzIxOG9Rb1l4K0dyOG1G?= =?utf-8?B?RjlOQWNVdUdZK0pyc3B4VzF6NUZRNWozT0V6cEhVc1UzdjN3WldpVGVDeDNh?= =?utf-8?B?MXVTNVpubVNyYzNBOUx3YzVjR0FJWlZCVlVJL3lwZ3FvVURwczZuK1cxcC9y?= =?utf-8?Q?myE5FOXlGMatX4b5aC/w?= X-OriginatorOrg: mq.edu.au --000000000000bb93a706121067d2 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Systems biologist Robert Rosen used the term "category theory" on p. 340 of= Rosen, R. 1958. The Representation of Biological Systems from the Stand= - point of the Theory of Categories. Bulletin of Mathematical Biophysics 20, 317=E2=80=93 = 342. On Thu, Feb 22, 2024 at 10:09=E2=80=AFPM David Roberts > wrote: 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 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 --000000000000bb93a706121067d2 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

Systems biologist Robert Rosen used the term "category theor= y" on p. 340 of    Rosen, R. 1958. The Representation of Bio= logical Systems from the Stand- point of the
Theory of Categories. Bulletin of Mathematical Biophysics = 20, 317=E2=80=93 342.


On Thu, Feb 22, 2024 at 10:09=E2=80= =AFPM David Roberts <drobert= s.65537@gmail.com> wrote:
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.c= a list <categ= ories@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&n= bsp;group files = ;  |   Leave group   |   Learn more about Microsoft 365 Groups
 
 
 
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
 
--000000000000bb93a706121067d2--