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=1.1 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE, RCVD_IN_BL_SPAMCOP_NET,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2, T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.4 Received: from AUS01-SY4-obe.outbound.protection.outlook.com (mail-sy4aus01on2108.outbound.protection.outlook.com [40.107.107.108]) by inbox.vuxu.org (Postfix) with ESMTP id 208E320C3A for ; Mon, 19 Feb 2024 11:22:22 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=VlI2clrDfb44PSVMJNY/vYEnqxTCa2ebCaXV3P+bP4Rj+BXT+9GCX9iIcdtA6s+tSMVVyCEzs3k7d0H3PQ5yBbtpSvZwhgmp9/2V7H/LgvPHAQL8VtIZhcNz/0JIF7i3lp0vjQzUZhPAY8HevzNynV0zvhxMXKQXGkJ+u7hsuUIF6w2qKtifJhrJxoM1qaES3ULy5o8MdGrBThOuWBVqSR0qsjJvheH0uQRf+7UUfImbSuwmV+LhH4/5EaQQ9OU9XMxINmHLYtIpG+4moLqn30pT3+LN3/JY8b8+YOuqtkEZYNZvsFLCLrTcvIyJCwtFkjDggLTHd0EQqO3c3Y6+cw== 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=1UtkdEOTfrI2zdTF383EAvtS8O7bO26qe7gsoSy44zU=; b=dNPU1DWL+aW8NtLO1wIUVz5I5+vwM4vRrr93L3GvTaVBEV1jIH5MNP5plW+ythOllqitrVwugqQ7sZSu0RJCngNrCR7+7FjHUBCgRvTnJ2ZB1IqghbCi6Cm9EGnXeH1w2mtlc38DdpPOo7D6I0AuOpMDxTbYYHKsBaoyN062ePcprHDX8QH4HvzEgpXllU55Z2jX8+6FBhKI0Rh08Cf8OpkRgS60arcqGCF9Y8crK1w5O5PtPj6CptAtWM6UPRBG4peSBKzMNDACdNvf5kLhysVMm+9n9n93EPjTdqEGKqF/n5zv197geEFw+nzu39tifFGQCJ+bzkV0wJrJOYd8nw== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 194.254.129.82) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=univ-lille.fr; dmarc=pass (p=none sp=none pct=100) action=none header.from=univ-lille.fr; dkim=fail (body hash did not verify) header.d=univ-lille.fr; 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=1UtkdEOTfrI2zdTF383EAvtS8O7bO26qe7gsoSy44zU=; b=urGjq47JsEEyI+jUdhKY7FwdzIJF8Xhg3y0qGZe1Fiv+L6z7FerzFemeJRniHPWeVzbs7rQY/ckhYpC1BvzpS2gx29TcpT9WPi1W+dNsL85MU/stB+jpcnwhWae8nlGVzLcgD+TMWptt6wf4gw8b33B6Tve4bPGZBJLf3R/cEeHyL3Vl0dwi2KYsxQQWVVTZuUMa/k6lKME0HvX8MBWPwVxoGfb2oyL/YT2TxqXDDBMKOEXOgq8amHj2MwuDaCgOeffpVWwtsanOAXeQI6EGwhrpnqNqVc9hnm9Ub/WEfTHnJgMCL0TkODCrXDemTuGYlavP0Y7MNarjBNONP0pltg== Received: from SmtpServer.Submit by ME3PR01MB6625 with Microsoft SMTP Server id 15.20.7292.37; Mon, 19 Feb 2024 10:22:19 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=HmNNxgzgFPswZ0skMlkZehsrWEvSFw/uU3yfMqcB/4VVYUhO5z0OOZgVcxdSj+pHeDZ05q7AadLnOYU5J4SsuWIABcxVVbAHS6PwXUsIeo3S1N0uF0cwfbv9qdYcQYaq7K7gkQs44bjuq6D+9/vj1Q6kY3YYr989amXDaosq7DDPide248VelQcCgabDkfYCtQWjGu4QfstjakNXuXBmNjn1Nw3kVFZtPcOYSqbtW9Eq0VeuhBaTXUJrMjuEp0JEj3Ct7uaOjkAltHnOqaxiDTs1Iou+yzAtoK3ew7q27Zccxo0sTd9bSuhfADujV61cyjqwUGfGOgm96oY5v30mtA== 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=GQBCgY4EhfBz9oXMq8FkN/FLdx1kqlDSrvmnn0gv6eY=; b=Rj76HYTWLyHi4QK4VjvR9MTtPOlEJDI1vqYZ4m5PR67oiAIpoQ8qJvl9NZHv508waeilNoip92Q4R5uCmkSN3qgxD6QoRmUHc3lhfPQ089tmXaY9Sl3FP5sJ36XljhIgPuDs2Q4ipB2RMR0LYJrrZQucO5COEM+dTBYMRuMTkf569aWgkVx6Z5GubrZLHoZXVM+LxE9CbTtK9NUzeOGf8NM1cApkLIKFjQUYX7U5ogfELE6aG65VYMJMaFA5rgHav/R8U2rCfQyOtbFhmZODBFz5Ato0EM/43o6sUkX6iz/tsSeIyHO5E152uEGU6cYbuAoWflrBIEG1x64pY3RsjA== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 194.254.129.82) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=univ-lille.fr; dmarc=pass (p=none sp=none pct=100) action=none header.from=univ-lille.fr; dkim=fail (body hash did not verify) header.d=univ-lille.fr; arc=pass (0 oda=0 ltdi=0 93) Received: from SY4PR01MB5628.ausprd01.prod.outlook.com (2603:10c6:10:ff::12) by ME3PR01MB6625.ausprd01.prod.outlook.com (2603:10c6:220:114::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.37; Mon, 19 Feb 2024 10:22:14 +0000 Received: from ME2PR01MB5474.ausprd01.prod.outlook.com (2603:10c6:220:d2::13) by SY4PR01MB5628.ausprd01.prod.outlook.com (2603:10c6:10:ff::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.38; Mon, 19 Feb 2024 10:22:11 +0000 Received: from ME2PR01MB5474.ausprd01.prod.outlook.com ([fe80::babd:7f83:52ef:5baa]) by ME2PR01MB5474.ausprd01.prod.outlook.com ([fe80::babd:7f83:52ef:5baa%7]) with mapi id 15.20.7292.036; Mon, 19 Feb 2024 10:22:11 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=fbBZ0FTW//4qIJByshwzkv5P9FSOiRlC8LUhApy1bF/j9p0UYA7NqZWvCSiL5XGq0WFdMlAnovn9sVqtWsrp93zIQguDzAY9Zl3Zb5M99xAvn7jqmgIenJXXbcz7OZqQtXfsRWMPGtCrLNvQOnmkQD/Xmpb2rERwYuI7vnr53cZivQVjLVg/nwMGE9sX35qVuLnSdZNUXrvr8pN2MIOruBuuAzfSThs+/+2wR6yzg3K2SZEex4k7Rly+wT2tcWFRKQpu0GgL5VJ3dcPZj/W6T42RdpYuqIqEn+8XQFzRSj3mDsBgc41Q5epD9MLJ9dAVuqd4SHQFtxRW0O7gQKGmTA== 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=GQBCgY4EhfBz9oXMq8FkN/FLdx1kqlDSrvmnn0gv6eY=; b=coQf4YQRcWx0Asz6NHACdNg8zWs4Opo4C4l8oKj5CGpqN4i6OZLIcuN+ls0NjUV901b+2M+0zUPLK1Xq1nfn9Sf3pQ6fCjsLT3XPtWCKBO7tYV8otmLJpe7RoojnZjDOd3WAQmMhquOxuzzyUG1olVdyoDyr+d+st1SofMCqQO4iR2Ug0Ce3ySAVEi6AHQEPMHTqUkRE4hSFzzMDsVPOAnvN9m2UhACPsBGEnIgJZtqEh7E91rIacdoNZxzebBiNP26vL2evPYtvtX4XAeOGyr1cOE60xAxlZ2HRweuMleTd9aF58oLiWi4+9HZvZ6nvlfU0evGMgGDfzcRkWvANOw== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 194.254.129.82) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=univ-lille.fr; dmarc=pass (p=none sp=none pct=100) action=none header.from=univ-lille.fr; dkim=fail (body hash did not verify) header.d=univ-lille.fr; arc=pass (0 oda=0 ltdi=0 93) Received: from SY5P282CA0136.AUSP282.PROD.OUTLOOK.COM (2603:10c6:10:205::7) by MEYPR01MB8047.ausprd01.prod.outlook.com (2603:10c6:220:175::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.38; Mon, 19 Feb 2024 08:33:05 +0000 Received: from SY4AUS01FT007.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:205:cafe::52) by SY5P282CA0136.outlook.office365.com (2603:10c6:10:205::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.37 via Frontend Transport; Mon, 19 Feb 2024 08:33:05 +0000 Authentication-Results: spf=pass (sender IP is 194.254.129.82) smtp.mailfrom=univ-lille.fr; dkim=fail (body hash did not verify) header.d=univ-lille.fr;dmarc=pass action=none header.from=univ-lille.fr; Received-SPF: Pass (protection.outlook.com: domain of univ-lille.fr designates 194.254.129.82 as permitted sender) receiver=protection.outlook.com; client-ip=194.254.129.82; helo=smtp-out-1.univ-lille.fr; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by SY4AUS01FT007.mail.protection.outlook.com (10.114.156.166) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7316.19 via Frontend Transport; Mon, 19 Feb 2024 08:33:04 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1708331584; 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=GQBCgY4EhfBz9oXMq8FkN/FLdx1kqlDSrvmnn0gv6eY=; b=UxoynrDi6xDBjWiMFItH8wSLGRK+u/K1AgL+TAfNL9023p7Kj4rR9VtE0VWHlXXSi82rOy jCjLP+he4erBWOC9Eu72Xz2ZO5sLepI0pOZYSMPhohRMc22oJraQZtc0RjasAjz69ML049 wKs7Vd9sRCThMon6DmXf5WqRffzqx6ouY67LlNTNPVKIBXSIwzxg+AnEPoG1Qi5DCUltLB omX7eS415X1l0ZCBXKbz6YOAMFrPeeY6REjuaCf2s7VRIqNbVUa2cT0NuCVdEtb3lbvBAp wVMRQFkUgU97pox7G4jxY0nH5dscA+jEGq+FVb+wUgADgGOb/jUKfLP3BJE5WQ== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1708331584; a=rsa-sha256; cv=none; b=FqKYbRMWJQnI/6Hj5gHV/qOFg1dzW4dP6nUftTL1qgmEMFC4sXtoYqUOIox9h0pMUzsFlJ fEL7Dl3UsKe4w6Zs8PvMc87FSsw2GRB8BBbtBNJdHaUbTwSk+vlsNkP1+E5/I1WlwxWUuU /jXduPTHIF7lY5UDoPBsQ9uoI4uqJTAN6IuZKWiHXY3rcNLFHk+QRm9f7r2BpA+Smve4xL gXlptERxhwHfURtQXJ3jXMP+wC5ghAFDpgN0gJ6i0/7QTZqtoFrsYb0ebuwOrRBKZ1rUwL Hc346tq2l9AOPTpl45WoeJ+ma9XBkt3gzSFXKlmX/PhXlgm6ubmNKHdRJ51JAg== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=univ-lille.fr header.s=dkim header.b=ILVQZLRW; dmarc=pass (policy=none) header.from=univ-lille.fr; spf=pass (relay.mimecast.com: domain of johannes.huebschmann@univ-lille.fr designates 194.254.129.82 as permitted sender) smtp.mailfrom=johannes.huebschmann@univ-lille.fr Received: from smtp-out-1.univ-lille.fr (smtp-out-1.univ-lille.fr [194.254.129.82]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-108-wT-kuqedMRm5cdrKeHs1Zw-1; Mon, 19 Feb 2024 19:33:00 +1100 X-MC-Unique: wT-kuqedMRm5cdrKeHs1Zw-1 Received: from smtp02.univ-lille.fr (smtp02.univ-lille.fr [194.254.129.96]) by smtp-out-1.univ-lille.fr (Postfix) with ESMTP id 4TdbQJ09PKzBsZX; Mon, 19 Feb 2024 09:32:56 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=univ-lille.fr; s=dkim; t=1708331576; bh=FEzqWoqQgLU31XmPm7nS4PxFeVzPUdktNAYi/JY/BeM=; h=Date:From:To:Cc:In-Reply-To:References:Subject:From; b=ILVQZLRWpmX/FkzCpFzOKlTvPjhUjeM6YvIBOPIk3pE1tfGu19U7KpI08SBQPD4/N O75VYy039w9D4QjhWsx4e5cjyi8XqBH72Ya2KcSBisaeKk/3DTPhnLhOiI8a6ojh1f FEIYfXo1bSB0Rso+5ZyLIE8w5jprkKpqjpwhSVFD9lbDewq68yF3HQXqy2Z8BRCrxx uDxI1I91KTjvN1zcsMid/IvFoLz6WbVoyadMO2JCrMHFdGSCGgeWw+olG4Q5vxHwnJ U6lRsNA2idlfZVzBugedFEDZ6gixt/4jby7ZZPxuFDgNd1tab8oDBjBRRcFiUlOc8o 3am+Z9lAlMB/g== Received: from zimbra-store08.univ-lille.fr (zimbra-store08.univ-lille.fr [10.140.10.48]) by smtp02.univ-lille.fr (Postfix) with ESMTP id 4TdbQH757jz6stn; Mon, 19 Feb 2024 09:32:55 +0100 (CET) Date: Mon, 19 Feb 2024 09:32:55 +0100 (CET) From: Johannes Huebschmann To: Fosco Loregian CC: categories , Johannes Huebschmann Message-ID: <1035059685.40504588.1708331575910.JavaMail.zimbra@univ-lille.fr> In-Reply-To: References: Subject: Re: On the etymology of the word "functor" MIME-Version: 1.0 X-Originating-IP: [188.110.121.207] X-Mailer: Zimbra 8.8.15_GA_4581 (ZimbraWebClient - FF122 (Linux)/8.8.15_GA_4581) Thread-Topic: On the etymology of the word "functor" Thread-Index: 7caX/PSwNwyKUGjQ94KP68vToQv/pA== Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=univ-lille.fr header.s=dkim header.b=ILVQZLRW; dmarc=pass (policy=none) header.from=univ-lille.fr; spf=pass (relay.mimecast.com: domain of johannes.huebschmann@univ-lille.fr designates 194.254.129.82 as permitted sender) smtp.mailfrom=johannes.huebschmann@univ-lille.fr 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=true;Mimecast Threat Dictionary=true;Custom Threat Dictionary=false Content-Type: multipart/alternative; boundary="=_ad672d82-41ba-46bb-9403-4a6379e27efd" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[194.254.129.82];domain=smtp-out-1.univ-lille.fr X-MS-Exchange-ExternalOriginalInternetSender: ip=[194.254.129.82];domain=smtp-out-1.univ-lille.fr X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY4AUS01FT007:EE_|MEYPR01MB8047:EE_|SY4PR01MB5628:EE_|ME3PR01MB6625:EE_ X-MS-Office365-Filtering-Correlation-Id: 491d23b9-33bd-409a-d381-08dc31256470 X-Moderation-Data: 2/19/2024 10:22:09 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: ivrZER+tqlwhir8pbpZdY/dsoDwj6scFVrD6+uNnIg3G+5dtWriomwFRJ3kDAs0s1ucaJJN/Ld5so7OYyWiqe6u+0/Z08Z9uFel3bp37rA7tYcxpbx8X2rSNoaGnBYYqWDaSyF9/aB4zXinzNQk1EXOLaG+MGIn0qqzsUnxzLeGmJrYrr/kf2wiESEArje1OQIXMofgpGq7dkVAnWoTHRA8XDPv6//B98vVAMgbMt25X1EM30YkidQPqC0iEbYpz7cE93imLogA1j8SWI2xDbZmogft44u8qR12IEu6b9hN7dzUJkcgyPHK/g4rMez5rwLn2unU9ehOzinj6tajXnzAeqzaH21gPpwYsxrNKpTegQbjgG2XlWSTMVck5B+Mxljf9PKhIPwxjfW32jpWBJB/8vHDjCEkcMGmE9+2pm5OY3AITLwxmtO+w02aTm9kUeYMQ0TnZqC/b3FIbjReuTua3ksJCu+xRSbbB6q2r9ecqv766vNDrJx8P282/QXUPj11gHibOFnozXDMzC3ATBiYs/oUduR4tsCxxbQ9muJAz5ROFJJZsy2ns/IwZX7Ld/sdRwl4PYNIBRAuj3jZabzSctjYIJFTjA2/62dOXSwd2j6TRK883GBjX9tBSLrfdDmSyMlk1lqNUdH1K02haqaJBURons6TwaK77GOmgGBnKDYwGBjcDSzfH8IhQj1XtYJL7aKRJNRhomkF0vPZd+8Dg78hcSinzDBYls9AH8zo= X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:FR;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:smtp-out-1.univ-lille.fr;PTR:ErrorRetry;CAT:NONE;SFS:(13230031)(4636009)(376002)(39860400002)(396003)(346002)(136003)(451199024)(82310400011)(64100799003)(48200799006)(35950700004)(32650700005)(61400799015)(40470700004)(166002)(156005)(82740400003)(86362001)(36756003)(81166007)(88732003)(89122003)(33964004)(7696005)(498600001)(316002)(786003)(76576003)(6266002)(966005)(54906003)(45080400002)(66574015)(83380400001)(426003)(336012)(41300700001)(2616005)(26005)(107886003)(2906002)(7336002)(30864003)(7416002)(4326008)(44832011)(6862004)(5660300002)(7276002)(7406005)(7366002)(68406010)(70586007)(8676002)(8936002)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 491d23b9-33bd-409a-d381-08dc31256470 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT007.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 19 Feb 2024 10:22:11.5350 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: 1oB8VgrPhdUR+1F0ChjSWCRMEjgKScyk9Qk5JyxWKIebM5KnweEdh/AH1pu4JG4Fpe7rCs18Xgx3ecamgMCnThEMahT1jizXpGJipluAgGXrpExSz5nU6mD4MHgFJdGwtVov0E+8BqF5RHThAYGDy9AdqgBx1x0kbs+z2DgIBFB2xPLK4E4jxzBL2QWLfzBx/+NvxllgfuBWlqxDJ8pRTA== X-MS-Exchange-Transport-CrossTenantHeadersStamped: ME3PR01MB6625 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: <1035059685.40504588.1708331575910.JavaMail.zimbra@univ-lille.fr> 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?aW1JQmdiVkluODZIYlJzeStWRXZ5U0dyWTAyL3ViYUdRenJkd0tPMTJPUVk2?= =?utf-8?B?WW9xazRETnNLa0N5TXhPcG14N0x4cW92dERPWEg4R1lCbkh6SXd5WXRHOE15?= =?utf-8?B?OTVUWWRBUzV6RHZHclVKc1JIZ2J1M1R3K1Y5R01qVzJvcXFQem1ybHRCRHVp?= =?utf-8?B?dHZ6Y1FLaE9PN2tNdEQ4MldDcTQwQmMzRG1YQld5RDNtUVo5VXdMYjR0b1N2?= =?utf-8?B?bEgxcnpmTDIvNmRFS0JReVJnM1ZtelJDOC9VRzA5eE8xNExuVXYyTUdVZXk5?= =?utf-8?B?anJoL0JrbGMrOSt0NVJ0ZENBM01pT1BUWkt3LzJnRllNSWJwbHBoVWE3YXpn?= =?utf-8?B?RmF1dGllOXFjRlduSkdCTkozVHdOMDBPM2dWNnpmZGNHTzY0L2dXbmJVVThl?= =?utf-8?B?Q0xYUUprYnNHT295cmxiYWlJbEx4a3NrSm1XUmdjRWxOcEMxcXE5SC93QVhG?= =?utf-8?B?Q2U4a09IdFphTlNFN0VVSkxxeG9QZlhiSEZUNko0THIwaFUwbDZtZHlrbVEx?= =?utf-8?B?bjdWNkFnWFpiaUUyNzByUkV4cXRDS2NqMVluNDA2ZHlvbG10T01xZUdHTmNG?= =?utf-8?B?S21ZdmxPWkRZSTFucGtISmFFeXZSS2pIVGV3RWJhVXhjcktoSnNhbEdrRVBs?= =?utf-8?B?S3VTbU9CMDA5eExyaFo2Q0ZzNHZPOXFtcmVxcXdyOWJoMWJiL3JaQzB1U1B0?= =?utf-8?B?Z1NkYi9lKzk5c1k2MmtScnA2OUFFMGJOelo4VndSc2hNNGZXS05SVlB3Ymoy?= =?utf-8?B?djdWNjNsK0lPTHVrWVBxQitxdzNIb0tkTXFMV0hSZW1iWTBoQUVEcDQxYmdZ?= =?utf-8?B?bTBaSkcxNWk1bEI1Rk96UkM1Z3RKT0NVdmNIRkJlMXZ4UUVFWEtmRmR3V0ZD?= =?utf-8?B?bnpEVWs5ZTEyYThlR3FuTndOQWdHaVFDUGxQK0JjWW1lVVJuUGpsWU9BWkxB?= =?utf-8?B?N2NFVGh2aDRFMlRMZjYzamo3c2k4NjkzR3EzOVNrYnFOeUZXa2VkU294MUgv?= =?utf-8?B?aFpueEsvSWlHK1VEU3RHTTduVVF5UnR2NXZWeklnRDd6aTdkV2VWYVg0dGdD?= =?utf-8?B?ZUwxeEQra0ttajlXMWxlN0JBbHhLWmRrRVZPZGdPK2REZVZIcElMMW1CWllY?= =?utf-8?B?Z1NJckFMaytZREhBelZPTi8vaEgzZFZyNjNKcHRtVmtDWlZjV1NnVGVwK2RB?= =?utf-8?B?a1JkTGVOaXgzNGRsS1hjY0swWHZrZUtMVzU5WjVHaHZ1WXYvVHQzcjg2RGNH?= =?utf-8?B?RTBwekxlYVp6UWpmUHlkOUJiOUVzL2lhb0NSbTdhNlJ4a0l6bVc4anAvSVBr?= =?utf-8?B?alVpL2RCa1JwRzNiSjJnOGtFcGNLbWhocEV2YWpwSWVGNlJ3UjJyeWxqU0VP?= =?utf-8?B?UGxYeHV3UWtVOTUyd2U4RE1iWHV4VEZpdnJmTVhOWUlScWNSckh5R0lVZ1pk?= =?utf-8?B?TjBHMVIwU1VTZm9vZ2w4VDIwUXFjeXNkTFEvbS9VWEtHMlB0WHppRjNuYjJv?= =?utf-8?B?R01ieUtGSjhkYnVzeEEwanBQL1hhRDFjVHpGckJUOFIxS3g2Qm10ZDlTK0VZ?= =?utf-8?B?UjI5dThrYzBxTmp3T0VXdkd4YTA5Z2kvUnNXVEVxL3VvZGdXcWhiZGFnMld5?= =?utf-8?B?aDFZTmlodlVzbUV1b3ppZllGeU12eXRkbkpjY1hFMmRkZFNVRHpSVVlNbEY5?= =?utf-8?B?UDZTRjl3QXRiTzBrSGxrQkxLcmNyL29BSjZJU1RwNFBiY016V0dHN05nPT0=?= X-OriginatorOrg: mq.edu.au --=_ad672d82-41ba-46bb-9403-4a6379e27efd Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Frege used the term "functor". Perhaps it then was lingua franca in philosophy circles. Also we should be aware of the notion of function being a recent idea (Euler ...). Best Johannes ________________________________ De: "Fosco Loregian" =C3=80: "categories" Envoy=C3=A9: Samedi 17 F=C3=A9vrier 2024 13:09:21 Objet: On the etymology of the word "functor" It seems surprisingly difficult to trace back the precise origin of the wor= d "functor" imported by Mac Lane in category theory from philosophy. I wond= er if someone more experienced than me can find a better answer to this mys= tery. - As it is well-known, Mac Lane says in the historical notes of Chapter 1 i= n CWM, that the name "functor" is borrowed from Carnap's "Logische Syntax d= er Sprache"; Carnap writes the book in 1934. In his book "Tool and object", Ralf Kr=C2=A8omer partially rectifies this c= laim in that he says: " The somewhat arrogant account [of Mac Lane's review= of Carnap's LSS] obscures the fact that Carnap=E2=80=99s terminology has a= lways since been widely employed in logical analysis of language". So, whence did Carnap borrow the term? Was it also a "current informal parl= ance" [CWM, p. 30] in the logical analysis of language, as much as "natural= transformation" was in Mathematics? (cf. again Kr=C2=A8omer, where he make= s a good point of how the term was employed by Lefschetz and Hurewicz). It seems that Haskell Curry, in his "Some logical aspects of grammatical st= ructures", attributes the term to Tadeusz Kotarbi=C5=84ski, where it was in= troduced in his 1929's Elementy teorji poznania -in a somewhat clumsy trans= lation, edited in English as "Gnosiology" by O. Wojtasiewicz, and only in 1= 966. It seems then reasonable that Mac Lane, not knowing Polish (or did he?= ) just wasn't aware of this much older occurrence. Curry's paper is behind = a paywall for me, but in his 1979's book "Foundations of Mathematical Logic= " Curry summarized some ideas from his "Logical aspects" (it's the paper wh= ere Curry introduces the toy language of sz=C3=A1m, tet=C3=A9l and tant=C3= =A9t), and the word "functor" itself occurs multiple times in the latter bo= ok, with no particular introduction -reasonable, in 1979. Too bad that, if one is stubborn enough to find a copy of "Gnosiology" (the= original in Polish seems quite difficult to recover, but I'd happy to see = it), they will notice that yes, the term "functor" is explained to some ext= ent in the text, but it is not introduced in proper detail, as if the conce= pt was already there and Kotarbi=C5=84ski just borrowed it from someone els= e. (Kotarbi=C5=84ski speaks of a functor as an abstract "sentential connect= ive" at page 259, at the very start of his second chapter "The deductive me= thod". "Gnosiology" comes with an appendix containing the review that Adjukiewicz = wrote on Kotarbi=C5=84ski's book; Adjukiewicz uses the word functor quite l= iberally (see for example: "if that of which mathematics speaks is the obje= ctive correlates of some functors occurring in mathematical theorems, corre= lates which in turn have no arguments, then mathematics speaks of numbers, = as, for example, in the arithmetical statement <<3 + 2 =3D 5>> such ultimat= e arguments are numbers, and nothing else"). There is no mention about Kota= rbi=C5=84ski being the first to use the word, be it as formalization of a c= oncept from common parlance, or as a word coined for the first time. This is where I start getting lost, and my skills are not enough any more. Kotarbi=C5=84ski seems in fact to attribute the coinage of the word "functo= r" to =C5=81ukasiewicz or Le=C5=9Bniewski, but never explicitly links any o= f the two to the term (I quote: p 244, "Lukasiewicz, in his system of the s= entential calculus, places the functors directly before the functions to wh= ich they pertain" and p 403 "other logical types can be formed by sentence-= forming or term-forming functors of the various kinds (Lesniewski)"). I fin= d very little evidence that this attribution can be confirmed; this paper h= ttp://www.numdam.org/article/CM_1968__20__153_0.pdf talks from the very = beginning of "the implication and negation functors of =C5=81ukasiewicz" re= ferring to Rosser and Turquette's book "Many-valued logics". Unfortunately,= the only edition of the book I could find has zero occurrences of the word= "functor". From what I can find on the internet, Le=C5=9Bniewski seems to = widely employ the _concept_ of a functor, and he is taken as the most ancie= nt philosopher doing so (Le=C5=9Bniewski dies a few years after Carnap's bo= ok is published!) but there seems to be no proof that he was the first to e= mploy the _name_. I'd like to get to the end of this. Any help? Fosco 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 --=_ad672d82-41ba-46bb-9403-4a6379e27efd Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Frege used the term "functor". Perhaps it then was
lingua franca in philosophy circles.
Also we should be aware of the notion of function
being a recent idea (Euler ...).

Best

Johannes



De: "Fosco Loregian" <= fosco.loregian@gmail.com>
=C3=80: "categories" <categories@mq.edu.au>
Envoy=C3=A9: Samedi 17 F=C3=A9vrier 2024 13:09:21
Objet: On the etymology of the word "functor"

It seems surprisingly difficult to trace back the precise = origin of the word "functor" imported by Mac Lane in categor= y theory from philosophy. I wonder if someone more experienced than me can = find a better answer to this mystery.

- As it is well-known, Mac Lane says in the historical notes of Chapte= r 1 in CWM, that the name "functor" is borrowed from Carnap's &qu= ot;Logische Syntax der Sprache"; Carnap writes the book in 1934.

In his book "Tool and object", Ralf Kr=C2=A8omer partially r= ectifies this claim in that he says: " The somewhat arrogant account [= of Mac Lane's review of Carnap's LSS] obscures the fact that Carnap=E2=80= =99s terminology has always since been widely employed in logical analysis of languag= e". 

So, whence did Carnap borrow the term? Was it also a "current inf= ormal parlance" [CWM, p. 30] in the logical analysis of language, as m= uch as "natural transformation" was in Mathematics? (cf. again Kr= =C2=A8omer, where he makes a good point of how the term was employed by Lefschetz and Hurewicz).

It seems that Haskell Curry, in his "Some logical aspects of gram= matical structures", attributes the term to Tadeusz Kotarbi=C5=84ski, = where it was introduced in his 1929's Elementy teorji poznania -in a somewhat clumsy translation, edited in English as "Gnosiology" by O. Wojtasiewicz, and only in 1966. It se= ems then reasonable that Mac Lane, not knowing Polish (or did he?) just was= n't aware of this much older occurrence. Curry's paper is behind a paywall = for me, but in his 1979's book "Foundations of Mathematical Logic" Curry summarized some ideas from his "Logica= l aspects" (it's the paper where Curry introduces the toy language of sz=C3=A1m, tet=C3=A9l and tant=C3=A9t), and the word &= quot;functor" itself occurs multiple times in the latter book, with no= particular introduction -reasonable, in 1979.

Too bad that, if one is stubborn enough to find a copy of "Gnosio= logy" (the original in Polish seems quite difficult to recover, but I'= d happy to see it), they will notice that yes, the term "functor"= is explained to some extent in the text, but it is not introduced in proper detail, as if the concept was already= there and Kotarbi=C5=84ski just borrowed it from someone else. (Kotar= bi=C5=84ski speaks of a functor as an abstract "sentential connective&= quot; at page 259, at the very start of his second chapter "The deductive method".
"Gnosiology" comes with an appendix containing the review th= at Adjukiewicz wrote on Kotarbi=C5=84ski's book; Adjukiewicz uses the = word functor quite liberally (see for example: "if that of which mathe= matics speaks is the objective correlates of some functors occurring in mathematical theorems, correlates which in turn have no argum= ents, then mathematics speaks of numbers, as, for example, in the arithmeti= cal statement <<3 + 2 =3D 5>> such ultimate arguments are numbe= rs, and nothing else"). There is no mention about Kotarbi=C5=84ski being the first to use the word, be it as formalization o= f a concept from common parlance, or as a word coined for the first time.

This is where I start getting lost, and my skills are not enough = any more. 

Kotarbi=C5=84ski seems in fact to attribute the coinage of the word &q= uot;functor" to =C5=81ukasiewicz or Le=C5=9Bniewski, but never ex= plicitly links any of the two to the term (I quote: p 244, "Lukasiewic= z, in his system of the sentential calculus, places the functors directly before the functions to which they pertain" and p 403 "other log= ical types can be formed by sentence-forming or term-forming functors of th= e various kinds (Lesniewski)"). I find very little evidence that this = attribution can be confirmed; this paper http://www.numdam.org/article/CM_1968__20__153_0.pdf talks from the very beginning of "the implication and negation functo= rs of =C5=81ukasiewicz" referring to Rosser and Turquette's book "= ;Many-valued logics". Unfortunately, the only edition of the book I co= uld find has zero occurrences of the word "functor". From what I can find on the internet, Le=C5=9Bniewski seems to widely employ th= e _concept_ of a functor, and he is taken as the most ancient philosopher d= oing so (Le=C5=9Bniewski dies a few years after Carnap's book is published!= ) but there seems to be no proof that he was the first to employ the _name_.

I'd like to get to the end of this. Any help?



Fosco
 
 
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
 
--=_ad672d82-41ba-46bb-9403-4a6379e27efd--