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 14830 invoked from network); 12 Nov 2023 22:02:50 -0000 Received: from mail-sy4aus01hn2239.outbound.protection.outlook.com (HELO AUS01-SY4-obe.outbound.protection.outlook.com) (52.100.199.239) by inbox.vuxu.org with ESMTPUTF8; 12 Nov 2023 22:02:50 -0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=MJHHzkzLKeU8jO6Ejyr4FOLSUFwx3kEjNmpZlFJPBslHkpzQir1KyRbEbzNqUE2HslrINXOUJfrYRHF4owHuvsguubgw1jNFAngT/SsIbureq8STBv5qBL5ajsIVwwHI2bD1dz9NSKnwdRdhRozYmBDTC0jHlvdqCMZXhDPwZRfk3z5/dxW/yafEDxfgrVhurlTWnjZCR0O8OWnAAzuFfWgbIU2T9iuxiMTONrIpfIL3qkqMDA2bEed2Xtzlc4nNPfJ41wYyUUhOWL/yaYxjIakstce3UCYC5Ss3XsBQfVnLkVvxwkatvQdmvfpsJCqz/m4htFtSaG7V/YIJmT3KOw== 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=RrG+2n3I2Luq2OoTNrpXzKE8souoCkYTFBn6rgxpS6Y=; b=Wpyvr0hdjON3up9RUhC4mLP9C83b+rJx3HnHIq1ni71Yn8Hw1rIqUptW8QnH12xCY2kWTki3iaUfEtSNtyfH0ok/JhpGhwzIiSK+UGYA9pubUfeALFTaTSYBPFzccgHL3Olhe5Q0AUYB41AcnTIhBQb/Tj7VUCNJEglc0jpTnlL7EZPKz4Hj2QWmQvVVXfdpvqlk0qHfxH0xB+OQu41qp8P2aPoffBV/HVISFYYs/AX+7NaarjYJW+hL+jxLKFP9yWM2sW2VDDmApB9SapqZI+2RKF5o6FjZ2PS2iyGGPVdRp0MM8qxM75uvRL63DNWlttpQxN4n8zCAc/S+yzqOQA== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 134.169.4.151) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=tu-braunschweig.de; dmarc=fail (p=none sp=none pct=100) action=none header.from=tu-bs.de; dkim=fail (body hash did not verify) header.d=tu-bs.de; 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=RrG+2n3I2Luq2OoTNrpXzKE8souoCkYTFBn6rgxpS6Y=; b=GOz+X5KWWimf4ORKAfPwMu3Rp92NjCcnIOTjGYdS84A2qkf1g1HZfkXFTZTFgWy1WE8EufdHbsxJzBW0eQReun2MMJj+/Ad7CHpMfZN/EBWGbcw5tVzuF/WLu8/iY+9VrnzXkg4zeY/Ilv0UQfUofa+d4Z1LLJa3xJv7qp86X4MFS/WSht+WeVmJrWJ/Jc3lN+BVaMcN8urXbbyUM/KqkOIYF6L0xyO1q5Iv/k20nOy+uvMlgBC40rFP5xV0R3CET6L7BfNL++5sysYXCIjYlWF7onhLS8TwlXj1DoLpCAlA0LOjZjKDdo+Jn/eyXK9Y/c0anFgmK+jpo9XlQx2xTw== Received: from SmtpServer.Submit by MEYPR01MB6693 with Microsoft SMTP Server id 15.20.6977.29; Sun, 12 Nov 2023 22:02:46 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=RL3kjXGmRYKXubbmPIJEo/akqSJ+coYNM1AyeO0CB84iouu92dI4kg9ThSMi9k3B0AEPvQDuOpO8GH9+HAJxNsK9KuP8lEDWjost36aMd376YQSbSdW4w5mt14mG2JMKVzQ0J2GrPpJsNhfka7SWqauAQdCNTreXPNWkdTMe63ileS11h7tXvzGIw9MHO9iRAAg1M52iZgYvWc95zDSac0vgSAKXNhFBO4z8oPV8oQZ0qpPII9vOLKHr2BZhFVdahowmeUa2pSE7qoTq7G/ahxjTwqw4ypX9WU29F4JUgVpXe+DB3WQ9fPpVVkiLbg+AY2sL9+vzJlmHalvUxNDWkw== 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=WtOxdll6cTknwUfzs4qvca12uG53/LKcC3+eP2Ed1J8=; b=SEZ8c9QpNHa9hcfAbrtB04ELr9OeW1CiG3sr6OYvO1KTUaNVdloeZmACxH8bJE7UFx30/Q2AQnwt9cThq/dMUqnO/J8iKZPoTcpgxnhvqHfbH3hKWsCByiW7OLJmHBhAEQDZa50J9lqRU7HzdHiMIJYwrwj0SLf3bt4C27BiU1lh94hjY4jZ4dRcP592/f/cteIahLBQgLL5nGF7RVouvji2UTps01Zl+Q9WSwMSNeUIOLIPOSXwLmQSEM2i/louBkBzWyGgCQe/7LV+H7XCuTX60RzPeMTEBCAQD8EJUA0ZuoQ/4O090RnC0kw0K7oHcY9AF+lBZGVvP98Twn6Dig== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 134.169.4.151) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=tu-braunschweig.de; dmarc=fail (p=none sp=none pct=100) action=none header.from=tu-bs.de; dkim=fail (body hash did not verify) header.d=tu-bs.de; arc=pass (0 oda=0 ltdi=0 93) Received: from MEYPR01MB7117.ausprd01.prod.outlook.com (2603:10c6:220:140::13) by MEYPR01MB6693.ausprd01.prod.outlook.com (2603:10c6:220:12c::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6977.29; Sun, 12 Nov 2023 22:02:42 +0000 Received: from SY2PR01MB2986.ausprd01.prod.outlook.com (2603:10c6:1:22::21) by MEYPR01MB7117.ausprd01.prod.outlook.com (2603:10c6:220:140::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6977.29; Sun, 12 Nov 2023 22:02:38 +0000 Received: from SY2PR01MB2986.ausprd01.prod.outlook.com ([fe80::4b06:752e:fcf3:5965]) by SY2PR01MB2986.ausprd01.prod.outlook.com ([fe80::4b06:752e:fcf3:5965%6]) with mapi id 15.20.6977.019; Sun, 12 Nov 2023 22:02:38 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=fqVFr9NLtxyvJeosmFcJ2kV1XhnaNCXViY6gLnJtV1nj5FWFCLIUt6wQH+7aGPOwAHOXFdlPxlALn4w2xVmLhQogtjWSfbrx9PEO56YtVmUWkOvCiuYxvX/q8bKOYcWmTF1rGI+Kp/7ftWDVT4y+kcG7SpnX0cAU9PP529V+ZN1a1gLd0I4LYmL25emVULoCGNA4wG+ISYUXzDWoIpN454STUmJ5LMXDyhn+v/ezl5V9LhyLXthJlgqHQ5x8CeA+W9iOnbxfQe+O1f3skVG0urImsLZXudcYsazfEgd7yDktpwS/RJZmH9cV6syJa8fY6NoJgLW7g+5GTRDER2iaQw== 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=WtOxdll6cTknwUfzs4qvca12uG53/LKcC3+eP2Ed1J8=; b=JjKgx0OkWmoWBq3eMPBLdhetFthYINxW6SHe1K0opo8yqKiIah22fykL9rZcUsgCTqbmyDbcY6NUeE2QmuuDuL5pDsPalEUE9lMHmZGZH2FuSFaYhzioklBBhYLPGHBRdviHhZBKoJDDjrbcxaAKlMdNpmoCANz2PZpnLIwOTvNc8e8yzArqcH5DO3PQy8p9d2Qcvz0b5GgLz3icPBP45xYeGby+9PBjb4GSSjsg0NP7twzzFdK18tt3XT/YJtt8wxjZovsk2qD9oWTmzxIYzFHNYY3onI//Jga7QWYutnCjDxMd0YjAO5K+UjiZ6cTdpWxazhniRXFAfGyEx7fmjg== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 134.169.4.151) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=tu-braunschweig.de; dmarc=fail (p=none sp=none pct=100) action=none header.from=tu-bs.de; dkim=fail (body hash did not verify) header.d=tu-bs.de; arc=pass (0 oda=0 ltdi=0 93) Received: from SYBPR01CA0061.ausprd01.prod.outlook.com (2603:10c6:10:2::25) by SY7PR01MB8174.ausprd01.prod.outlook.com (2603:10c6:10:1e5::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6977.28; Sun, 12 Nov 2023 12:13:47 +0000 Received: from SY4AUS01FT024.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:2:cafe::a4) by SYBPR01CA0061.outlook.office365.com (2603:10c6:10:2::25) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6977.26 via Frontend Transport; Sun, 12 Nov 2023 12:13:47 +0000 Authentication-Results: spf=pass (sender IP is 134.169.4.151) smtp.mailfrom=tu-braunschweig.de; dkim=fail (body hash did not verify) header.d=tu-bs.de;dmarc=fail action=none header.from=tu-bs.de; Received-SPF: Pass (protection.outlook.com: domain of tu-braunschweig.de designates 134.169.4.151 as permitted sender) receiver=protection.outlook.com; client-ip=134.169.4.151; helo=pmxout1.rz.tu-bs.de; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.13.69.22) by SY4AUS01FT024.mail.protection.outlook.com (10.114.156.125) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.13 via Frontend Transport; Sun, 12 Nov 2023 12:13:45 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1699791225; 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=WtOxdll6cTknwUfzs4qvca12uG53/LKcC3+eP2Ed1J8=; b=jswtp5jHx95+itICesMCMhIqayRua3ALp3adKYdYS6cTsdl3Fk5Ze+2F3yHYFD7gYBY/nS NbQs5TIttiHgDbCvrPHPNZBo5v/Sea+fTplDVR5o3WDLTmWLnmjL2aU/5kYTYXNGMQfTNV AVR9QlX9Xvh6ZlALuuayTCauhtaURhcxuJpwJHBY+hv79wo3CmVOdCcwnjMYYYB8nnk847 tgS5Pk1YsgXvSfWJw0BWsVrC1JSUycHwD6sjBc319dBjBhNocxhCmp1tqOgChKPjvuA6ie BaqL99lnWEiY23wC4TyGNWZ0UkearXitYYa9YC6Cnd8ON7Ek625X3cHrJWvDCg== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1699791225; a=rsa-sha256; cv=none; b=Xc7gdwVAXuIjVH4Q+m1TD2u6Oc4feID9coya0UcRuexyBYIwrE5VZSMwE2WjaNSShgSO/0 v6U7SUCBFKk8AJvtxK+AT+gQ1AVUwFrYq8ge0ekx502fFjG323GoQ193N8CWmRsoZEpVJ+ ATsvcTEJwx6oioSOaZuxP/cyGJwgW2SmTaK4nM8HbuBlm8d6astHnG2maPx5McEFVH9yO6 0d7dKooBL664h/qK/74SLS4SP2KP8Xt5emqs81WHob7E99Kk3VQkO5EPWQLtkw3BszkcaO 1yQYjnrYOw2fh/ABqsPKoZ0lPzOEsVhdAEtJ1w/qVUISssZHig4f7BAo0o4s8g== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=tu-bs.de header.s=exchange_neu header.b=GvQGJgYk; dmarc=pass (policy=none) header.from=tu-bs.de; spf=pass (relay.mimecast.com: domain of j.adamek@tu-braunschweig.de designates 134.169.4.151 as permitted sender) smtp.mailfrom=j.adamek@tu-braunschweig.de Received: from pmxout1.rz.tu-bs.de (pmxout1.rz.tu-bs.de [134.169.4.151]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-23-jtnMiWu9MIayfOPS3QUbtg-1; Sun, 12 Nov 2023 23:13:41 +1100 X-MC-Unique: jtnMiWu9MIayfOPS3QUbtg-1 Received: from Hermes01.ad.tu-bs.de (hermes01.rz.tu-bs.de [134.169.4.129]) by pmxout1.rz.tu-bs.de (Postfix) with ESMTPS id EF80A4E00F6; Sun, 12 Nov 2023 13:13:35 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=tu-bs.de; s=exchange_neu; t=1699791215; bh=Hu5ZznmBJAjBwdZgetrRb01b8kx/DpQIcxu+4ddCsRg=; h=Date:From:To:CC:Subject:In-Reply-To:References:From; b=GvQGJgYkzru5qIAHbsHMwzi9pkr327l9gH4JbVhSHwbnDKIEgfEDwiO5N3UWe0A5c C+kJtgH0WuLUVIei7rQ8s3wupTAmtouyk0nZm6xgg0fMbhtMyZPpjJ7JAulSswYkxQ gETwr07PTLcvYibGyFoA3rFBGXD60rDWpdoHWiuIbnLpuD+8zAXIOIryLUMnrRjUBc VynXhaM7QMvw5M8DXCox8VFgWBDok4vMuv353BPgsY+ai5wunZZzvsUkXFLMaRBQ0V sX3j0Su45kriZW7WL4LiMDTah18Owus9s8Ll9EoF21hlDMkGPpLqpXIb4hcDAUk2Kv TWQpbHL5z/crw== Received: from [134.169.237.104] (134.169.9.110) by Hermes01.ad.tu-bs.de (134.169.4.129) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.1258.27; Sun, 12 Nov 2023 13:13:35 +0100 Date: Sun, 12 Nov 2023 13:13:29 +0100 From: =?ISO-8859-15?Q?Jir=ED_Ad=E1mek?= X-X-Sender: adamek@macbook.local To: JS Lemay CC: Categories mailing list Subject: Re: The game of the name: Standard constructions, triples, monads, fundamental constructions In-Reply-To: Message-ID: References: User-Agent: Alpine 2.20 (OSX 67 2015-01-07) MIME-Version: 1.0 X-Originating-IP: [134.169.9.110] X-ClientProxiedBy: Hermes02.ad.tu-bs.de (134.169.4.130) To Hermes01.ad.tu-bs.de (134.169.4.129) Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=tu-bs.de header.s=exchange_neu header.b=GvQGJgYk; dmarc=pass (policy=none) header.from=tu-bs.de; spf=pass (relay.mimecast.com: domain of j.adamek@tu-braunschweig.de designates 134.169.4.151 as permitted sender) smtp.mailfrom=j.adamek@tu-braunschweig.de X-Mimecast-Spam-Score: -3 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; format=flowed; charset=WINDOWS-1252 Content-Transfer-Encoding: quoted-printable Return-Path: <> X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[134.169.4.151];domain=pmxout1.rz.tu-bs.de X-MS-Exchange-ExternalOriginalInternetSender: ip=[134.169.4.151];domain=pmxout1.rz.tu-bs.de X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY4AUS01FT024:EE_|SY7PR01MB8174:EE_|MEYPR01MB7117:EE_|MEYPR01MB6693:EE_ X-MS-Office365-Filtering-Correlation-Id: 618075ac-1660-4c3e-0058-08dbe378d1b7 X-Moderation-Data: 11/12/2023 10:02:36 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: w7E7251kIRt5B1Zijuv4B3GtAWJzANBfeLPJqy1hD84Y/dGfXnM/LiySv0JeFezANiQfwO3mFk3AAMhUuaGakAYLvXE9tOTLbRxynyA+e7uOGtYmv3CyCxzrxZa8P7JjmkC8Si6dOojCKmsKczDlQLgYdomV16FqgWjjQAjMrrPUnwgT7iKl07GJz4M7CQFAOviTEs3ncS3RPubc8ZAuJio64d2VSO+k9SQJUDvlpCNMwNw2ZSg3PI9szpzBObtBhtiBFZ+LVItHJCvZTq06qsJYu990SCxNmN/hTVH7NUj+Ql2I+qoarmk/f2dXtEHwwC5Jt6TyQRMZjPlAK6MbFO1SLSO8KpWwB4ufIzCz9sZjWEAonnzDOUmDVok5xIk1hKLm99DAD9cR1mVMbW+Fe8EGecciEke4fMdXeXi73Bk71Wj9pC9RPeUuQ7cfXQBo8KULXG4xcBp21kt8QFhOVCGyPzB2iecz4fgHcr2j4yb+DoShbA35oXaCfifGwpzDih+D65aepU4/zJS4NqGRmSsgi35XIzPh3SnrkhoHfrtw70cgYPGpai33TKgR1DyWYB/8xpxbXdhERqeCKHCmp/wAdYNfJObs8oCNJ96UpHSSAKXTieANxCd8M5QlhGncQUGnK4qm9sSVmufIrl5qcViiAXIQAeis2iawQclBq/cYVxRapKKOr/gRH0ygIiyPweuADIyKWXpTdE1b6mFShUcdc/t6aYkx+ph3w7xe67DLJzlIRpIJCijgRMetNqQvYR0Qnr+fIhT1y2QfaWW0SNMdyvpQ/1igq4DEjML2uw3sFaOiSz4yAXNJeWkgcA8vmxopQKZqFPR+yahPQw4HLBZrGQ4JbXFMHhCcfajWNqb8wJR+BzvTOwRFKIc/0ZKyC5m4tzj4L/ofgFxyjpo7Rw== X-Forefront-Antispam-Report: CIP:103.13.69.22;CTRY:DE;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:pmxout1.rz.tu-bs.de;PTR:pmxout1.rz.tu-bs.de;CAT:NONE;SFS:(13230031)(4636009)(396003)(39860400002)(376002)(346002)(136003)(451199024)(1800799009)(8000799017)(82310400011)(64100799003)(48200799006)(40470700004)(32650700002)(426003)(336012)(2906002)(40480700001)(42882007)(16526019)(4744005)(40460700003)(83380400001)(7636003)(7596003)(83170400001)(82740400003)(32850700003)(156005)(35950700001)(8676002)(8936002)(6862004)(6666004)(4326008)(498600001)(89122003)(88732003)(76576003)(316002)(786003)(6706004)(68406010)(70586007)(16576012)(41110700001)(5660300002)(956004)(7406005)(7366002)(7416002)(7276002)(7336002)(26005)(41300700001)(9686003)(41080700001)(41090700016);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 618075ac-1660-4c3e-0058-08dbe378d1b7 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT024.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 12 Nov 2023 22:02:38.0963 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: L7FZpMKa1q+WdxWdHGaJGlv++Dq6DVcIDxtI5DmZjzcFx6xPt3MJk7CVnTXgJmGgUajT3kWZ2aAN8qw96a//ZYJ0LNMvgkaJxPCu+11Yxd0e4UyMVa/S2br+sqTnsRJmAF2K6Xlx/N73KOV62Mvb6wD1UKjE54c+B4SBgcixFtrr2Kh9mxGa1b9rFdoYfGoLCg19pSDNxXssxnItNZzKZYhJp7035lL9JyeuySW0syk= X-MS-Exchange-Transport-CrossTenantHeadersStamped: MEYPR01MB6693 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: =?Windows-1252?Q?YMXqNGesalZsOJ/tn9UKW2Z1lfXb7wGNMUk1769TGFKN9s2j/e/JHdnb?= =?Windows-1252?Q?3uHE2PgXC6nvK8ql3b+gChhE/bVm39Vhmi12+lD2g1WuXKJDaTQsReFw?= =?Windows-1252?Q?E8oJCWZdndC3IiBb87oGkJ7JrOKhrfK+RIUIOr7l0c8ZnSDxLeDKNeV7?= =?Windows-1252?Q?cwi/0cei7Bn5FK4EkcGOxUPs2rzwfBnTBWCDcaEWbJ5gYCcm3RqCu+he?= =?Windows-1252?Q?Qy7y3Q7QalKP01DPsjs8QgYZDPwf+GbYAXhro3Wg/ffXHIkM2aAiWhj5?= =?Windows-1252?Q?lWvzgiytIGomNjotdcBykqsCELIJ1mf6hFltl73w3BDDRuS8ALEmKj3P?= =?Windows-1252?Q?SyATWy6qYrMP4gvcyp6+gzY8bLug4AFCsyG14s6GuVFKFO7zdQWebyhd?= =?Windows-1252?Q?OtL7lCgNI55YW/FYm4+BM8JPa6S+vI54MguTpa+bG9H9AzRUSC+gaF2P?= =?Windows-1252?Q?wvZ1/mq2RB+eCchQvS+VSj4DXQsfgT+aU8VdVk9LNQVM07OcepPsQbd/?= =?Windows-1252?Q?6HD+zpchWPbzMv01J/swOG5uGxdXFHzktuJekV8VsjQkGo/tJPUYvMcD?= =?Windows-1252?Q?rpewVq8CGCd+5+552pO00b4VEVq4E4FCjibtDSa2tom+aOETxG9cMYyX?= =?Windows-1252?Q?OTTcL+lftTmtihOcnr8upy+QrikCToYAYGPHsWocVJIudpFjV1t9n9uY?= =?Windows-1252?Q?S/t38z/kZHxgzFMtuomW4ffpbLvAVkqfAT+q3VaLB0DLctnr/LG1QSSX?= =?Windows-1252?Q?VY6mFr425dCkTzWr9A0/v5kA5Z5EsgVWcqqwGV718nlHwKgq3TMBZH+U?= =?Windows-1252?Q?gHX02g3HC7g9XcjnZwmKkQbFf2H7vdtQW0RinZJ5oh083F2ZM0Q3hpot?= =?Windows-1252?Q?+VhDu74zc+cYH4UP5KYl1APzFC7E2FLC1IaKJR6zSFzyn4JkhfLSOPz6?= =?Windows-1252?Q?OJ+dNIB76JKafgnrb2QcQ+SSJvuvoNL3uwq30gqpDtUGMXwiIesAH7AD?= =?Windows-1252?Q?Dm2NTCr2WWLvLsyr4ONclZ9xQVzC+mcbEBCGm92mPOVAl97Ho/rEntZ/?= =?Windows-1252?Q?F0Fh+KLQ8CH6MYCOAPIpxXG9/BhpnFiTRSZmeiwQg+0gr7ryOzLaBuo9?= =?Windows-1252?Q?1EGUpmphMI/1Q//HVVqNVuiiFIIagB8ae0w9ylx1pjX+w2iIaHyujajz?= =?Windows-1252?Q?bU4yw7BZUN7RzMMYJR0rm9zBFH2gzilftAWQikJt2P4fFck03X8DeFob?= =?Windows-1252?Q?i2bauer3f0IWPBkWKKnMrBi11bTXreJKz/JqRPbP+bg2hbELH2z6mtZB?= =?Windows-1252?Q?NE2c1sEJ5JRjZAemtX2fTVUwO5yliTkV8C93CCUHovbuR8j3bVZ7o7Vw?= =?Windows-1252?Q?BKyv+EHP7I1eddkyhgF0wglckSIGVXvjpJI=3D?= X-OriginatorOrg: mq.edu.au Dear All, Bill Lawvere once told me that 'monad' had been the idea of Eilenberg. Later I asked him by email about the details and he answered the following: I do not remember in which year it was. (Maybe 1968, judging from vague allusions in Springer Lecture Notes 80.) In any case it was in the common room of the old castle at Oberwolfach when Sammy came out from behind the piano and announced the change. His informal speech emphasized that the word would inflect well: 'monadic' etc. He also explicitly said that nobody would ever confuse it with Leibnitzian monads. Jiri ---------- 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