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.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: (qmail 3072 invoked from network); 9 Nov 2023 05:09:13 -0000 Received: from mail-sy4aus01hn2215.outbound.protection.outlook.com (HELO AUS01-SY4-obe.outbound.protection.outlook.com) (52.100.199.215) by inbox.vuxu.org with ESMTPUTF8; 9 Nov 2023 05:09:13 -0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=aFL0rWhW0oDPxlEyras7BiuEGRKDcg1uO9n5PPdUSAR8sjy6z4NBAqjuMAC5R1oyQVJkg/jTUfdBGsgsF/n2y0a4w0sr/RIZpRPtCs2tCvzVHfDgEt9/m5zYaRcB5gK41/kheArloeowfNQj4GxJ5f7x7UZqw/Gddiaa1MidgHLbz44VeheRQ4EndWRc/rPurb20rsTQiMdazTIiYYiFDYrOxawi5dFJmGu1Bx66qQZZP4SbloRlOCLTlH8vxcLju7YkwSxuQWamIw4yMRg5sZ0An/TdThUOs0ZlksrgaYMRVpK4EmwPyy1feelqPkuz1C427r7Revz0pDYYazQVyw== 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=enJREBsBgIonAOkFqYT5NgEEBTzRs/OVTcbSzCWbJhI=; b=nIZ0fGnPPFrvcselWcEYkgf7Ht8MleBkTc6cgxDAtnLq0ewmvHhIcLRWV2Gfn97NY0QJ6+GX7Nk6z0lKrA4xtEjvEJYvNWXM2AIZMqyBUcfc+P1g9feu2utIaPaDWrPFS+Z5lLvJctHWjzzB72XwYK+bUHPEf8H3ESRL8EIE1XWmzXAhTIzWCxmSKJteb3lQjMU6w3tGZkGAtc3DdnymiZy2w3K6AIYCVYr6UksF1IfP8c8/I7tJ2y3kjwt7+dmcPEufbhZXZmM2aotJ365A2DwqWDeoneXn4Q75e0wHf7C7KytUXcp6Y5g7i0eD1ANHJqSErqajmr5Mzcjtq7Yn+g== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.221.49) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=googlemail.com; dmarc=pass (p=quarantine sp=quarantine pct=100) action=none header.from=googlemail.com; dkim=fail (body hash did not verify) header.d=googlemail.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=enJREBsBgIonAOkFqYT5NgEEBTzRs/OVTcbSzCWbJhI=; b=ualWbpFVKmGDhF2kdSo4cz/kGrGZuGBNW9VmYzSaSBxUZhjWck1EcpMf8FZfoWrlFJoxaT+1eS34Uy+uMZhijAidoIZ/NyVpDL1xxer4xAmeFqWC4sn+jF3ADhNI+z67yVBRPmPk4N84ZA1TSLls1TeAJrj5DuFOtEpOnFpyd91nvHVddN3rQnotnpWiQsl/+4UXv3YvZsDmHub11+/8FaUppMugt9SAcyAeO0hkHUuIWTLipnzlqOgjLgBefB6YMI17HUdvN3gWBGfEEHxxaMhekRYoSRlV+u7r1Tkpch88XvYjaY6oWoaanBrCNLflqKQ3GbvrXHmEJz9QNsWOmA== Received: from SmtpServer.Submit by ME2PR01MB5650 with Microsoft SMTP Server id 15.20.6977.18; Thu, 9 Nov 2023 05:09:10 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=ZPQxAOisRs106EdWXc0RzuVMRetaQgZ9jzmuAwgw2K5NNWlhOBjnkU/9m3bXZUQc8MGqJYWgO+RN1x3Z9gq9amMiY4tnrwQ5zLSk4pDL1BDrH8gcjgvDIBeTECn/zVes5hs9kPMC62y9qJ27KKNumNDm9KkfKdS2OUw0uDQREUTvX8m9x8bhR0USYm0R+leDCJVzi8F72tNd6GkS0j+bapGUFZ2t48VvHbayzvwfiVMjFjDI2lbtMuTIE3hJeFQta1l4VvVzvsFTbnOHcLM8UgzcWarAyozEG02uixqBN1Us5aZBXAZ/P6zPfdgvy7lj4b7KqjxooAYGrr9r97YJ6Q== 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=HFT3z0qqYt3//P7yMcNHvTKu3voThKYAbPQGcwWqvE4=; b=A5fUPVF7f6aE3YNd+Z6L3p/7hkA63Z3IMkNvo5WOXliTorSb+SHZvi9zv1PX2tPgOLen6uT97nICPzvWXRpKTTGBoQuPClDBhJvW2ygsiFjDoy97bkEducQGMtnOyx7S1ElLOtZMoqpOZggzFOq2TsGvHhUvLhB6dvplyENY9z28ZSaPN//TcQ4QEZT5hb6aCfGbA4U7p9agEvhS6xbGkF6HLp002NUCec8kmgUx89/OZfR01MQW3zZ9/yhEe7FFqxd3HxFspWo7B34BDWJ0g4G9C+Z7SQMNy40yRBPaWPhPouMm+KfzjyfrzSaLHpxf8kOSLapuUISZRFLkeEYMjw== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.221.49) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=googlemail.com; dmarc=pass (p=quarantine sp=quarantine pct=100) action=none header.from=googlemail.com; dkim=fail (body hash did not verify) header.d=googlemail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from ME2PR01MB5556.ausprd01.prod.outlook.com (2603:10c6:220:d3::13) by ME2PR01MB5650.ausprd01.prod.outlook.com (2603:10c6:220:d6::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6977.18; Thu, 9 Nov 2023 05:09:04 +0000 Received: from MEAPR01MB2632.ausprd01.prod.outlook.com (2603:10c6:201:11::21) by ME2PR01MB5556.ausprd01.prod.outlook.com (2603:10c6:220:d3::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6977.18; Thu, 9 Nov 2023 05:09:01 +0000 Received: from MEAPR01MB2632.ausprd01.prod.outlook.com ([fe80::d3a7:95fd:7466:f863]) by MEAPR01MB2632.ausprd01.prod.outlook.com ([fe80::d3a7:95fd:7466:f863%6]) with mapi id 15.20.6954.027; Thu, 9 Nov 2023 05:09:01 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=m/Pcq7Cx3TRwroTDfLB+95BgpqT+kXv7dcXmC9kFvEZXzXRhn0g6m/oPP8zzNsKxaq4U6dPAHw7oIVH2bnAi4eKSG6Wiv7ieyvtn4UrpSMgvBxPjBIefKXZjaV+kkUfiM0vLwof7IyJU03zhTGBvwKsgZ5zlAg+dM9D+ceEyDcTGW2NdAD4dLDdjEuv58B6F8rwiaNabRfrynKxNZmpluiGId2FEwArtEVJJq9Yz2ZQyqSeiv+cQrNdb0zr2k/B80XBU+bgVuckyoq0Y55FK0u6ynUTVgmahhDOppoUjcFiu1FCRwB6Vygl1ake4BgIqUOu4JKuW1Z4ftj25Vjduxg== 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=HFT3z0qqYt3//P7yMcNHvTKu3voThKYAbPQGcwWqvE4=; b=PHqkLz+j43zILmK5+QgcntRXPhwzcx3EmGZFCrQdHXAmab4AQKI5oatKRKmfmJArshQ2AdSQy2TnPOwWsMdP6RqdAZz4BnSGwe5Mt8EPgXz9EYFGCUOd+E3Uh4hGbryAUFteUT+UWoeNAtSHmOVUFpT6n/wwTxKuPK0JSB4prTL0eODkZlqtBDF7cqKvVDLMUxfCOOniB83PG7uagPgaqpxVKeioVVXw3n7ju7OTCQbgdTey9jYx1E6hJitGc41G34g+Pys4kbv7P4AmT0ica5iH1WLFa/atqIm5OJkRyIdj+HCBd1M3UQDGXx1hOpETxGlFTG/KgJy33oBkPzM+9g== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.221.49) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=googlemail.com; dmarc=pass (p=quarantine sp=quarantine pct=100) action=none header.from=googlemail.com; dkim=fail (body hash did not verify) header.d=googlemail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SYBPR01CA0057.ausprd01.prod.outlook.com (2603:10c6:10:2::21) by SY7PR01MB8787.ausprd01.prod.outlook.com (2603:10c6:10:217::17) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6977.18; Thu, 9 Nov 2023 04:26:50 +0000 Received: from SY4AUS01FT018.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:2:cafe::41) by SYBPR01CA0057.outlook.office365.com (2603:10c6:10:2::21) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6977.19 via Frontend Transport; Thu, 9 Nov 2023 04:26:50 +0000 Authentication-Results: spf=pass (sender IP is 209.85.221.49) smtp.mailfrom=googlemail.com; dkim=fail (body hash did not verify) header.d=googlemail.com;dmarc=pass action=none header.from=googlemail.com; Received-SPF: Pass (protection.outlook.com: domain of googlemail.com designates 209.85.221.49 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.221.49; helo=mail-wr1-f49.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by SY4AUS01FT018.mail.protection.outlook.com (10.114.156.133) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6977.19 via Frontend Transport; Thu, 9 Nov 2023 04:26:49 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1699504009; 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=HFT3z0qqYt3//P7yMcNHvTKu3voThKYAbPQGcwWqvE4=; b=gBeMbYDeSAqSL/t60nmGg4ZgyGV2zJj2Rb/3cXeW2B+VBEW4BQ5rXgBs01TACexqfV5ir1 P82WKUVFNS2EZ7uWHUGOp1Z86OZi6qsuo+HuLn+ss2A2nnLhVJptqRzW+0Ez8ryKLAd9Uy 82VGn3Oux0mQWNauQeZrbJPVqg+rFLCv59tO5EVVPSf3kN9WGjaQ46oD1XadtCd7wS2nTx kGxcgdupjFO7oS8tEnNljZs00HZkk9D+9EpJ91m3PL2TKddIRYinrZz6Oa1d3/l3KhKoMq fA4Vaz191h4AflLVAEgm2ROXzf8MOsH8G7Cj5Wtbk45GuDFa+7KeCdtXqZUHRQ== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1699504009; a=rsa-sha256; cv=none; b=HJ2oML71GpC50iuTJRgnoxwVZFiluYVDbYBlpE0RDRbABDCNMPaKPE/cp4BKH5TTjVgjL3 OfMjwIhJV0a/1IwrBRAOPfj7GfrSz5ZI/NqVJA3b71wdF31029XOxUuo2bm2A9HDev28i9 O1HXEZGdHKVe25FBn0V2IR6yxthP0PIIAkU1afEkKo9Ec/WBpH6wMWZQ5i0fM0tMUENhXg ezKr5dEsPs05Th8poQStF/zlzMoWtLbQ7ARpWwWvmcHKBMzk58u3AOHmWFefBFUY7QF8FD K23bSHaWRWPm9v7w8QFo7FzeqJHfarFE9h8hG4NXtOX/VqDKA3n1yiDl1+woxg== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=googlemail.com header.s=20230601 header.b=E5f0+z+j; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of urs.schreiber@googlemail.com designates 209.85.221.49 as permitted sender) smtp.mailfrom=urs.schreiber@googlemail.com Received: from mail-wr1-f49.google.com (mail-wr1-f49.google.com [209.85.221.49]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-38-T1L0-CJPN1ucK0zdeVNBXQ-1; Thu, 09 Nov 2023 15:26:46 +1100 X-MC-Unique: T1L0-CJPN1ucK0zdeVNBXQ-1 Received: by mail-wr1-f49.google.com with SMTP id ffacd0b85a97d-32dc918d454so222315f8f.2 for ; Wed, 08 Nov 2023 20:26:46 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20230601; t=1699504004; x=1700108804; 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=0ZrPgQc0QfTSSeOOye2BEuJocw3EtJ7z8ahS4X4YKeI=; b=E5f0+z+jgPBIIiy7fD7+o4/6VCoR9qIKaFzCGRSTv3f5s5aJe20u3M/gDiGyQrHhwl c8ncYrZ7ZLLWV4IZGut4YutKQ+7PXikJ12sZNNMZMl+QSuAm0Xi21sysRS2OwGc3y3pQ iOSif1GBLjXSGsC9Ac0pbytUMeG978RosHvqIyYknPvgysWvsQMN1OYsiZHFf+kyZdsN NgDThGXwrYSaWKTD2CNdbpsBjGwenY1i18GDV69e+N9K01Kvfpn59pjwcOIAH8Dnc6hk T71mv88eixj7HxPSq/OIuYJVW0Dl/HbIL4IVZCRMsUtJAabtNb2IAe3H1i4nIeWKafIy Sh8g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1699504004; x=1700108804; 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=0ZrPgQc0QfTSSeOOye2BEuJocw3EtJ7z8ahS4X4YKeI=; b=VnTh+N02AfNX0jrt7Z0ddtvzDlW1/QPvh1ALRHvkBECygiWm13rTB5gDYUaK7tZmz6 T17g7S+lxaCo9hkqUmF/Ou4kFJl/nsidW8ffV4AMn3KfG3xa09FmqCszLU0QcOPnmiKf 8+U5XcIo3aDKMHNb23BG2NBhQndYjkHFQ5kB+g4U1dzD9x47JA1O0QSYnvuMPMqgx35d NcZuOgpT/T57SLrO1Kf9iIcpyfKHUcZoUGGDZqoXreD3izsa0k+R1rQY8kfSbq8XnpxK yjCY25Zex5a3DRgLMEYyhS64n4+WeYm+05+si2xXHA5A3V/uLLgJNOD/79QWlDr98Ok3 pP8g== X-Gm-Message-State: AOJu0YwNKZmTD3F9pJvaifzZ3/+XG/QrAOYcRdgmk/PNWhXgVaxmFtwO aDU15nHTy0liuK0mLzmIgGr3ox455tEHojEXwJUPRQTB1PA= X-Google-Smtp-Source: AGHT+IETK7I/DE+/aubn/2oEJ93TVPE9TTYkTrEdXWbfkocq9mPSXYXU9WSJcCQUHsANjjCXzwrJNi2cTYUzfGCNhqM= X-Received: by 2002:a5d:64e6:0:b0:32f:81f6:99ff with SMTP id g6-20020a5d64e6000000b0032f81f699ffmr2949102wri.58.1699504003411; Wed, 08 Nov 2023 20:26:43 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Urs Schreiber Date: Thu, 9 Nov 2023 08:26:32 +0400 Message-ID: Subject: Re: The game of the name: Standard constructions, triples, monads, fundamental constructions To: "Michael Barr, Prof." CC: "categories@mq.edu.au" Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=googlemail.com header.s=20230601 header.b=E5f0+z+j; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of urs.schreiber@googlemail.com designates 209.85.221.49 as permitted sender) smtp.mailfrom=urs.schreiber@googlemail.com 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: multipart/alternative; boundary="0000000000006af2600609b09c38" Return-Path: <> X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.221.49];domain=mail-wr1-f49.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.221.49];domain=mail-wr1-f49.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY4AUS01FT018:EE_|SY7PR01MB8787:EE_|ME2PR01MB5556:EE_|ME2PR01MB5650:EE_ X-MS-Office365-Filtering-Correlation-Id: 6d46df60-cda4-4bbb-691b-08dbe0dc17c8 X-Moderation-Data: 11/9/2023 5:08:59 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: BTBFclIjstzlSniQnR3hdhW5OWyb03h6ewWV0obqxKaxs7q3saPHYMTBfV8GGVHT7afVerYvPKpficg2ssJgjYQ9DlsyHcH11GGZRESqUsjym8ubFVGYvf4VLyoSWXJbLgDRu3Br/RgY5lDwz+7cJ3wRlvf0XGDoeK+I61h3MvBXZCl6KpbsU/rMLKreoGe9BGFrM389n8i7uuhM/l25BG8OLyKbEnmDwTMhShtmKaP+eoRz0Jw6JYc5s7C//alOKuGw+AYBDEl0Bs1QMEKqvQBGL+ECP/4buRblx6XNkkK4Jr9W101EUyiexBPBjf65s7kZN11aJOyxDxe1oF+iHBP3r1pkNy832Zfp6XwFnxyW7rlochse1jkQZQ4mkTm+0MhQxz0V3GXUW8VlItiGV1q7A9HiY5XY2O3PgoW57X+os29JDbrxKkNX++EV4JSZDUv53QNB6YNZchG+h4gNKwMu5N4e2WKyzBeUn+XKEpHSxjpia1LKMi52zkzz98ohxUsqwIM85/emQdD1Fw2X2jWm0EizXpIodFRIvf3qIaCuHkQhhwIvxGCYSDtBqw3VUQLbqCwP7WRQM1oNT+JMu1bJYLs+li3UXkWdPGT7Fvu7ujQMxgA1SKPuHD7CdgM47K874IJnkBHQhXpM4Fqj9XPOjKEK8q5NLBLDFSDWQEJBCYJyysJS4/ebIenZB6Su/h80x+OQJaj970S2XIey4NSPFnvTm9cEDASnTNEOXQIHUG23ctKHPq5gcBwPyH6xpEZk/38eLXSIdj1cZvYf0/p9qcGMR0EENdTl37ldSUsSNw+y5Ir6/iHN0NuG4l4pIe8RR9qzyYaAlcUATF+vLGmv46MFIgdjag8lUp5mQw4CylI3uK5dTYZHJ+jGec52YGBPJYSWAlgaqjc503J7Tsw4/32KAWM0gXCyNTnCAIveLH/k6hJqj9URszd/Q+Z3 X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-wr1-f49.google.com;PTR:mail-wr1-f49.google.com;CAT:NONE;SFS:(13230031)(4636009)(376002)(346002)(396003)(39860400002)(136003)(451199024)(64100799003)(82310400011)(48200799006)(1800799009)(8000799017)(40470700004)(40480700001)(32850700003)(156005)(41110700001)(6666004)(33964004)(53546011)(45080400002)(7596003)(83380400001)(7636003)(32650700002)(166002)(35950700001)(26005)(40460700003)(82740400003)(9686003)(66574015)(8676002)(7276002)(7366002)(86362001)(7416002)(41300700001)(7336002)(7406005)(2906002)(5660300002)(6862004)(55446002)(44832011)(4326008)(76482006)(70586007)(42186006)(68406010)(786003)(316002)(88732003)(82202003)(336012)(966005)(76576003)(498600001)(89122003)(8936002)(41080700001)(41090700016);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 6d46df60-cda4-4bbb-691b-08dbe0dc17c8 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT018.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 09 Nov 2023 05:09:01.5304 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: VvEP5xLBL50rs7lLYGMYGx+CnU9oXMoAznQjN2TNub8vOro36KjqFWu0cwDsXOR/VYWli6fHue3o1iCjVw+cEr8V344A/USIzZuGL4R4ABJiymlKRfUMLS5kTUHcU0wvrw0FVFQ9TSTkUGAfaepxufpklL8OEs72umJTe1dxegKArble9gjjhBLEuaImJ91z X-MS-Exchange-Transport-CrossTenantHeadersStamped: ME2PR01MB5650 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?Z2dvejQ0eG1lSDAvV040K3BSNlN6U2VxQWlYVExvYlVvakMvYkR3QmVQZFBW?= =?utf-8?B?VWZyZ0RUYTIrUnJncXhRdGVpakZOTmh5bWNiR2VSSkJON3FWanovQXhVZXlE?= =?utf-8?B?TmZadTg2a1FHdVBLZUw3c0J2S2ZTSmQ2aFNuK0hkSGFnM2NtUlc1azhYdkp1?= =?utf-8?B?NVA3N1BTeUdYOTZydXZFRExqNGd0QjN5RjlFYnJZVTBocUIrZU9RQU9GOGpS?= =?utf-8?B?VDgwQisrbWFnOG1rZXEraEZJanVnWFFCQ3RYazBjWHVTeWJJRHkrK2xFcDFt?= =?utf-8?B?TWN2Z2JUaXJCeFk5VXlOZDJzUkJPQTRySmttZkQvVGsrc2RhUWhBczhzTVFH?= =?utf-8?B?RWFQS0czbWtvWkVZQmd5VWhiY2x6bFc2eWVTYnBxdk15YzVmVGpjK0NzalVi?= =?utf-8?B?eTNjaUZubGw3ck9lQ0ZSZjhlMmI2c3IrMzRGWm4rWVJhZmhSVEFpV0w0QnRI?= =?utf-8?B?ZGJHbHJIVVZiUXMzQXdqVG5EZXlMT3QzWVJ4dFBsU3FNczZRTlNHOWdUOE1p?= =?utf-8?B?YUt4YmViQks1M3grOWkvckkvN0FsZ3ZnaThORXBmV1NsQ2xRRnFOM3NITGhx?= =?utf-8?B?NFdaOHhWUFF3eE5Kdld6QlJhblFKWTh6Q1BGNUxraFF5ZUFrK3FrOXVDV1Rq?= =?utf-8?B?VmVzSW95RXBnNEt5QWRNMFhFT2VoK0NRNURGenNKRUlIdG55Q0g5Y21CcFdv?= =?utf-8?B?NFpYTTVUTVpDTWpveVEzd0JTNU9vRXZlTjZRZmtHYnRnd0tIOFFHOFpsRVEr?= =?utf-8?B?bkU2emdWTStQSVlNYXExb2xuemVIejVYRWRac1Q0SXIvOVpaMW9wZ2F4b1RW?= =?utf-8?B?anJNN01SUkxEckZWSEQ3YWE3MnNqZVBwdmZmZy8yLzVCUklQQjlqaHF3R3pk?= =?utf-8?B?RjlDQUtUczd5SGhCT2l2S1pqVVcyTlZMeFQ4cXpRM3ZKT2J5aEZSMFJzb1I1?= =?utf-8?B?TjdWSXdQR2I0MVNPOVZtRHdObmNPbGFnM2FkcTlaRkJOdkx3MVdTWUpwM1Vk?= =?utf-8?B?Z2VkZ0dFN1E3ZFFkK3RocldRNkhLTk1uTkdQMzJIRi9yOUpDQXo5R3JBNlZW?= =?utf-8?B?WE5MbE0xeTBKNmxVOEE0Vmk1NVBRbHkwYldhc1hoU25aRXRCb0tyVUdhL2k5?= =?utf-8?B?U0F4NGEvTm9sUFlZVVMyOHNaRE9OcndUSjlzRkM1NVFkTjk5aytBNGdoVkF5?= =?utf-8?B?Mzd4UFdOUlpReEMyYlA5NEE2cVIxTTBYOVB4ZE56M0RFL2pOdnFXVE5oZ2Vh?= =?utf-8?B?alB2cTJWV1NLUFhsS1ZiMmNLaGNIaTdzTTQ0RVcyUEs3bExPSDRpM0piSy9v?= =?utf-8?B?U3o2bzV1Ti9taGVZRUJQclQ3eDl4ODFydXpsYTFUZkxwWlZOd3Jud1M2L25s?= =?utf-8?B?UXorNWlXYmczejJLTmFCRjNLdG1NMTZlOXh4dStYNEFSdnRLY0tkK1NzdkM2?= =?utf-8?B?N3J4eWJpdzRUbEdGbjJNUWc1TVFiWFZ3bzExai9sc2VhKzhGd1NUUzl4dys4?= =?utf-8?B?L2JxL0l1aTVpV3lPbWRNUWkvMTdrRmUwQU82cmRUT3AyUUJhTTY2R21Pbzlq?= =?utf-8?B?SUFoT0RYRG8zRERQcnpmL3doMktlbWF2UTlDYXFmWFdEL2tlb1pSbUg2cnVL?= =?utf-8?B?ZDJPREl0MjBSbDA4U3VrVlpPNEl1YjRia3FTc1F3SUxKY0pLaFBTeEFmNURP?= =?utf-8?B?cnpTQVBIME9yQU1Ya25jUXhEYTZvM1VoMUFCbEpGa1dJV09XUlpiSVE4eUM4?= =?utf-8?B?OU0wVk43M0FIUEFmTzR2STRRcXZoa2pEb2VIN21DMXZocFJIeVhOOHlOeVVm?= =?utf-8?B?N2t4ckpIOUJ4c3FKbVRJUjJSSjE3WldrMS9tSkdkTEV4SWtwejdjd1VmQUkz?= =?utf-8?B?RjRzMnk2dkU1S0MxZ05zQ1I2aWlxSTJPQXNvMU85OHM0WW1tRmE0YnRVTGo3?= =?utf-8?Q?QDLadVLw/j0IVkvA0MxU8QT1UhyaYp+J?= X-OriginatorOrg: mq.edu.au --0000000000006af2600609b09c38 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Just to note that in 2009 on this same list, the lunch-genesis of "monad" w= as attributed to Jean Benabou, see Barr 2009 https://ncatlab.org/nlab/show/monad#Barr09 Indeed, in print the term was introduced by Benabou 1967: "Introduction to Bicategories" (section 5.4) together with the astute observation that monads are the lax images of 1 and thus quite the 2-categorical version of the units=3Dmonads of Euclid. https://ncatlab.org/nlab/show/monad+terminology On Thu, Nov 9, 2023 at 1:22=E2=80=AFAM Michael Barr, Prof. > wrote: People seemed to enjoy my history of the founding of TAC, so I thought you = might enjoy my sharing of other historical notes. This construction was introduced in Godement's book Th=C3=A9orie des faisce= aux in connection with his resolution of sheaves by "faisceaux mous" (soft = sheaves) which are an injective class. He called this "la construction sta= ndarde". It is not clear whether this was intended to name them or merely = describe them. At any rate, around 1960, Benno Eckmann and his students took as a name and called them standard con= structions. One of the students, Peter Huber, told me that they were havin= g trouble, in particular cases, verifying the associative law. And then he= noticed that in all the cases he knew, the functor T had the form UF, wher= e F --| U. He wondered if every adjoint pair gave rise to a standard const= ruction and proved that it did. Then another student, Heinrich Kleisli, sh= owed that the converse was also true. That gave us the well-known Kleisli = construction. In 1963 Samuel Eilenberg and John Moore published a monograph called Founda= tions of Relative Homological Algebra in which they used this construction = as basic. Only they didn't call them standard constructions; they called t= hem triples. I once asked Sammy why and he replied that it didn't seem lik= e an important concept and it didn't seem worth it to spend a lot of time w= orrying about the name. This is in stark contrast with the time he and Hen= ri Cartan spent thinking about the name for their basic sequences. There i= s a story, perhaps apocryphal, that their book was in proof stage before th= ey settled on the exact name. So triple was name Jon Beck and I were using in our joint work on homologic= al algebra. Then in 1966 there was a category meeting in Oberwohlfach and = there was a lot of discussion of a better name. The next bit of the story = comes out of my extremely fallible memory and could well be mistaken. One = day at lunch I was sitting next to Anders Koch and he asked what I thought = about the name monad. I thought (and still think!) it was a pretty good na= me and so he proposed it and the assembled crowd agreed and adopted it. I = would have too, but Jon rejected it. Why, I asked him. He did not think i= t a good name and refused to use it. He said there was no point in replaci= ng one bad name by another. Since we were collaborating and since he was e= ven more stubborn than me, that's they way it was. In our papers, Jon insi= sted on putting functions to the right of their arguments, just like revers= e Polish. Then we stopped collaborating and, by 1980, I think I was about ready to st= art using monad. But then TTT came along and the alliteration was just too= good to pass up. Charles Wells agreed on those grounds. And what about fundamental construction? I spent six and a half months at = the ETH in Zurich. A few days after I arrived, I got a phone call from Pet= er Huber, the aforementioned former student of Eckmann's. He had just rece= ived from Math Reviews a paper written by Jean-Marie Maranda that used that= term for the concept and Huber asked me if there was any way to stop that = proliferation of names. As far as I know, that was the only place that ter= m was ever used. Michael 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 --0000000000006af2600609b09c38 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Just to note that in 2009 on this same list, the lunch-gen= esis of "monad" was attributed to Jean Benabou, see
 

