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=-0.0 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 13761 invoked from network); 15 Nov 2023 20:50:36 -0000 Received: from mail-sy4aus01on2130.outbound.protection.outlook.com (HELO AUS01-SY4-obe.outbound.protection.outlook.com) (40.107.107.130) by inbox.vuxu.org with ESMTPUTF8; 15 Nov 2023 20:50:36 -0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=TWs4M7PtHO7AAlURSrLbjunXlv8AdIdpImrViZj4d/uf6nWDyUInDL3d3X1yJKpGu/4HSIbNiP9mXL1d5fJVtYFXcCN8iYExv7xbErR0HG41/0EJ4EIhZ4Pc8GyQnH/qxK5TC6Q5Q+jxCwaspIvkGIbrs/77QNOUyDHhqtw4sK34JXbZKFQpf7NRJuigAe53ekhmsilhsRrHZ8rgwXcspIJsga6jAkGOJOLpcAbr/TvyoQwrctHRQCOJzok5m3dVuPm9wsB45IT1iyERgHN51vBRIrJhMt6hDNR6iJAAvfC6RAwPUOOcg7SnOPjcGHfBHJSmuzbG5s3eW7yssOfdcg== 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=8ozj0HS7IdjECSo3zIV4Fxh4ZciWI0cOTzd+6NFj5Ww=; b=Ehus6w2iNaUgbtpoz/BxFNfikSafdyhgsbFKFozz7SL7CRsN8+1A07oiUO5p0S5ypIEE/esPU3RLhe1QIuTHixPPdg9o8As58AonPe/6oTp4vn2cyKBoYGh6MW/++Oi9XYdGjv27BVdp6GUKzf9dOGJDQdKnuU/xdTSVAWIwBB9GHB3MyDYFPl3kjjXA7Q/W7lILUMMsRAawgh0mCRh4fCrdqGulKUm5AzUbRR1MI9Q3iPi4MeWeBJX9Zr0bJuW4IZ1EJxfTgBSa1MxW8xFyh3IFj44aWd4HiZ8GU/tc5xtYapJEyBY7uLT7qvBUS2SmzGjG4gxzNj9BiktvsQt6kQ== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 140.184.230.30) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cs.smu.ca; dmarc=bestguesspass action=none header.from=cs.smu.ca; dkim=none (message not signed); 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=8ozj0HS7IdjECSo3zIV4Fxh4ZciWI0cOTzd+6NFj5Ww=; b=dVvefsUlEZrOp876GM9b6YV/yoH1mf2KXHt861exR3F8ahnPvjhT57xW2N5GCs4LNgeYlR2fXSwIqC/pDXg2n8Xka7foHLsG4BWVfWGyr9uWlax1IH0NhCjRKEmWhqUFzky0eYaXcpqc5k+tBvmjG/bdQID8pd/FnCS/SocorCPcjWHHeu0uBs8CjIdlDt+qogGosg9BVCkz70xnZtCsl5JoFg5fwxDFdxGEn6ykqocR5q1JPMNxGU7AUEw6xZny0sGfp8jvjz3QJ4gPFxYRoSJJUM4Z8tmcofs7MmUvfU3QIkWaidfu1T/ZPuWFW6oX/jCmJMO9jwLET2z3GcdU7w== Received: from SmtpServer.Submit by ME3PR01MB5784 with Microsoft SMTP Server id 15.20.7002.18; Wed, 15 Nov 2023 20:50:32 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=l8/jZ0cztMvAuFbwC7yeazjLoP/kGzjjvU61CufjaVNEgdAOWxw76ez5YGEGOUbqDljHVKc/NmnwEaYUB9UiZwQcrPazlMgpMqG6y+EhvL0tXTuIXPXHRrxFqWxL8iALKGyc4EQQzKgtqzM8zcGQ04EmIkdeVbbXMcP86cwJh5oWIKH6CDo9r9DWuMX0teYbnQJZvpIXsc3jwwb4E66VBeFXF9zKwB+0fKU2RCnyIbZMsZU/zFZw3iv9bxQQRqmESgSkpfqQxXWTyLKJlUXVv/TkHqBPnXdBZPk23vX4YpqfLxSAasif+PqlBjPyUWQC+D6EPU6gqutfuYlbU1wnkA== 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=SlPGKpek7IaicxO1YGulVjEvp3gBE1o/Sh0hd2M1gjs=; b=JasX2wVKJ9uw7jbGVOUQ2wYTOtxv6+edZWC9xOeG6LBRt40NZ5b1cg3PLrIMMrDTkxz7MiRRaQmf/h/XGoU2PJRtSAf2xXzHg3gtzXo/MqxFiHrpIO/zeuH37OyT1HVCQDD2B/Rn3MHpwUeKHWWg0FW+XHsiYGeP/9yqTnu3M+0sfWoT5MXClruSaWESYIo+w6xHrfPgHnzVzoIkfxHKxoQhcDAisarmdsE5j98DLF01xShiEIFA6xWbS0ZUapiXH9/BEsridiWyROwaRz9fqvpI0uEXfvW0nNLQMIfFX3MM8j4T7g4k6okA+1DQTyvYPLCljrMvXDMnHjpiPgsRjg== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 140.184.230.30) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cs.smu.ca; dmarc=bestguesspass action=none header.from=cs.smu.ca; dkim=none (message not signed); arc=pass (0 oda=0 ltdi=0 93) Received: from MEWPR01MB8936.ausprd01.prod.outlook.com (2603:10c6:220:1f4::13) by ME3PR01MB5784.ausprd01.prod.outlook.com (2603:10c6:220:c8::6) 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 20:50:27 +0000 Received: from SY4PR01MB5977.ausprd01.prod.outlook.com (2603:10c6:10:f8::13) by MEWPR01MB8936.ausprd01.prod.outlook.com (2603:10c6:220:1f4::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.20; Wed, 15 Nov 2023 20:50:25 +0000 Received: from SY4PR01MB5977.ausprd01.prod.outlook.com ([fe80::5d45:249f:12f:dc6b]) by SY4PR01MB5977.ausprd01.prod.outlook.com ([fe80::5d45:249f:12f:dc6b%7]) with mapi id 15.20.7002.018; Wed, 15 Nov 2023 20:50:25 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=LV5BZOOe8eCUbJSSeqksSJNn+N9VOYHZZOL0VGNFvvZZbyZfr0MqYdRmh/Jcj8uffQQGI3wRrQLMn45nFjAbsVRwtNZeF0bzqjzxu+JHMtnR8+TzXuY+mLkzhUack+uuwLx6sXK6Q8X9lQY5xomVM/ot/jz1UJTe87awz89TkJy4j33bLao+99pVZhiFLePX4zFmo+T6wf6vqzWcmpaEwYvw1GzZLciQjvqg0+QD6L67BoScZSqVE5RfrB1rcvmsTezolFdjiYhR2M683ZxYnRxrCKWKzcvHtYkS/jasHc13eax13zt2d57HfIG1frLtAXIaxEIrBTOT6+SUFL318Q== 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=SlPGKpek7IaicxO1YGulVjEvp3gBE1o/Sh0hd2M1gjs=; b=fvUgs0sQgr7xkZGvx37pxhnIhTqhaYcvw45EThcpsEPWWLIsRzEjzoTYkJJ/h+6tyTdiLigvxIZ7v0s+512y9gG3DtBpBVcLdbfMAK91crb4zwkwQtuBlFLohIhbUUhlRQhp+09iURDFRYCs7Hiy/J0ik+sUf3fr/jro09DzeNpM2EHXjToc6hpebRFOOxQ6qq/907shuIbdDLsBZBKc+C0EcUEiiEpMBmi15DS0c+W+96v13PVr7zK04X6BvPiyq3iq9dr4cKxN+IFJpv7gEfkZKOEVmoAqJHfMNRCEfDY+GR9swZMYNLk7cKbR8nymOIyKXYhEnNRZI9SfoGJVYw== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 140.184.230.30) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cs.smu.ca; dmarc=bestguesspass action=none header.from=cs.smu.ca; dkim=none (message not signed); arc=pass (0 oda=0 ltdi=0 93) Received: from ME0PR01CA0012.ausprd01.prod.outlook.com (2603:10c6:220:212::21) by SY4PR01MB6281.ausprd01.prod.outlook.com (2603:10c6:10:109::10) 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 03:09:23 +0000 Received: from ME3AUS01FT010.eop-AUS01.prod.protection.outlook.com (2603:10c6:220:212:cafe::28) by ME0PR01CA0012.outlook.office365.com (2603:10c6:220:212::21) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.18 via Frontend Transport; Wed, 15 Nov 2023 03:09:22 +0000 Authentication-Results: spf=pass (sender IP is 140.184.230.30) smtp.mailfrom=cs.smu.ca; dkim=none (message not signed) header.d=none;dmarc=bestguesspass action=none header.from=cs.smu.ca; Received-SPF: Pass (protection.outlook.com: domain of cs.smu.ca designates 140.184.230.30 as permitted sender) receiver=protection.outlook.com; client-ip=140.184.230.30; helo=CS.SMU.CA; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by ME3AUS01FT010.mail.protection.outlook.com (10.114.155.144) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.19 via Frontend Transport; Wed, 15 Nov 2023 03:09:21 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1700017761; 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; bh=SlPGKpek7IaicxO1YGulVjEvp3gBE1o/Sh0hd2M1gjs=; b=ByWHjFu47GV5vHg10j3o4Tjkr//Xd+YAgyPrMuH/wKa1GH16Vtkp/N0iv29NtUJXjWN7Wk u2ksnVzD/uTU51kH5OykKfPh9FMhruKGiBeor3+8/2oXZen7yR5/8Kee1BeyJtP9yaeqzt P5Ff/qZ+GVQxb3tipRX5vPeqQ7eYY3fmdanEA6Td79VLLokJN4A/qD7kC6IuDbpH8/zVes Iwey1iYunVy3hw2bVJNSVmQIjNhCJ8VSdQrpD97FRu35FvxbQbNirJPCqTfNyq/BdCaTnq vCKfw7k5egmeE7sRaSzKZuCMDblC9pS4F2MDK+ohLDGMWWUsmKy/JnX2nDXdIw== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1700017761; a=rsa-sha256; cv=none; b=JdMMMU9I/BK8+8kKw/+U/ZLEOcxqSmSS/C57DSSUGIkszm71cKrUZueVtj9aUvjW/KJ4+C G2tUvaF3jTImvZEL4siQ1yKpEaXKCe62OzHQ4f3mbkJBizt101EVTbKtr9cv1bmYaFAAiJ hCQSK5hNvqqHp37e5txWK3pvDn4pnC4/wlkPbBMABTHFmqRS9ZzmpwCyNNvYu3/qvisJTB bWOpl+XKpNmE92wJWolfY+iyQy6kQ6PikTApUjxTtxHAW5JYhhMJifBkBzs95dJiswtv9b 1JALs3RMU9boFX+Vv2d0hhPt1doQOqVuT7WZwcu1nFHWWJMfyZ/Ok69TzLudOA== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=none; dmarc=none; spf=pass (relay.mimecast.com: domain of dawson@cs.smu.ca designates 140.184.230.30 as permitted sender) smtp.mailfrom=dawson@cs.smu.ca Received: from CS.SMU.CA (cs.smu.ca [140.184.230.30]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-8-xUIqvVcfP6i73C8OeNAb4Q-1; Wed, 15 Nov 2023 14:09:18 +1100 X-MC-Unique: xUIqvVcfP6i73C8OeNAb4Q-1 Received: from localhost (localhost [127.0.0.1]) by CS.SMU.CA (Postfix) with ESMTP id 7248E20427A for ; Tue, 14 Nov 2023 23:09:14 -0400 (AST) Received: from CS.SMU.CA ([127.0.0.1]) by localhost (cs.smu.ca [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id oBE_0ahDxTY6 for ; Tue, 14 Nov 2023 23:09:14 -0400 (AST) Received: by CS.SMU.CA (Postfix, from userid 1005) id 276E62042AD; Tue, 14 Nov 2023 23:09:14 -0400 (AST) Received: from cs.smu.ca (localhost [127.0.0.1]) by CS.SMU.CA (Postfix) with ESMTP id E4FCF204176; Tue, 14 Nov 2023 23:09:12 -0400 (AST) MIME-Version: 1.0 Date: Tue, 14 Nov 2023 23:09:12 -0400 From: dawson To: Dusko Pavlovic CC: categories@mq.edu.au, Ext-FSE Baez - Subject: Re: The game of the name: Standard constructions, triples, monads, fundamental constructions In-Reply-To: References: <2078BAE5-12A8-4871-8DCE-C4B1B8285B02@mq.edu.au> <18B15895-9B03-4B49-9D0E-8448D0FAB283@mq.edu.au> User-Agent: Roundcube Webmail/1.5.0 Message-ID: <992e8e24b33eb7d0068f646f822a1ebf@cs.smu.ca> X-Sender: dawson@cs.smu.ca Authentication-Results-Original: relay.mimecast.com; dkim=none; dmarc=none; spf=pass (relay.mimecast.com: domain of dawson@cs.smu.ca designates 140.184.230.30 as permitted sender) smtp.mailfrom=dawson@cs.smu.ca X-Mimecast-Spam-Score: -4 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=WINDOWS-1252; format=flowed Content-Transfer-Encoding: quoted-printable Return-Path: <> X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[140.184.230.30];domain=CS.SMU.CA X-MS-Exchange-ExternalOriginalInternetSender: ip=[140.184.230.30];domain=CS.SMU.CA X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: ME3AUS01FT010:EE_|SY4PR01MB6281:EE_|MEWPR01MB8936:EE_|ME3PR01MB5784:EE_ X-MS-Office365-Filtering-Correlation-Id: 2271626b-724c-46d0-5931-08dbe58843cb X-Moderation-Data: 11/15/2023 8:50:23 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: lByjm9lhx6/lnVjYvzecng8BCgJxVki1m4/YbloMmCpe7WHc4rRLrn5x63t+G69a09IYPg+xr7evIsPHAhkTgJ6cNOuBn/twGqB/7J+PB67LgI72G7a/LWCpL7eW8k+6/Fb9y/wRH76i+S7UTnxMNvj+44wXValDtBmjT88ZzLYSpR9gljcSBhOoOmQSJY4fxS1DJXefRplmzS7TGXc63qhgGOv/eqEDFKyL3cQBDfO3sVkQZz4TX8qKiR+ffD/dBLID9Y3ITWjmj3oQfRFlj1/gRo4duNUideOwLq54L0mZC2tF03jj+f1CEF1owwhpl0iLuBihjJWvTvAUG3daMksslcuRlLDeDR17zDfD2V4HqkE1dzTK7Qson4KVrnHzmHnmm+ZEQuKq2Est+YFQXQzAUC+d/dGQWYYpd51J7sser/HxQ5GSZ1KPv3Y0gEhNFYBCK22TFjp4yJ0ELF2tKlJlrP4HAaalcleGyiofyxVo3Z9eyLiQeu5ZT1q5UQf8CuMkncFA1iZrUY88Hm7lgFLzDCyymYDSHoXuiA+hGuk+s8RPEUGHdHfBwyW0IkhJK/p1Vt+sLlef3AnT5XPrtaQL0Ce3oNOXdOZvPgtQG1H8W2XfcB3mHwarOXeP1OWLCcPPZXu6k0KrOkOcfd49mJuUPEqCdErKC9z5TPY8whHf/WRbf4mShkHpb4u9vXqmV/zqSP95pHMmMxVCv19r+gXswJ+ot3u8S5XoHe2hT4b5D6vlq+aczEd6a4MYiCh3ZQl5VQYu9XfEBDorRrih9EhGYFLRgb70ZLt6zIDM4xhWZI6lqlY1ucrLNk8HiZl/naYXSxhRGKsfUpoZ2yVO68Hu1uiUauclSXK7tdu6u8iPkxzMgBnVkiKIYuJwDj02Djdc9W3oGVN7N9w8h1WiQQ== X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:CA;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:CS.SMU.CA;PTR:cs.smu.ca;CAT:NONE;SFS:(13230031)(4636009)(39860400002)(396003)(136003)(346002)(376002)(48200799006)(61400799009)(8000799017)(451199024)(64100799003)(82310400011)(40470700004)(32850700003)(68406010)(786003)(6916009)(70586007)(316002)(36756003)(40460700003)(156005)(4326008)(7406005)(7416002)(8936002)(8676002)(7336002)(7366002)(5660300002)(2906002)(4744005)(4001150100001)(7276002)(35950700001)(32650700002)(88732003)(76576003)(89122003)(26005)(498600001)(336012)(7126003)(6266002)(2616005)(426003)(40480700001)(82740400003)(55016003)(7696005)(24736004)(53546011)(86362001)(41300700001)(108616005)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 2271626b-724c-46d0-5931-08dbe58843cb X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ME3AUS01FT010.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 20:50:25.0272 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: fFNQh4cHy0uJ6YPkgyFNeZAZB6pcopuYGAur6d9TfRwCmJ9uRoEcrhAh+acg5hMfL3wQKMJvhCmshA9JIPd0roxLUoIOC1sR6KXQbyux/yoLS3RPaERnyXy2gqj/FViBnHu4k+afbVlXtGiUIFfxbhuINDgt7XYl5vUuBkDa6cCKYyyX169IuIaVnkZ2FfHS X-MS-Exchange-Transport-CrossTenantHeadersStamped: ME3PR01MB5784 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: <992e8e24b33eb7d0068f646f822a1ebf@cs.smu.ca> 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?uXCm4lzwXNGmKaJFvPc1TqXSyQE6LTEjwhvDvytSrwmnb4HPfGuZgoMP?= =?Windows-1252?Q?O3QHx8hULVB+edxxSatkndeMb8O9dlPCYHZZ+uTW0nhRVPWsfFfnump0?= =?Windows-1252?Q?cPRqBncD5lxxl4VF/IchKfqoG7DulcBTm3nwYCvxukIdfCx/ooz/TqgH?= =?Windows-1252?Q?W0hVvVaf/VTyce3yOzBt2Bw3uXq0+M1zRzuNLYlZdMYuVHeiAyO/kGMF?= =?Windows-1252?Q?w3KxlwLUkQeEbGp46vsala9e2Tzf9w5rcBtp/2Y3SWbIzdEVw8stJ/iz?= =?Windows-1252?Q?AUbw4YSeh4u3G/ogIjA61iCa5X19pqHHxo5xyrrdS09a90+FT1MC1DGw?= =?Windows-1252?Q?9JR2bqGM/0WPwtAqdSbhbIbajcg8p5H/gb0lKZciQ1OeoQPGWcG41L0u?= =?Windows-1252?Q?b9SHPa06f3ZCPvdswFdIvEsH70fWq/Bl0ofhBDhXJfCzdjS+WKU4ZNla?= =?Windows-1252?Q?TCmm3x/4kwJmmR3oHOGEUz/wWhYInwY2QumKPA/0va9sfkkZIwIyv2x3?= =?Windows-1252?Q?n9+uyivi4PHf5KKLqivpHccR36cICvHat2Bp8HygW6q1FrZAvhNC+edA?= =?Windows-1252?Q?KcTHRu7kt9n2Xr53uaCRNU7vZ1IA8NKXjJVg+r51aTKfSnJz/1JCJ1Jm?= =?Windows-1252?Q?ANRHe46IF3IW976zE3yni5Wy4QMUL6l4SrkIqkz8BKhQ6rBC/V4ZKWiT?= =?Windows-1252?Q?oSyQz2LnIaZUejXumRQ8Z33bukTo/5TP43y6VtgFgqfuLgu15I5GU0/C?= =?Windows-1252?Q?T7/e6UFjsOCsws8xcfApU30rM6QusdMyUpZNdnlveI4JuBRialYLTLAc?= =?Windows-1252?Q?RxuuV3GZInV76IsqTckJKBKRlaUr3wsGvZpTqj/P22lBMahOAnEAGNOO?= =?Windows-1252?Q?VIAgGvRFFfe/1EBxqZyxRAmlKHxByRJevG+TkW0hcmWU1BKkfaxE88Zk?= =?Windows-1252?Q?NS13Uv0dF0Q3HeS1nom3qjqNoa+omBt04NgyyrxJhq+Wuxi52LfwWpn3?= =?Windows-1252?Q?/RVtan5KVAfkJru4cw9J8gYCOEp4U0d2c0AA0pOG0egGfAIvdFxUUfNA?= =?Windows-1252?Q?XBq4c6uwKjIwooswCvPJz8tnYw+let1v7IwrbzwyKiUMLnw1Gni7ES59?= =?Windows-1252?Q?tumdcFWG8nkKCZ5G/aBHm+oJg8eDS51wEenXtnYaeDY7BJbrN4EZWFEn?= =?Windows-1252?Q?GlNSwiO/fjrqw8SlIPAs+rChXWJI+AwXAW4W9tvYV0WeUU3/n6YTrbX6?= =?Windows-1252?Q?tbAEkqB8vIgatVVP7pzV2Q8kRl+KuhJQHQ/X4+sbAi9f/kp6DgoOizRD?= =?Windows-1252?Q?kI4dtcB67HcTOkS25ayJYXvEJhvi2V0dVmLDQSySIDvFr1rc?= X-OriginatorOrg: mq.edu.au On 2023-11-14 17:11, Dusko Pavlovic wrote: > so it is a little ironic to find on the other end the history of > mathematics being the tricky part. Oh, I don't know! This interesting and important question seems to have taken a few thousand words and a few person-hours to resolve, apparently to everybody's satisfaction. Many a question in (for instance) category theory requires (at least) twice as many words, ten times the time, and a bundle of commutative diagrams. But it's not a contest. We can (and should) do both. Best wishes to all, Robert ---------- 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