From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: * X-Spam-Status: No, score=1.2 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,DKIM_VALID,FREEMAIL_FROM,NML_ADSP_CUSTOM_MED, RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 28538 invoked from network); 15 Nov 2023 02:55:05 -0000 Received: from mail-me3aus01on2109.outbound.protection.outlook.com (HELO AUS01-ME3-obe.outbound.protection.outlook.com) (40.107.108.109) by inbox.vuxu.org with ESMTPUTF8; 15 Nov 2023 02:55:05 -0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=CEX3AAqoxQm6EBJdkCN7eHbdNkW6LxDA1b8+qsPwGcG0vLLypIMLyDMgC9LM9SNGL24Jl6WlKBldJ9q98vIhuOGWMbZKHAbBAA9r6TGbvYhBQXZP+ZxR0LcS8zmfDiCcvkb3MDKCI3S56/8IeGiGeDHguhhnZW58ksyBXQ5VfPLUQvbkDSQu7N4BuX4cgi2EV3f8yqAD3zToEDVo1GH9LxJJ9LRDaohXMQt7flF7BInn9eTmR2RJeB8c6jMb5TGSghDTxrNHEV8h2IpAoSu1iYX/9Tq3DRR1Evwx55zoaKGQDqUIBNGtHaMzAqngYdpjSQQ7cVlV2L5EGVRDcmUlBA== 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=zFG51q9mZuqrDU0GkBJNyZgcQxlz1hV1CYBRhEpESCw=; b=KUTS5ANl+lpc50s2wpeyMrP4Hr/icUC2gilxC+BpSsd4hEBTTgTZK4ApyzywsKH6HU5CmVQxESDznwrMQvd532dGY66TB1wY3xB/cMyJnTkAdeVqXmQdxEX6gjAJiaS/BUE/56AbfGb+BsLzHO8/iqTn1bi7n35M/xTZK7mV6DqjuES3RuiqlVCPiP9ZItSu0aETff5lSzB8zidcEn/R+I2qV67GBMmBLN9WxPwB7QIyXQu3H/b0kiL7k5ELiVZik2ozGgbkHLGkGudWIitoungvCMt25mhxWZVfFcJ7zHiqxALCI4eMalrq/SxLGwnGakQv/d8Th+uyPfzCINyrRA== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.219.176) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=pass (signature was verified) 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=zFG51q9mZuqrDU0GkBJNyZgcQxlz1hV1CYBRhEpESCw=; b=En0/1djG5jS3+OiwEpy0BasxmsH8Sk/ajzdxINLcotJ99uCKrI7A+YmPzoI5mvsYMGE6k48FDsgHMjwgPPmu82bQ+o653uOzkRUB8rGOYuH7VK78XaJjm1f7PuyVNTuAjzVDqch2Ld0/32pShMfGJGySKHmtMfO7eWs5JFgFl2yU3RSjgoIZMQ9+S6eWS/VLMP7b3GaBE0QuIG3eqOMro+M2SKlaNqpjhlUPcEoiFdmOZotwN4qORAD7/C4iKP04fzx/7EpBjLkKMSj+3mp3xtzbEykPgbfBJA5ki4EdzBwrflHTDDoYH8/t/D8+sDrhaP6TSC/c/PWs1ZSN295paw== Received: from SmtpServer.Submit by SYBPR01MB7036 with Microsoft SMTP Server id 15.20.6977.31; Wed, 15 Nov 2023 02:55:01 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=N1gO6p9CBeYn/zKLFHk3IOjCa8qsvtb4nvLetQFVZxMRxqZxN/xte8nt4r8K9GNmQAdMcAQAMdnqfBeZTFcMDdTC+mAqcZkRrIT6BhENArVdVjruJXK6qrjYP3iSW8JXpmCqEQVJolBk70b39y3YRd/Z9eXD2h85B3n4TOaeyLG535066NFN6k9GDLP/ni5i8XqxLykYKFhS8fpLzc4il5I4+h7wdI7IqFA7uQikLteoduPqNeyYquxH5QZ7LN0CwEGPeYauxNP+awvAd3g1hpzwjWKEquEjQEVyi39oZkmEHx57YyYu7hayd2pbcP9avRwBCwaMCQSJ8Sc3Oc1VhQ== 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=HTj6cSdLiH/xsFiv0uxz+E6ethwqVT3UK64mJ14ELeQ=; b=WZxZXMDm7w7RxlqAff9xx15ZylZfYhGHVb8lgxuW/ugLHxHJo9TmY58rueHBfTyOX1aARDbNQr5tFcmRV7TxWiOqMpNsClN8FuEqb3cqvQEWinjIZ8rpIUVteDg3Lp0aIy9JvddjVpaMrEiCzxXyowdTdRaT+R+xYashwoQeJSRQRwipckz0g3dQXj53OK0ehoNACnTqOqTb/LTnk1mHf38e8rIluyT48+6lvVaKhNJDznc6hlIWW8KHHMssZ5+i3zRNgDBwD41t/77jOaMNki+auD7f9cU1sCX7wventpxAocA+KsfQt7NsJ9wDLOQYdu1446pGp/536f4rnwuEeQ== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.219.176) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=pass (signature was verified) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SY4PR01MB5484.ausprd01.prod.outlook.com (2603:10c6:10:fc::11) by SYBPR01MB7036.ausprd01.prod.outlook.com (2603:10c6:10:14f::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6977.31; Wed, 15 Nov 2023 02:54:56 +0000 Received: from MEAPR01MB4358.ausprd01.prod.outlook.com (2603:10c6:220:16::20) by SY4PR01MB5484.ausprd01.prod.outlook.com (2603:10c6:10:fc::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.18; Wed, 15 Nov 2023 02:54:52 +0000 Received: from MEAPR01MB4358.ausprd01.prod.outlook.com ([fe80::542e:22b6:4af1:aa6f]) by MEAPR01MB4358.ausprd01.prod.outlook.com ([fe80::542e:22b6:4af1:aa6f%6]) with mapi id 15.20.6977.029; Wed, 15 Nov 2023 02:54:52 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=hPtOQMYbysAFUu5l81sDNZGipc4RKdr3rbWH0PQO7KZgiXsIq2k+3cCOJENbnwiFQ+fn34Xf3hDUJlEQRZJGjBCZtJ1pjyCSlzu94DVlTygZPR+IUAoaKCx1WFi+4u6qTJxwNcSFtBPwt5vikr5a8FCsEoCrc6iRDpXZIsq+t4JUScgJwq9nPUw+/qCLHkEL1+z8wj/QmeoWzc3n9sVyFy1CxCWrZGgE9bMfuj00+aF+rbYG1xulXAusOjzIpe2kefKN6pdDZDaUD8BM84aIa6HaFZt++PlyYFVxN7rg5BtN5hIPlh1prCjKttv5LEcHRZD1V9LJpNhwC0iAM3c3TQ== 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=HTj6cSdLiH/xsFiv0uxz+E6ethwqVT3UK64mJ14ELeQ=; b=NHPBTtrvZ20yPk39GBkofFGHnI58CVsIpOat9Jsb5ivWlSWcDJ7M5WDkSApajMM+t7TN8KqQ5ZNyQ2TlHkFHrdbvsv2+U6q0NAe4aYytULFDKrlPPU2YIKgX/0Q8ECa2yfPNeA626PwaglR3QbIyMPKx4y0kIcuV3Lnp2TgoX/nnwKobDA6sUmK+nnjBzhE+PLlxZDs+iQsCCVyjC9o+gTYzt77qla9EA2rE2jwxPucVP7SYi8E3stbijypyrXlo4t8ybmQMYX+zZH8cDSatbb2YU7ELyYtx/nLUMZcgeCTTRg78S0llARlaxbJuH7/Y18WXvwWWx/TgMs5SwgC9Mw== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.219.176) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=pass (signature was verified) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from MEWP282CA0073.AUSP282.PROD.OUTLOOK.COM (2603:10c6:220:1dd::13) by SYBPR01MB6031.ausprd01.prod.outlook.com (2603:10c6:10:97::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.18; Tue, 14 Nov 2023 21:11:47 +0000 Received: from ME3AUS01FT009.eop-AUS01.prod.protection.outlook.com (2603:10c6:220:1dd:cafe::66) by MEWP282CA0073.outlook.office365.com (2603:10c6:220:1dd::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6977.31 via Frontend Transport; Tue, 14 Nov 2023 21:11:47 +0000 Authentication-Results: spf=pass (sender IP is 209.85.219.176) smtp.mailfrom=gmail.com; dkim=pass (signature was verified) 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.219.176 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.219.176; helo=mail-yb1-f176.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.13.69.22) by ME3AUS01FT009.mail.protection.outlook.com (10.114.155.79) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.18 via Frontend Transport; Tue, 14 Nov 2023 21:11:47 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1699996307; 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: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:dkim-signature; bh=HTj6cSdLiH/xsFiv0uxz+E6ethwqVT3UK64mJ14ELeQ=; b=FLA7qGq5K+v3RGb7TiErX9l89ylERP7NzYH6JsV8bIzoN3YbhM0ENDT9QvHZzb641PfEvh n+U8KuxRNJ46PCO51zDcmnnLx3pCEe9bNkmeNBQ+ukqKNs7VW7PS3oRbvUNUcnrdge6VEd DUZq3XaZ/0kl7B4JROH9Yd2rxEuoQwM3T0JRjYouxInn6rqfX79YFw6wTI1qTPajl0o7cM AiuO95n2FMMwx+XmXht4mGGiVvqTMHmiWQa/Kent5G8MZNJE2weX4OFTEW4loPW4aKadZR SxAvSoFPSObU0CVuEvEcB7niITXXmJrY860DxNS0Lbjm71FY7uPcWA3q7INteA== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1699996307; a=rsa-sha256; cv=none; b=E6nAIcNk7NPEb1qA5EiUmu6oV3HhnPGNgZa6vYOZXA8Qa4AnXwIv6asQ8dATc5VsIU14PP 87of8j6zUhLbqG9n3OWC45iSWCr+biaIW/JLaERrW1nbsRjGnjBCOV0RQG0lGl47y1uQ64 O3p40TTvza/rHophDCno7qz9A0JOis31HOu4xtDL+nBJkH31NPKxga4T+XTV8B15G/NUcp sNuuWzCnAw5MttiPsMXvMXWufHkhfAHB5LWTyhoaV4YF3iLDf6hW8DS9CD4zgJzYm7pIgs auzBysJYBiPR51aTEIAzh/4DBag05Cvly8ge6Mrrimc+7LVerxVrbIuDp6nwFQ== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=isEwpAQS; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of duskgoo@gmail.com designates 209.85.219.176 as permitted sender) smtp.mailfrom=duskgoo@gmail.com Received: from mail-yb1-f176.google.com (mail-yb1-f176.google.com [209.85.219.176]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-29-3Hon3Yg1PCW3lmW2OARqJQ-1; Wed, 15 Nov 2023 08:11:45 +1100 X-MC-Unique: 3Hon3Yg1PCW3lmW2OARqJQ-1 Received: by mail-yb1-f176.google.com with SMTP id 3f1490d57ef6-da37522a363so6245046276.0 for ; Tue, 14 Nov 2023 13:11:45 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1699996303; x=1700601103; darn=mq.edu.au; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=HTj6cSdLiH/xsFiv0uxz+E6ethwqVT3UK64mJ14ELeQ=; b=isEwpAQSUrE5Weg3p5X80JA4LrFgQdJiLQZBKFnXDOaghQW9RNmVJ5gJhijKdR5teo Zs2cAKQ+WLwL8vziLZW9ghSNxnov+8MuXB/2UYLrDthRdgqT435g8DJ55xcyKFf1pDiY k42PyI6IhxMd5UXOiY3xY45uLaze855YL6I3pm+enBiLNRPDefg0TNWubYvXS2UWJgFV NCgQlRzByTIwyIHMg7AWe3mbk1PeifQTprBQxIhug/T5B9LUO8xa6EiMgK0uGMRo91Li VGsf8O7teKNfMI055AI078YY/dDEMkWKNc+O82jToonRmEn8Ix5h77wqxnvMvkfIZr2m qHEA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1699996303; x=1700601103; h=content-transfer-encoding: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=HTj6cSdLiH/xsFiv0uxz+E6ethwqVT3UK64mJ14ELeQ=; b=lrJWnT/x40V3967YsQlrTFu3hS+P+i/mSe1f/ZLAgYYhjCUZIs5IxzWv4XMZpI6VS2 KYhsGlu2il7/QaZES2nZl8cu7VDinhvvz1+1BWZTEXqIYtBvigL6NbjM1c1tLI2V4Kai o6CZmESl4WtGxf+EwCuBcQFTjKJCmQ9QmnncPJRmu7SEGolvIeV2vNi8txd/1YmUq/rr zQJxn6coDFJvbjCZ4vhYLCnFpvnzEjgnbyhwoZOFGPvGZ27oy/sUq1xmOQEKEUKYt9dM C9ExQmYWfhVy57AbxRqgkLIyMKQu7BBPv6K5aawKGlMN27xoSW8Be1gtkojdwgkp08ni riOg== X-Gm-Message-State: AOJu0YzDE8caG2KFY/Z6G9bahRXKgjyOnbxAyfVUihLkvLRD5nWjjuDh FCbB7wLyvvMbBW3FyjWpyQ0JO5bPrViOmOdbE6+nQoJlV5A= X-Google-Smtp-Source: AGHT+IEyL1+faKeaOCBz7i/7geVlU2jEj8RTYesg9MQShlqWKrIootOO16bbhZY7rO2n4O8k91fNteCfwV33QK5ME84= X-Received: by 2002:a25:a006:0:b0:db0:2b47:aa1 with SMTP id x6-20020a25a006000000b00db02b470aa1mr425966ybh.40.1699996303112; Tue, 14 Nov 2023 13:11:43 -0800 (PST) MIME-Version: 1.0 References: <2078BAE5-12A8-4871-8DCE-C4B1B8285B02@mq.edu.au> <18B15895-9B03-4B49-9D0E-8448D0FAB283@mq.edu.au> In-Reply-To: From: Dusko Pavlovic Date: Tue, 14 Nov 2023 11:11:31 -1000 Message-ID: Subject: Re: The game of the name: Standard constructions, triples, monads, fundamental constructions To: categories@mq.edu.au CC: Ext-FSE Baez - Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=isEwpAQS; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of duskgoo@gmail.com designates 209.85.219.176 as permitted sender) smtp.mailfrom=duskgoo@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=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: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Return-Path: bounces+SRS=UwZsn=G4@mq.edu.au X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.219.176];domain=mail-yb1-f176.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.219.176];domain=mail-yb1-f176.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: ME3AUS01FT009:EE_|SYBPR01MB6031:EE_|SY4PR01MB5484:EE_|SYBPR01MB7036:EE_ X-MS-Office365-Filtering-Correlation-Id: cfa3a4c1-ed9a-4153-c7ef-08dbe5564fe5 X-Moderation-Data: 11/15/2023 2:54:50 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: kwy41Xakp7QY7OS3itpjB7ycs6O2fjafnz1Cg6m5AZ2O5gM0PIjKCmdISDKIsa7IT/4Ko3004MCDD0vt8RH1Oi6zktioF3COJWNjqfjiCx1+5Iq9SLFzJi27danLn84n8mN4NPrD2rwJ5ty9/aLKwqfJBlACto0J3KSrUwgI42cQk9q8dzwJfQ2uX0HYirigZpvynV/lEObRACES4vBJtNCgPrVj8EmimDi18lYMf+T3XlchZRtSL2C78DrR4Sailhd0M2qlvHLXp9cQa5LwGInonujXZZ3A7D9EneXmo1VQTKojmP52JT8Itv3i4lsie5BtP8DY7fvcVdVy8jM4Rvudczl7Xw+yuSvM5zk6APphwRj0Ox4tIELoIpIr5QuUoumfgZ809XqUfe7L6T5QmsIoFcNcKI8KaXfVHZf/P+SbDL2xn5ZvPzHagcY1mtRhmRfLrfi4Pi9yX2LWAAt+gXzdiMQbOSEP7KRqu2YmfANfL6WuAaZfK358jxdYJizs2PuySaggOKmB9lY2dyGNCx7BIzmzFoNY78yRYbXwVPRGJkTZ4LXyUykWPaT1MnI3EBzGpqTAMBdNLsTKOsnIHvjyzaxEQ0mfqIj1k78gPvU3EH6DNLtjfVkzXaTXTUgo0iqF18gfz3+C1oW1oZxnoQAFkdpeiHLmcVBBPxrnYCfYflQfCOWBCbQex0CJagy1ZSAfivPdqNbZc0KBgUGDHS03Af54e3n8Xpcqa7vWfIuZiXFoJGfuXtyVKk/km6l5Psl0hlJY3DlYwtMewB0tNHsXkmRE69X46PPOi5JL1kxdYoNIGyrywHbN5TrWCfVgKUvRo/5ZoZraEHuTacBy0TaKKZ3YnwWWpZJxRJcvOf3ei8YWK5EjL+Um+BO2RUxN X-Forefront-Antispam-Report: CIP:103.13.69.22;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-yb1-f176.google.com;PTR:mail-yb1-f176.google.com;CAT:NONE;SFS:(13230031)(4636009)(39860400002)(396003)(346002)(136003)(376002)(48200799006)(8000799017)(451199024)(64100799003)(82310400011)(1800799009)(40470700004)(40480700001)(5660300002)(40460700003)(32650700002)(7596003)(35950700001)(7416002)(86362001)(7406005)(7366002)(55446002)(7276002)(7636003)(2906002)(83380400001)(26005)(82740400003)(73392003)(336012)(32850700003)(156005)(7336002)(53546011)(786003)(82202003)(76482006)(88732003)(89122003)(6666004)(76576003)(316002)(68406010)(42186006)(8936002)(498600001)(8676002)(4326008)(34206002)(70586007)(41300700001)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: cfa3a4c1-ed9a-4153-c7ef-08dbe5564fe5 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ME3AUS01FT009.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 15 Nov 2023 02:54:52.5693 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: R8HjlbIqHmXD03/qlXzUGReUPJgC0RJATV4j0GKOCDPZXx+Zxb7T/LM6ROzH85SNBfPL0pOXIQ+NL9jO8m/XF7kcH8u28BAIe0faeMm82XRdP6NZw79NsDVYhaWba2h0RtLSy+c8OCZs/fkPcKuC9r+V8bwg6ZValhRlCTJ7o/yAWIROndEI9BKCEbUYy0sl X-MS-Exchange-Transport-CrossTenantHeadersStamped: SYBPR01MB7036 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?NmhpeEphRDJlZ3ZPMjZnRjlPamhDMGpYaGs1bWZ2c1pqTlg2d1RjTEFKRnJP?= =?utf-8?B?b2JtSzhyM0RrbEN2bzFVSjF3Vm96aytnNVU4L01kRWFjTEdnOElZWDV5NElo?= =?utf-8?B?YU1udU1rV0tVZkNONWVJaHFvM1g0ajVVb2kwd3hXUjJyZmtLMzQ3c1lEQnB6?= =?utf-8?B?VmM3MjhERlBZY254aFlITVVrVzZPL05USDlkS1lEZnQxVkRJUENFdUhTMmZH?= =?utf-8?B?TnN0cXZnb2V5NklWVkkvbEl5bmpqMTJJZHJmb0JDYm90djRqb3hCQStvS0dq?= =?utf-8?B?RHBZdEo2WWpMbkpoSUs4QVoxalUzUDJKa1l1QThvR3VRV1kvRjZWSE9UamtM?= =?utf-8?B?VEM1Y1BYaWtaL1ZYQVhlREgwbFNiOWhGYmpjVC8wdXdSODN5NW90OVZjSmlS?= =?utf-8?B?QUlpSWUwbzZYQlZQeWNnaFlKTVM0UW5IRUpKL2o3SmN4U3ptT3RpcVhNR3dQ?= =?utf-8?B?VGRpaXArVUg1Q0l0dVVtM0tjQ0ZnMm9CZkt6OWhFZERneGpUUEptNlZrTHNP?= =?utf-8?B?djVGTmNzcFdVSFo4dzhwVm5BYjMveStveUJ1YjVnQ3FTMlBYdXR3OE5QWGxB?= =?utf-8?B?OUx0ZEJoaE94SVBMeVlsSU5nZVJ3ZU0rMXM1Zm9pVUhoSGE1cGMzb2NTL1lI?= =?utf-8?B?S0JKTmtCd3VjVm1QMG56aENvTVpPVEk0YUZtT3F6bnhnd0xzYm1JUzBTbDVv?= =?utf-8?B?L1I1YlBwNWRZUGJ1QWJ0R1dDdldPRDNoZ1JuTGJOR042aVFaWkltWmRIY0V6?= =?utf-8?B?R1g4dEZHNnRuSXlONk43WVdLclhwM3FUWlNxc0dWMUNhdmpXMTQvR1VTRzVz?= =?utf-8?B?Y1FhTXN0OEdJdDNlbVUrUFd1UGJlYy8yajFMdCtldTZjUTV2ZDZ5c3lFRC93?= =?utf-8?B?T2t5N1o5ajl2M3pIMDg3RG1DYStCMnVWT1BtVURBUjdxdXVRd1l4NGJoUUhp?= =?utf-8?B?VmVmamJYUGYvUm53d01BWGJ1VldkZWR5citqd0c1alpJOC9XNy9IazFMd0xs?= =?utf-8?B?MlcxbW5tYS9hM2lyMWlTdGk4SzE2cGlPZWMxNVQ1b3BqQU5CaWphNkpjREJ2?= =?utf-8?B?NVpRT3hLT1pmUmdxcmFzc2U0VlMvQkJ4QWFmWWJia2o0MkJlSm9qalR4cUxG?= =?utf-8?B?R0YwWEtyN0xScHNIa0lsd3F1MXBBYjJKT2tTb2xZZVBPUHloR3FISFFVLzNT?= =?utf-8?B?ZXVBK0FNSDJYbFlrRVpCL3pHNFFTQ2Q4NzRRVUJmUW5GYTZxbUJVUjI5K240?= =?utf-8?B?N1AyajlhRWc5bG54QUxJSlN5ZkRubExjMVBYTnNBN0h0U3AzQVVzbk4zUEV1?= =?utf-8?B?S2p0QmcvWUM2SkNhYjZpbjZoODdJWmJ6UUE4bkxSaVRBaUdRQUdRYTFiUFNx?= =?utf-8?B?aGNLRy9Hb3YyRkdqT1h1YTVHOFJHQkFUZjYwdHo5TlhaM1ozbXVxc2x6cVRv?= =?utf-8?B?U1dFUmM5U2FoTDlLNG5CRGFTZUtOY3NxbjIyZ0pLdXRRUHVSSUpqaTRlTE0r?= =?utf-8?B?SGs3QmpmMGFKTmVjaGZOekozY1d2SUswMno3QlFJMEFIdEMraVh2b0pJR0dC?= =?utf-8?B?Zm42Wjd5dktTM0xoNnZCOHBwNnRCdnYzRml3UEpUTk5RL05VUW1KbnJPVDRl?= =?utf-8?B?RW94SjlkdGZJVUVVVkV3Y1ZSdlF5dnZZTzNEbEw3WldON1pJQVgvRGZtUDR6?= =?utf-8?B?a2RDbWdLRXpiNitzUUpQbWN4ZE1rbHl6UTZMV2dSVVZaVEJPZlVMWkQzTjdp?= =?utf-8?B?ZHlnTmcyd3ZLV1FjMGh1UlgybmxjbHpjRnh5Y1BQYjRYelNlekRDTm9mUzlG?= =?utf-8?B?UzkwYVBGUGNIWk8rc08yZ1VEV1pKK1BhWWNTTE9JQ094MkJqMkhHdFRLdHN0?= =?utf-8?B?elZoMXBWL0FXMzlTZVRTbGhZQ1J5d1RXaXVpeG9FVzR2ZTIzU3NEYitJbS9T?= =?utf-8?Q?qfSqD7/VNmgsJWxDfLb6z7p8EdMHJ39n?= X-OriginatorOrg: mq.edu.au >> It seems the history of mathematics is endlessly tricky. we are watching in real time that all history is endlessly tricky and terri= ble. some of us settled on math precisely because it seemed less terribly tricky than the rest. i was under a solemn oath after the high-school that whatever i might do in my life the only requirement was that it should have nothing to do with math, which seemed like people competing who is smarter. i settled on it after i destroyed one relationship after another just proving stuff all the time. so it is a little ironic to find on the other end the history of mathematics being the tricky part. :) -- dusko > Ross Street writes: [snip] > however there would have been discussion of terminology at the LaJolla co= nference. > Very tricky! > > Ross > >> On 14 Nov 2023, at 9:14=E2=80=AFam, John Baez wrote: >> >> Hi - >> >> It is not very important, but I was amused to discover recently that [snip] >> out problematic cases caused by coincidental equations between >> objects. >> >> It seems the history of mathematics is endlessly tricky. >> >> Best, >> John Baez ---------- You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. Leave group: https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as= hx?source=3DEscalatedMessage&action=3Dleave&GuestId=3D4eb9b40c-9b3a-48a5-97= 81-836e5a171e8b