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.2 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM,HEADER_FROM_DIFFERENT_DOMAINS, RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.4 Received: from AUS01-SY4-obe.outbound.protection.outlook.com (mail-sy4aus01hn2229.outbound.protection.outlook.com [52.100.199.229]) by inbox.vuxu.org (Postfix) with ESMTP id DDBAB2B9D4 for ; Tue, 20 Feb 2024 19:47:38 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=ALBxOdoAHwv+ED2Ri4Epxsk43Z/WFLa1ksxBPKBlEDVRyYcPpY+iCUUncqMYZMpGOqKHdCfBYGcE7cH6q5XeO0xPSRItXEiJoM4RmXYiwiyoYGHnsEIwEvP7SuE1qyzB8JGTmEXAkNRk6cmjOqYK4zP3BHGdBi3odGJfp7PUABtxo+svwHxyIZ6vvdcpQqNUz6lVj1BSExHuCQ/Ajvgff4C5dOsM1droyDsa3us4p/uPOftmbQbMP6di7UyA0H5/rloTfoSjRnjW+mDjGxp1QhGoBjK5N1RW4YzlkcEWM6jCgqYXedDWLtDVGbzFqqm0A/e+MTHZP1FBRG4tlePenw== 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=tVLe8kWoVqAPl7hFgjiAZFF4t9PKjsqwCbYF414jlII=; b=mO07k61f1LWOtRipsrAIsqpnkcdT+H2UCPpNP0NPVDWUPU5JlJIMJD9/+2+7Rn8/Skvu+7m+VrqKoh+JWicKeGv3uUwI347hvP0TL5g0sB/VEZzOlFGx39P1k0diJdGTKHLM3suKz9Ut8iKY0WjXfMWMqGG3F7+k+nADMVeV4SmTeM//vbKh367gGykPd1tqFZYfm3rU97Yh+HbHiibCdExH55K/AzljH+DuM/fvLeejA81HKKdDWuZ9JD+kRV3ZUtjAlxhqSRWjYZGxYxlMWkj29lrgP4GUqrxzd50cLxs08wE19pgpo+K7xjXHHJEf5ShXsC01/iGML5FpuSUBaA== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 185.70.41.103) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=protonmail.com; dmarc=pass (p=quarantine sp=quarantine pct=100) action=none header.from=protonmail.com; dkim=pass (signature was verified) header.d=protonmail.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=tVLe8kWoVqAPl7hFgjiAZFF4t9PKjsqwCbYF414jlII=; b=a470JgCPNhCnCBUgfIRFyuHfjaJZo1mYETzfIJ4kdknYdiFxoWSm+BoyJ1U19qYMzEAmKGE7Amve1Ci6BEsD/yYqg7awECkTIHwWkusz7VWnGMoYewHvlvqWfg2yLnze3LYvJISHmip1Oti9kG0a17PYyR4fWRv0l7y3qcpUaFh83z/QSmDP7zx77Sr4V99b4EYKaPxNT8W26M/yKM9XEFL42WuNGVjRUx2/NHFmcTA6TjKeJQLP68rbRYRsfQep2OV/wRI0zIHnJMNmjK8gKXsaXqkGFaTlG5Rkf95HE7MpcZHbVo+pzTbzX+JMMLWMlj7jtKjY6HoQ15m8TEALTw== Received: from SmtpServer.Submit by SY6PR01MB8060 with Microsoft SMTP Server id 15.20.7292.38; Tue, 20 Feb 2024 18:47:35 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=fwlP6dpgLNZIu63FnlNJxPjz1+N9zk+b1ReXtrZq3reUSZEKtk32ZQWiRGtmPWGkNrVhOm9xUryTKTipm1DNfQtQQiggFiA1GDWf3jZJn7UVoT4MuYNOfEn6hUiJ7/yGcbFFIfI+S/sB1tSTh5ZtAya10H6H6H8zNJyGHlmPkWK8xqb+iy/yEFU32kRMcNzYKf/kayEpggHlGL3Fyi/m3vevqQsJoWe6O7OFoSdWGEI8VZIOrG8G5q3tMfkC/WRWAj6YE4CcYDrBarlEZqs76/DW7aAjwOZDH2cbHjl+O+jGTWoHRejK4U/U9iL9jronlrCfK1/HclDufe0LqB4BqA== 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=xyQaOBN/qQcNJN+PbKYcyKBkd9rjbrSpI6Cn7KW9go0=; b=gu7TP6vhliHqAnTOj3uSR5EA6u6Psd2c2GVdTP54YfUmkf7zhbB5OiZ71JXcAbMXY8w7ozvqiJ8DXidWkOg/AGQ8UkYdiJnyDgN6rOCixLkz2kdFCYT+IJvMHlH5L/G8ccoQZGTbQ4j/aZEmNUXECgmzAaxmSdIBvef0r0YXaxCNaS6QpCulyRMWsaq06ZEvKmyPrzGCYLZDwTKbdULA4D4s5r1kVFJ6x2Q/kGxe7KDcYfUcMt86TZCvPiJtDEz6OuZtGqvEk3sBSs7uZjyKU+eUvU1O1t0xpCvRBt9DYdC8bnyq5tbTBLGBNKQcsR8VR6fjEOTqM4uz+HiNdTApWw== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 185.70.41.103) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=protonmail.com; dmarc=pass (p=quarantine sp=quarantine pct=100) action=none header.from=protonmail.com; dkim=pass (signature was verified) header.d=protonmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from MEUPR01MB9368.ausprd01.prod.outlook.com (2603:10c6:220:216::10) by SY6PR01MB8060.ausprd01.prod.outlook.com (2603:10c6:10:1bf::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.38; Tue, 20 Feb 2024 18:47:30 +0000 Received: from SY0PR01MB9149.ausprd01.prod.outlook.com (2603:10c6:10:221::18) by MEUPR01MB9368.ausprd01.prod.outlook.com (2603:10c6:220:216::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7316.21; Tue, 20 Feb 2024 18:47:27 +0000 Received: from SY0PR01MB9149.ausprd01.prod.outlook.com ([fe80::502f:fdd:7e45:3587]) by SY0PR01MB9149.ausprd01.prod.outlook.com ([fe80::502f:fdd:7e45:3587%4]) with mapi id 15.20.7292.036; Tue, 20 Feb 2024 18:47:27 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=UmQM1DkjgVQHT+31+Wkodeyfh5oQjIgCQLW26MitdVs+9qNT8A9b+2Fx/CB0Q8dARvNyXM+HhQbykYsYbvYSz4MZ1VFM4/0aIA8uPe0JJNe8R1cp/sJ7VwPp/IvkefU4n4bSMWXoaM9AoOEx7hPCX2otxHWqhuFMrxZHePF7bSvvr3Tu3b9yBPlcZ5vJutj3MUtC5wTCKtJmjkgu1/WuVj/VOfHKMyzuTjegmsnZudpQp8+5tdHmYOd8hp+I1wQ2e6e0GowQ2hgGYistV2/hkW43c5ddEl+RnDRYEwoFt/lRQyah4T5ZctsLoogtO8ZJrI85zflDiY2dB1d45NljHw== 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=xyQaOBN/qQcNJN+PbKYcyKBkd9rjbrSpI6Cn7KW9go0=; b=hURnGlC2O23gKokKcbNXHDxb9/rSYb4nIdgOsx77AtXm8OfmCNmCxRJN5eBJ8iJvdyatjJty8zDWFXRHdPBP0QFp4cpDqSrWHiul5LoHcC0WuMQtfNt97igxppShD2GsNEJ2EdA7JMHRQ4HSTQn6KKPHSmUkTtr2whyOpdCLNIfc7CbQ+d7Z3cVWiSELU6wZGUMXFzavVs2pJ979fDihrWaEnzOzAtzG+RkXeBtJjTbLmegtZzREv5SuJY32MXIIYIfEI+dCyPlKCAoY7cspp5zqjkcodADDekfXqxVqF4pQRXqLNVYxqmh36FkAXjwMadp+TM7C/BkZfP84SUmzJg== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 185.70.41.103) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=protonmail.com; dmarc=pass (p=quarantine sp=quarantine pct=100) action=none header.from=protonmail.com; dkim=pass (signature was verified) header.d=protonmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SY5P282CA0068.AUSP282.PROD.OUTLOOK.COM (2603:10c6:10:203::10) by SY7PR01MB8208.ausprd01.prod.outlook.com (2603:10c6:10:1e8::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.38; Tue, 20 Feb 2024 14:57:58 +0000 Received: from SY4AUS01FT013.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:203:cafe::ad) by SY5P282CA0068.outlook.office365.com (2603:10c6:10:203::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.39 via Frontend Transport; Tue, 20 Feb 2024 14:57:58 +0000 Authentication-Results: spf=pass (sender IP is 185.70.41.103) smtp.mailfrom=protonmail.com; dkim=pass (signature was verified) header.d=protonmail.com;dmarc=pass action=none header.from=protonmail.com; Received-SPF: Pass (protection.outlook.com: domain of protonmail.com designates 185.70.41.103 as permitted sender) receiver=protection.outlook.com; client-ip=185.70.41.103; helo=mail-41103.protonmail.ch; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by SY4AUS01FT013.mail.protection.outlook.com (10.114.156.177) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7316.21 via Frontend Transport; Tue, 20 Feb 2024 14:57:58 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1708441077; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to: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=xyQaOBN/qQcNJN+PbKYcyKBkd9rjbrSpI6Cn7KW9go0=; b=c4qkmuL5v0AmPWc10KLInY04NnrIpkgaZBDhxSgXEnJJc51Y38I9wZunvdFDTalvOYEze6 9lXxnJ3Coa1TW8u+jJnNvl9D2qLnft5MDuymr6VvXG0kPFNv1BeJOkgnmyd/4fgcxZN8d2 vVmVnq3SpwWFyLJ36gXZp5S+IqR9erzOzRfwExU7bB5DNH9e/KLYimUT5hsR7gt9SoS0Di 9zvu7Me6kxeJdz2Sjw6wiGEN2wEJ3j9reAon3pqfjIX+1s3YlNjlb7z+LbHEEuvpfpWuNd CIPDj0leSGvl1S3N79NQK/kRIpjKdvdFMw753Z2BHlo32Eb5smGmVoP+/Ex4Xg== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1708441077; a=rsa-sha256; cv=none; b=lpyPBIDD0uuZUdyZIECozxjJ3qPvwprAXiH5psSEE0G0sKLgsCTHbfBNNODgs2wxrbY2GQ EszV1FopkdtCeiZH4mjK1lVb+4Z1ZRiaT/gSJ/NMwyZz9sR8gA5dqpk/fZCucur43G6Np5 6aQiO1azpIHb8RsHExRMVWcxY+UVXYPifFNxMJ6lzU2OOb0A52ynHMsZLbvCBd89ZzKOlq iHvLzv0aDaR99dqeFL8lwOgm6PIV3zDpocgO7WHxu19Kl4599eAcVH/dX5LS/NiCEOgLof neo2kWLiBAHbTMbtTFRXrSemGuUD/vBv0xRdyobRz4d87mzYsusiNM/pNg4V4A== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=protonmail.com header.s=protonmail3 header.b=GhfFcRWr; dmarc=pass (policy=quarantine) header.from=protonmail.com; spf=pass (relay.mimecast.com: domain of rohrhuber@protonmail.com designates 185.70.41.103 as permitted sender) smtp.mailfrom=rohrhuber@protonmail.com Received: from mail-41103.protonmail.ch (mail-41103.protonmail.ch [185.70.41.103]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-100-0UtwFhDePTGCQVcYZynXSw-1; Wed, 21 Feb 2024 01:57:54 +1100 X-MC-Unique: 0UtwFhDePTGCQVcYZynXSw-1 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail3; t=1708441056; x=1708700256; bh=xyQaOBN/qQcNJN+PbKYcyKBkd9rjbrSpI6Cn7KW9go0=; h=Date:To:From:Subject:Message-ID:In-Reply-To:References: Feedback-ID:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID:BIMI-Selector; b=GhfFcRWr4BZrkQSjSbgOeNtW2atBUT7VTK6gGmAcVeHS2xyMuKkfZgS+xI5EOvBYZ 2bmeH6p12rGfsqIKXsLcu0WJ8pSWQ8kDr80QT3v525wh7N/yJp9wIMz1ElnPJm24h9 q/oHyfa6wG5dlVVcPJgJxJy2ORD7+qzGR0k+fNGj1jp6cMjX2QovrCvbk8K/MquJdx R/Met4HqlFj+N8Qyos6cwpFbVmIjocmhqS404KZNgjP6J+4PigfLg4+Rv4/uD+DP/i OVJ51DMgXIWvsRNb4SyZcaTqQseACTha8+nt9ZRhd7DCX3j1+d6CMD10z29tPJW+wL klU+J8L766hHw== Date: Tue, 20 Feb 2024 14:57:23 +0000 To: categories From: Julian Rohrhuber Subject: Re: On the etymology of the word "functor" Message-ID: <11BF846D-5E24-46DC-8D73-AD026DB0DD44@protonmail.com> In-Reply-To: References: <1035059685.40504588.1708331575910.JavaMail.zimbra@univ-lille.fr> <1265929563.42862592.1708357774768.JavaMail.zimbra@univ-lille.fr> <6E7E6F37-84F6-4C1C-A6DD-227DF8042A51@protonmail.com> Feedback-ID: 11934282:user:proton MIME-Version: 1.0 Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=protonmail.com header.s=protonmail3 header.b=GhfFcRWr; dmarc=pass (policy=quarantine) header.from=protonmail.com; spf=pass (relay.mimecast.com: domain of rohrhuber@protonmail.com designates 185.70.41.103 as permitted sender) smtp.mailfrom=rohrhuber@protonmail.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 X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[185.70.41.103];domain=mail-41103.protonmail.ch X-MS-Exchange-ExternalOriginalInternetSender: ip=[185.70.41.103];domain=mail-41103.protonmail.ch X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY4AUS01FT013:EE_|SY7PR01MB8208:EE_|MEUPR01MB9368:EE_|SY6PR01MB8060:EE_ X-MS-Office365-Filtering-Correlation-Id: 15c1c395-9478-4f69-53aa-08dc32245388 X-Moderation-Data: 2/20/2024 6:47:25 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: MT7d3GtUnxBsgSzpyjRhfolurVuFk6si4xQTwiGkVdJ9XxeRNBmmIUpzz/axcGcpkfdBYVQO7IOwaGmTXm6FkIrtl1PfI/yY7KcjumE3ThJVymivMWIq5AeOWXxNjr6kRP3Z5r80/Cy5rstSzU/K0n5sV9OwoAEpEFg8oQDr+5MvZ3JLJO6BL2WbreMfggWhT7Ri07g6rjqUWlV1VAKvBWt2qKWtX+1kcX846EzWHcx9V9n5eobU3aEQouC7Xv9Lj9yDd92iUX9gDzWFqXSSO+rF84k8zUgeZe6B2hNBlVLeWWqHds08v/lsjDealT9RRqaPWmAY+zveyyw54aqE+VSzaz6ejdxnkOTfmAiKs+SGYtHWO9BwcLDac1fJKKS4zPZPZjd8RxjNG/Xz8IfYrs2Qjd+Z1fjDhz6LWT2S9IAUXp+VUkh19RofQAO7bcsz0ttBcTG+eb4D21HFtV4jJ6/Y2rDHjSxiP3t2AL1Kygo6A+Qbbtmy6q7FS+ZD/062p4arLBsioMQJXR5D1xOv0EyC4RNPbDKDn6xcHyWTYx2IkUNF5m7tPG5m37YG6Z0FblN3EINM4fFricGJHrgwh9tAJB//7D/XSDvJV333CEcXTL5JMY1rneOspCIuBPwpt2P7wrauhhhNXKsmV91Vs6p3TUPHGvq9Ck35C6EK5XSZSqp6nTB37dKCLENKq8AULqIIstB+k4obVQLzb9JN6sE0fx55cFlooj1EEYy7h+Lyv8msN9hj9+hJsPq+Dyez8Ey4lcqAjDRDkQish6cqrQ== X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:CH;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-41103.protonmail.ch;PTR:mail-41103.protonmail.ch;CAT:NONE;SFS:(13230031)(32650700005)(35950700004)(40470700004)(41110700001)(41080700001)(41090700016);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 15c1c395-9478-4f69-53aa-08dc32245388 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT013.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 20 Feb 2024 18:47:27.2449 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: K48jlANcAEeZ6iJ+wzRthtoKXbZCcRM8WKwmJnshDrm+BR+RHJMgVJL2irRXkD5QhE/keSozM0BTzbn6ogCJUKIHSLbdzuv4t0Mm4N9qXLWKUTFdG3wAOUXl2Uce7qBdinyD+YS3sOUuKNbIN8tDIXJsvQKSvg6uPaYoWd8+JC4h50hzgvHd4CRIU9NdTSsU X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY6PR01MB8060 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: <11BF846D-5E24-46DC-8D73-AD026DB0DD44@protonmail.com> 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?MCtwMWVRSTlvZklleEpZaFF0ZVdyUGFhR0FRSzJ6UkxNbU51dTgrZGlCcTVq?= =?utf-8?B?Wmc2N1N3amxzMmRGMmFhTnJ0TEpYcWs3NWJUK281MFh4RjdOTWZMMzU5TXFW?= =?utf-8?B?M3ZZaXhCYWxJNzRKOVpjVTFzKytkYW1IVDRNYUpuYmx2WS81ZzJsc3FHQi9Z?= =?utf-8?B?WVMzRVZ2ZVlTNGpPQW5WMmliWUFOeGhMWHZuOXFwVFE5ZmVDVTBXVEtVTkZV?= =?utf-8?B?SEdDRFlGNGREOHF0T3pvWlF6SUNzV3lkWVZjUmZ5Y3FINnVVZFJIa1I0U1ZO?= =?utf-8?B?V0M4WWRsUXA5L3hjYVJFeXF0cmc4OXlwZUNlNVhoc0ExbElkMmljOWhPQUFi?= =?utf-8?B?eVErcXNMV283MktPY0NId1dvWk5CaExVTUl6MUJBb1JZT2gwRFdkMjM2b056?= =?utf-8?B?QlorYVJkOWYwSnM3cjZzZDgxUkNrOUlaZk9DU200cFp4NkdVcnQzU2lnMGxZ?= =?utf-8?B?THZ3aityWFNYUFZ6d1NaWEo4c3NsVEFJTVNZL29ZWmM5bGl3aUNWS0tESmhX?= =?utf-8?B?Sis4NWVkMkRoM1pQYmJUZkRiSUZNbXhWODNpTks2S1hETkdWNU1lb2N0ZkYv?= =?utf-8?B?aFJaUDZwN1l3NHlJV2RJdEU2cjBDS2pCY3ZkelhEMnF5V25hWmo0Q2RLeTky?= =?utf-8?B?OU5qVnhNVlM0eGdSM3VrSGV0anhIRlY4WkFodUN0RS9NbVU5Q0NQRUJFWXVu?= =?utf-8?B?K2xGNFFhajJrZmVnSGJoMlNhOEp3L1UzYTM0WjVNQloxV3NHWW5tNkFYQTI5?= =?utf-8?B?VldpWUlvd0pockZsak5UNTc2RXovdko2bjNZL2pPbmlRYnhMeGdSL3BRKzZY?= =?utf-8?B?V3VudDlLMFJYVkxDMlNBYmIvUE0yaEEzWnVZdFd1MnNyckJQZnRRb2l4ZGpi?= =?utf-8?B?NFJVTXhoSlV1T2J2RkduUGJkOHNMWFZzNjJnNEN5ek1YQklQemRITEdaL0Zw?= =?utf-8?B?cFhraWJWdmlXY05Xb0huOGt0Sm9paVI0b2pROEQzeUx0OVhTbEIwZmFldWlX?= =?utf-8?B?VnBjd3doTzhaRHBXUTVlckY5OThiTUpmUEZ2N2hZRHNaRUpTbGtEOHVoRkw2?= =?utf-8?B?OTRJWFJSWFF5MEg5WGFUZWdITjlxbk95Y1Q1aW1BUUd3WStQZ0FKUkN6ZGNO?= =?utf-8?B?QkhOZ3NEMXFWSXNCTmVHbDVZVE9WQzNyK05JdGxleFhzb09GelFxdWxBdS9Q?= =?utf-8?B?TitiUGlDemtGellPeWd4T082OTlxbXdpSU1EdlFZYStmbnNpdm01SDAxTWwr?= =?utf-8?B?WUZ1QUE3Syt3ZDBvMGxCeThWY2szV0FLbkdDQnBGSmdibHBjUXlkSFErR3BN?= =?utf-8?B?OXY1S2FLbVZvVzZEUWpYNjB6SEZoK3lQNXZwV01VQ3ZZKzg1YXl6U2ZNVkNa?= =?utf-8?B?d3F4VDVRQ09OY21XVDM4aVJEanZqSWl2dVU4dzBqZ3dBQ0ZIam42Y3ZYSmRU?= =?utf-8?B?Mjl3UHFFYURFY2NnUEo0YkVDcThQcFM5ODBmZXhHK2o4WWlralZ2ay9YQmtM?= =?utf-8?B?YXQ4TFFOMDM1VWtPRjFVdHBvSHZ0UkdjVGQ1Wjk0T2lmUjlXYkRDNGNHeER5?= =?utf-8?B?QnNLMHo2NGd0djRIcC9McGFJZUFaejJCNVdWRWxFVERjeEs0Q2drNDFmekNl?= =?utf-8?B?Rm5SdXo5SXJaek00M3l5a2lUOGo4SEhIc2I3dXZXV0lDRDIvRHRuMmxxMm9C?= =?utf-8?B?UzJobWRnNFJwbCtJNUdOeG9Icy9GVWtEbEpSRzRYQXdXNnl1aDBiTTBJbUtO?= =?utf-8?B?Q1JiK05ZQitiOU9oM1ZQL1ZuQnNQNWZTUGtKd2I5Mm9mQVFacmhkK1hhWm81?= =?utf-8?B?aW1hK3RwQmdPTUxZekwxM2NZckIzMDE5VklMaElXWVZJU2grajdxeHFzMDQw?= =?utf-8?B?SmhBSUZMVTNwM0RjSStxak82MG9DUzNqdmJUZlhaQUJ2ZUd1TTl6ZExmWXIz?= =?utf-8?Q?9M4nPG7iKqbN8IyJajdZpl234mdYbL4N?= X-OriginatorOrg: mq.edu.au Dear George, thank you for posting the full text, I felt this impulse too. (just to be clear: I didn't cut the passage and called it "somewhat arrogant"!) On 20. Feb 2024, at 14:20, George Janelidze wrote: > > Referring to Julian Rohrhuber's message of February 20: I don't think it = is > a good idea to cut a sentence in the middle and then call it "somewhat > arrogant", especially when it is from a paper of Saunders Mac Lane. The f= ull > sentence is: > > "There was also some fun with the choice of terminology. Since the > philosopher Kant had made ample use of general categories, the term was > borrowed from him for its present mathematical use, while Camap, in his b= ook > on Die Logische Syntax der Sprachen had talked of functors in a different > sense and made some corresponding mistakes. It seemed in order to take ov= er > that word for a better and less philosophical purpose." What I would be interested in would be in what sense Carnap's mistakes, acc= ording to Mac Lane, corresponded to the concept of functor. Or, perhaps, how Carnap's failed at= tempt to define analyticity corresponds to a wrong concept of functor. ---------- 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