Indeed, in print the term was introduced by 

  Benabou 1967: "Introduction to Bicategories" (section= 5.4) 

together with the astute observation that monads are the lax images of= 1 
and thus quite the 2-categorical version of the units=3Dmonads of Eucl= id.




On Thu, Nov 9, 2023 at 1:22=E2=80=AFA= M Michael Barr, Prof. <barr.mi= chael@mcgill.ca> wrote:
People seemed to enjoy my history of the founding of TAC, so I thought you = might enjoy my sharing of other historical notes.

This construction was introduced in Godement's book Th=C3=A9orie des faisce= aux in connection with his resolution of sheaves by "faisceaux mous&qu= ot; (soft sheaves) which are an injective class.  He called this "= ;la construction standarde".  It is not clear whether this was intended to name them or merely describe them.  At any rate, arou= nd 1960,

 Benno Eckmann and his students took as a name and called them standar= d constructions.  One of the students, Peter Huber, told me that they = were having trouble, in particular cases, verifying the associative law.&nb= sp; And then he noticed that in all the cases he knew, the functor T had the form UF, where F --| U.  He wondered if e= very adjoint pair gave rise to a standard construction and proved that it d= id.  Then another student, Heinrich Kleisli, showed that the converse = was also true.  That gave us the well-known Kleisli construction. 

