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=-0.6 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,RCVD_IN_MSPIKE_H2,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: from SY8PR01CU002.outbound.protection.outlook.com (mail-australiaeastazon11020003.outbound.protection.outlook.com [52.101.150.3]) by inbox.vuxu.org (Postfix) with ESMTP id 82A7922D0D for ; Sat, 23 Mar 2024 01:38:23 +0100 (CET) ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=JB2vaZ2BbFBC0A3bTeK5Wm6yZvETohdafZ8TGOSIDzeJekpdrM4Ry2BdP8wgvmvPsLz2zjYkSyiFyxMCrYrO8T4ZxkxdXL4Tui3CL2O9MrQZXq7IOW8VgzL3zsKrC/eSanCO5yCr2O/xbuHeef5g5g/a2fRHBRoyaoeyrzLVscW8bY70TNyxzxRxIiViCp9JRJuJyWHEh9T4AshmkhOyBchAUxfDiVMfzzu9HktX+WR98hCWCSBY4d20362pc5GKBRI/5OLBVeaySIxhwlLGhVoa8lPkb7Q9l+pyedYCpGsU5PH0xXLLrMe9lJKu+yQ6fpGave14UrkquTyNvKiYcw== 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=U3Mk/HwHKn+1ZVlBCEktAIr8G/i7B+xwYtbN5ecpHkA=; b=JNf4Ph8DJkUtAFt6BIleHSfxKRhafPo0hudAU6hTRma9ifOVx0fk9kq0lLojl5tiqWF1uSO150iNOIXmAAr+o84xHzqwvCs6TVRVtr8jIPEPKO0oBggQyqYmizJm1QiHkUSDP3n+hcZbliArTpH/S+XUE+p0VXyQ7qZs4DfU/Qnj4y4t81dEZsLu/AuYiNIew8qhSvBhiE91lD5CPbZ3okWBjs7bhstMdXLs04KucTgS2nFbVponcf1w7uJFTe4IFqVmm27/WdANkKn2EWlBnR32YEKLo74tIIHRwaLgWNNOTYLQAz5KQRQMQE7U6sXq4VqpvGGKZHqmAWFiqOqS9A== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass smtp.mailfrom=mq.edu.au; dmarc=pass action=none header.from=mq.edu.au; dkim=pass header.d=mq.edu.au; arc=none 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=U3Mk/HwHKn+1ZVlBCEktAIr8G/i7B+xwYtbN5ecpHkA=; b=oxSAMqACl7ipaan8cNfcHpQ02OFUs7djk2d6yt+oa8jeXphbK0cPUmQQGCSfKKNuc4+X4EyuC1QnPfmrns1kRJsrx/+nvATE1Xb8m1itF6Z7FGPR4esbTZkwD5ppZRZhW0EjiMpJFJoEBmQiryWckQQ4skyFFhnuRld6i1kFqPJArfSgUf71cGY/ZZF1CsNm3I67vKm/lcKaPRcglNbEzn5Ce8sMqUuNeRf+hOP2irPWH0xsqZAK0LFmQFayz/qkqL5qiHqDcMnhDOECZP5VXCfJk7RI+sPFUzFW70+pSEAavP0WL1SOrz9VVYEmoG4iGYJAVUxwXyVeHXNpjy8ugA== Received: from SmtpServer.Submit by SYZPR01MB7508 with Microsoft SMTP Server id 15.20.7409.15; Sat, 23 Mar 2024 00:38:20 +0000 Received: from ME3PR01MB8322.ausprd01.prod.outlook.com (2603:10c6:220:1b2::7) by SYZPR01MB7508.ausprd01.prod.outlook.com (2603:10c6:10:16d::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7409.15; Sat, 23 Mar 2024 00:38:15 +0000 Received: from SY0PR01MB9149.ausprd01.prod.outlook.com (2603:10c6:10:221::18) by ME3PR01MB8322.ausprd01.prod.outlook.com (2603:10c6:220:1b2::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7409.24; Sat, 23 Mar 2024 00:38:12 +0000 Received: from SY0PR01MB9149.ausprd01.prod.outlook.com ([fe80::5e99:8fb8:5df1:8ad5]) by SY0PR01MB9149.ausprd01.prod.outlook.com ([fe80::5e99:8fb8:5df1:8ad5%5]) with mapi id 15.20.7409.023; Sat, 23 Mar 2024 00:38:12 +0000 Received: from ME3PR01MB5877.ausprd01.prod.outlook.com (2603:10c6:220:e4::8) by MEWPR01MB8989.ausprd01.prod.outlook.com (2603:10c6:220:1f7::19) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7409.24; Fri, 22 Mar 2024 23:34:51 +0000 Received: from ME3PR01MB5877.ausprd01.prod.outlook.com ([fe80::2044:97aa:1d31:3337]) by ME3PR01MB5877.ausprd01.prod.outlook.com ([fe80::2044:97aa:1d31:3337%5]) with mapi id 15.20.7409.023; Fri, 22 Mar 2024 23:34:51 +0000 From: Ross Street To: "Michael Barr, Prof." CC: duskgoo , David Yetter , Categories mailing list Subject: Re: T-algebras in CAT v. categories in T-alg Thread-Topic: T-algebras in CAT v. categories in T-alg Thread-Index: AQHae9UYJdUdcVr2RU2Hy/BJZvTS5LFC1IsAgAEMndyAAIo/bA== Date: Fri, 22 Mar 2024 23:34:51 +0000 Message-ID: References: In-Reply-To: Accept-Language: en-GB, en-US Content-Language: en-GB X-MS-Has-Attach: X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-TNEF-Correlator: arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=dbz7WkIW6YQEAXTrygvuwmytFt3F2ihQBrYnm2XkFal9kOB7XbQ3uMhtyG26C0QA2w9xrudDSrfABOoxv4ozKeLnvrNkZuIdNjR101sP9WMF30CGRSWSMNyxjgQFwGZCDbW+8iyihT4KswGzyLWqyQbKZe+s+7KcWt94ZDJdS0G6JLfaf21q007zG0ZVQnn3btvApyQ1wo5+NZv/0Dl5BnxKbeotIS2QWsMoBSwfoAIlnkoh18vxw/VgLWLhuG007evAiPfwVUkAu/rHM1N1GehFYBmtZPHXUcjzL7+jTs1MO/A7e/elLTVatboG936NMQnD4jWRmV+lh7W+1DuwSg== 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=Mynzi2BPj6NZiJ/6M1CV5qv96r8eboDwi2ICy7dbSIM=; b=jQbxXfNTnhhowM4KjNO0LXFqPk/xtogX+tsZjcYnhn3KScmNfUOU7CJeWg6iZ9UIWmBphESSI0rj/Pou4rtCKPDUtGmLGxgC12N35xOOQtMGdYgzm3swmisn58eZiEtOVU5vwfWLW2kzRbbk5WbRelOT8qIGzsV99Dr7CYcf5agrtkN99Anrgdt7sD8g05cIyqrTJDk9zrGzkVWfwNSPhaJEJOB6W0/ONOVT9yrhiLKK/2nF2K3aNzjUREu7fwIZmrWlubzIyVd9Fo9Yyrz4aXPFqUAx/IkOpsH7rlVjV0UYY6NHhOM7IRyiwHzodY+2auY/UfIo784hR/laaLm/PQ== arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=mq.edu.au; dmarc=pass action=none header.from=mq.edu.au; dkim=pass header.d=mq.edu.au; arc=none authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=mq.edu.au; x-ms-publictraffictype: Email x-ms-traffictypediagnostic: ME3PR01MB5877:EE_|MEWPR01MB8989:EE_|ME3PR01MB8322:EE_|SYZPR01MB7508:EE_ x-ms-office365-filtering-correlation-id: e2af3dfc-cfab-4794-bafd-08dc4ac8aba5 x-moderation-data: 3/23/2024 12:38:10 AM x-ld-processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: XTSomd/svo1vMKcKGrdffPaFpXo61XWjC03LrEbGSuaAPZkyLDyotGu0XMBn0Yzai8PkAZNN00eOhTCleGwa6K184tR2hOsZgzxSBY8msbbGF9BEmwdlNE0uhO0jUADjOkOL5wAj3n4LNWs97xeoPBYlCIbzR9zLuWP1i+Krh7G/UPZbvaRDuykoAfyEzqFdvxjTVqhGGcJmAvb9Vs6ZM//EhyT7xF3uCLGWeo7PFj+f5BOWHaZApxi7xr7LssplFOAh6DQpMUyidD5ih4tz4NxNxQTQNJUN8ADkeUqOO6Jmby5hPkY7YoyJVrze4xuz1eqfMDrUtJlE1T6mCStcwuyotL9ef52qNf7iST8g4V8mSw0yvVR8wO1t6xQQWDm6OwZCTDKnFTPupRG6rdmJs6v1oZ9yJ7oswspiQ9nI/yhzQ4aJ3Xy+qm2yvL8s2WHakjElgQ8qSepZA4V1YCArI64cG/rMBUYbIkPCLljX0uSCzsWQiqHDL/hSADt3YLtEp43z1LM4XUE6H5xlWNKH5ovJUQ5c179KGUirjx0Obqt1g0WlJyQ6GfwgCWWIZrSYNt+qSoZL3SSwHXvelEB1VtPVUJBuuJXH3NUbtbBzc74FdR30ZffENHxIz5mZ5cfwF7zj6e4zwjwDqWd7rjKHyMSozJB3S7Ge6W6knPcexNxmPeVdKnHst4pUlDkfIbedDJea6tCQcFXYbckP0Nm/KE2/XXxNoBv/8gmFFZ6RZ7TEswk+Nx91hF1RNt6Ji7JB x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:;PTR:;CAT:NONE;SFS:(13230031)(7416005)(376005)(366007)(1800799015)(38070700009)(41080700001);DIR:OUT;SFP:1102; x-ms-exchange-crosstenant-fromentityheader: Hosted x-ms-exchange-crosstenant-id: 82c514c1-a717-4087-be06-d40d2070ad52 x-ms-exchange-crosstenant-authsource: ME3PR01MB5877.ausprd01.prod.outlook.com x-ms-exchange-crosstenant-authas: Internal x-ms-exchange-crosstenant-network-message-id: e2af3dfc-cfab-4794-bafd-08dc4ac8aba5 x-ms-exchange-crosstenant-mailboxtype: HOSTED x-ms-exchange-crosstenant-userprincipalname: hTg7RwJtOc/o3CzP0QewHBEh7LfiS2Mldox/GDob+kqOKhwCcXt1vIgSPmmOCN2M95wcoRxoGcptCrTWIEgzGKaGNo2gbVNC4XZ97qV7zIk0JRWym9kAvhSMZuLYOTUa47pi9t3aOoj3EPsBSEO0baluGz7L44nIfl6gkZjYhEzYrEOYxVmCYnRO3pIUmU7/ x-ms-exchange-crosstenant-originalarrivaltime: 23 Mar 2024 00:38:12.2199 (UTC) x-ms-exchange-transport-crosstenantheadersstamped: SYZPR01MB7508 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: 2 x-ms-exchange-antispam-messagedata-0: =?utf-8?B?ejVLTDdrckd4b083MWY1SjJpR2dKN2RuMlVRcW8vU2xaRUlkL0s4SGRDQlkr?= =?utf-8?B?NGtpTDJQTWd2b01LYzBIck5yK1BaNlF4bE9EMEdweHFMNWRGbnViUUpPNFlm?= =?utf-8?B?V0Z4T2poWWNvTjJQYklOdEpEaFEyYVpDaFU0MU9HMER5c3JwRlI1OEVlcGR2?= =?utf-8?B?RE43YlYyd3JwN2Y2a1U3a0FYNmdsUmp0SXBxS1RibHdoMHh2c3NVRE92d241?= =?utf-8?B?TkJmeHByb1MzZDJFZW1PcUp1d3V4eHFqTWpJOXlPcFFWcS9aRldyelFVS2pF?= =?utf-8?B?cldmR3NzT2F6TWNXaFEzR1gzZkRWUGFNbGhlTE9XblpSMkNiakRRZm1QZTZ2?= =?utf-8?B?Zm1NcTRWaXpSaTlKSmdxemJWTVFPb3ltbEZuR0V2Zjh6WW9OUkY1Wmk5eU1H?= =?utf-8?B?bXYwRVB3bzRBUU1rWVRaUUlQWFoweVJ6Z1ZqYmJjSGZsb1ViaW5WTkUraWR0?= =?utf-8?B?SUgyOTBsTTB6YnlEd2dUVDJ2R0dIL0xrMlpZRjk1c015VlMyVjZmU254MGJT?= =?utf-8?B?dU52cG5TbExqUWFGU0ZQUEhvWXNLWEk3RGd1aTk0Z09iMzVYNnlMRXZjbStL?= =?utf-8?B?Y0ZWTi9IcC9Zc1dqZkk2TnZpRGRzWDRrNXVTVXhKUEtLNzNVYjVXTWxabW5t?= =?utf-8?B?K1kvelgvR2Y4VzMzTGE3KzBRUmdDK2ZSVFVPYjFKUTN5TmErcE9XYlEybUhP?= =?utf-8?B?S1RNTis2eS8yS3pjd0lhemRDN0FoRWFpL2VJdGhhUWgwOUU5MUNCakN5Slg4?= =?utf-8?B?bDJHd2tCcTRsTlZLK2VYcm1kTDVFTExOQ041bE5tVzNWdHkreWNiM3RFUWpN?= =?utf-8?B?WmJ5N1Nqd3RLbHF3bTY3VmlLK0pqSklvRzhvSVZXTUpMTG02U1hIaGF2WER3?= =?utf-8?B?TXYrM25EMEpJRE9iOEJwUm1Kdm5CUlYyeWR3VkZIaEovRDhWOFpDeU9GQnBN?= =?utf-8?B?Q2VoNld5dzJVcFN6K2p6M3JUYjJ2UjJtekxqdTRzYVAvTndxUHhMWUczK0x1?= =?utf-8?B?cnlkOXowN0crOHVHaXRLbmx4ZjRzSGdCcXl5NEIrRTJvQ0tOYUVzR2dnSm92?= =?utf-8?B?TTZPOGJNejNXdXViMW9aWXRBWmEyenRaNGJJdDIybmhyc1FJd3liRVg0SmY0?= =?utf-8?B?MlFFTGM1SE9XRnlOMU4weDk0WGpUMDJybm42WThmUjVKcUs5dEJiSnR5VlV6?= =?utf-8?B?U3pUQzFTRzZPeGNwUXZUcHJuSk5lK0JJNStVZTM4NDU0K1VHSUl5UDJsYlhl?= =?utf-8?B?VVo0QWxKOHRYVGxJWmxHd1o4ODFMTkEzVTVSb29QL0pHSXNnL01SNDl4NHZs?= =?utf-8?B?WEU4bFFlNTZEU3BDaFJ3aVc3VHB6NHpCZ015endQRHZwbEcxRjI5a0dJRktX?= =?utf-8?B?US9MSTVZdklYc3lDemNkeWx3L1phTzZPT3RTdFJsSE5UWk1yRzB1bkU1eE9M?= =?utf-8?B?Z1Y2RTljV29pQTZtZGRYc3U0b1hUWGhQNVdaNmh0RzRlR1hYVy9lWXRwWDBk?= =?utf-8?B?ZkdHUnhoZ1lXWmRKSFBGckNjZmV4SS95R2FGOVRsNnNTUXdPQ0g0eFhPUDFk?= =?utf-8?B?SWxqenBJUXFreHlrQzV2eXRCUGVqbCtsL2IzWVR6bDdWTVRKVUtVUHVjNDcr?= =?utf-8?B?YmRwSFd5elhoRmZTRnVGZzlhTmFQZ2REY2k2WWd3VkFVTjBxTkRYZ2IvZUt2?= =?utf-8?B?R2F1eWcrK2xWM0FiVTk0NjAycVRHVUdiZGd0SnpSZU44ZXhhNSs0L3FoeG9w?= =?utf-8?B?QW0yOExDWHE2R3FwejA4YVNlbnlrSGpkVGdEMzlnOFpRSjI4dTQ1T1ZZaUs1?= =?utf-8?B?TDA4L1FlSmhpYjl5N3Nra1lqc3dCRXZ0VjhzU0lyYkFBSHdRamJZYmRGdUZq?= =?utf-8?B?T1lPNzVSbkVhMkdXbUJsTGM3ZnJrQjgrOXgyMUNhaGJqUyt1cnZRRjVBQTVk?= =?utf-8?B?WTgxa08ybW41L3ZtY1phNXJYS0VrUTBIQ1RQMUloRDVFS0FkQTZLSlREWndL?= =?utf-8?B?aEQ0SWJkSUpVb290UExHWEU2QW0rNGhETFIrWE0wMlFMWFFRZVZxSzBNZ00r?= =?utf-8?B?MHY5NXk2MjdsYXNHK0FFL2gwZ0szaEwzdFJVbEJPNlg3V3RVcTVMMU0xUERL?= =?utf-8?B?blFiMG80eUpRem4rRGRTZEVZRzl6UFN1YzdXRzNnT2dzaDZMZUk1VUdYNzR1?= =?utf-8?B?SGdWbFA5ZUExa1VzSEh0WXJaMGZHQnFRY2R4K0hHTnV1VGpJalNlS0pzWktQ?= =?utf-8?B?d3krZUM2LzNWcCthdFQxWisrRmRzZnY2c05pQkREcmkxZTA0bzVFelBTbFZi?= =?utf-8?B?VnNCdmNoL0d4WnhzZEc3QW9CZzlBRXoralJEUmhhUlh2VmdIN2JWcWhTVDZq?= =?utf-8?Q?bx5HIVcd/8exgZqQcdiPtQ3yXDg1PERxt0eRqGaO0mOm/?= x-ms-exchange-antispam-messagedata-1: LnXasuVR7KSb5w== Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-OriginatorOrg: mq.edu.au QnV0IG1vbm9pZHMgZm9yIENhcnRlc2lhbiBwcm9kdWN0IGluIGFiZWxpYW4gZ3JvdXBzIGFyZSBz dGlsbCBhYmVsaWFuIGdyb3VwcyB0b28uDQoNClJlbWVtYmVyIHdoaWNoIG1vbm9pZGFsIHN0cnVj dHVyZSBpcyBpbnZvbHZlZCBpbiB5b3VyIG1vbm9pZCBjb25jZXB0IQ0KDQpSb3NzDQoNClNlbnQg ZnJvbSBteSBpUGhvbmUNCg0KPiBPbiAyMyBNYXIgMjAyNCwgYXQgNjoxNeKAr2FtLCBNaWNoYWVs IEJhcnIsIFByb2YuIDxiYXJyLm1pY2hhZWxAbWNnaWxsLmNhPiB3cm90ZToNCj4NCj4gSSB0aGlu ayBEdXNrbyBpcyByaWdodC4gIE1vbm9pZHMgaW4gdGhlIGNhdGVnb3J5IG9mIGFiZWxpYW4gZ3Jv dXBzIGFyZSByaW5ncyB3aGlsZSBhYmVsaWFuIGdyb3VwcyBpbiB0aGUgY2F0ZWdvcnkgb2YgbW9u b2lkcyBhcmUgc2ltcGx5IGFiZWxpYW4gZ3JvdXBzLg0KDQoNCi0tLS0tLS0tLS0NCg0KWW91J3Jl IHJlY2VpdmluZyB0aGlzIG1lc3NhZ2UgYmVjYXVzZSB5b3UncmUgYSBtZW1iZXIgb2YgdGhlIENh dGVnb3JpZXMgbWFpbGluZyBsaXN0IGdyb3VwIGZyb20gTWFjcXVhcmllIFVuaXZlcnNpdHkuDQoN CkxlYXZlIGdyb3VwOg0KaHR0cHM6Ly9vdXRsb29rLm9mZmljZTM2NS5jb20vb3dhL2NhdGVnb3Jp ZXNAbXEuZWR1LmF1L2dyb3Vwc3Vic2NyaXB0aW9uLmFzaHg/c291cmNlPUVzY2FsYXRlZE1lc3Nh Z2UmYWN0aW9uPWxlYXZlJkd1ZXN0SWQ9NGViOWI0MGMtOWIzYS00OGE1LTk3ODEtODM2ZTVhMTcx ZThiDQo=