In 1963 Samuel Eilenberg and John Moore published a monograph called Founda= tions of Relative Homological Algebra in which they used this construction = as basic.  Only they didn't call them standard constructions; they cal= led them triples.  I once asked Sammy why and he replied that it didn't seem like an important concept and it di= dn't seem worth it to spend a lot of time worrying about the name.  Th= is is in stark contrast with the time he and Henri Cartan spent thinking ab= out the name for their basic sequences.  There is a story, perhaps apocryphal, that their book was in proof stage b= efore they settled on the exact name.

So triple was name Jon Beck and I were using in our joint work on homologic= al algebra.  Then in 1966 there was a category meeting in Oberwohlfach= and there was a lot of discussion of a better name.  The next bit of = the story comes out of my extremely fallible memory and could well be mistaken.  One day at lunch I was sitting ne= xt to Anders Koch and he asked what I thought about the name monad.  I= thought (and still think!) it was a pretty good name and so he proposed it= and the assembled crowd agreed and adopted it.  I would have too, but Jon rejected it.  Why, I asked him.&n= bsp; He did not think it a good name and refused to use it.  He said t= here was no point in replacing one bad name by another.  Since we were= collaborating and since he was even more stubborn than me, that's they way it was.  In our papers, Jon insisted on putting funct= ions to the right of their arguments, just like reverse Polish. 

Then we stopped collaborating and, by 1980, I think I was about ready to st= art using monad.  But then TTT came along and the alliteration was jus= t too good to pass up.  Charles Wells agreed on those grounds.

And what about fundamental construction?  I spent six and a half month= s at the ETH in Zurich.  A few days after I arrived, I got a phone cal= l from Peter Huber, the aforementioned former student of Eckmann's.  H= e had just received from Math Reviews a paper written by Jean-Marie Maranda that used that term for the concept and Huber asked = me if there was any way to stop that proliferation of names.  As far a= s I know, that was the only place that term was ever used.

Michael

 
 
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 g= roup files &nbs= p; |   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
 
--0000000000006af2600609b09c38--