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.9 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,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-sy4aus01on2104.outbound.protection.outlook.com [40.107.107.104]) by inbox.vuxu.org (Postfix) with ESMTP id CEE1C2BEA2 for ; Mon, 19 Feb 2024 19:58:34 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=E8+F17EyoeksYfNf8TnGQwMe9in1JUks5MxlPR2AZalKBY4A3yVzPpeVuszXX4eI1X94oZnRTzkqA3vSjEDM59LKEOAhrX5f4vNVwzQ/9QDGHQPY9liupT4G+Us/WWm2zl1yAMRcbHLWaZD/oEmDFjyxQRmeo1OSTgV5wXgkYneyKDf0Gm85Yjie0qLGLVYht5z0mAiZ5Q7O9gY9cw4/asnVwN9PEDvUF6w/4oX1nnxXrEBjDVYuz6JmRPNuQOhplcqxQ2v2wcdT+sChk5x2YEFgG9ZaTSwZXHFVZRPoL0g4P9p/eAgHvkYb+IstW9WU/1zG3IiEdZ4IVU2iU03/Kw== 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=/UskOBQckPGkJBTJaz0kEL+7EZb/JsqRnuHYm9Lq458=; b=UszcMgfvib1LQx9NpKoUvSlzhfUkUB+47GV/7aPBv4Aro1KIl8LTP87Nrrt2086Pt/JYdiAtIwo8yz5tuusoWLndvufB6LcRGnYOPameDd3jLX38z1YTnmF+6C1sDNxGlOaHAJqsH1w+3TtwgApr3X7H7baaJy/y8gcoPfREOyUU9MrssZSM+zJYxLZv5c/wX6b9G4AIlZqh3Y7w14jPWQwWZsgRyDpvQ858nHI9Q7ixea5K4u6TY0f2KymPaJKN06aSpjrjdO8BRkB3S7zvvCQkw+L5lUKI0666WZA33s0IfClz2LaVWYR19JnkUb5X3IB1A3YfDRHkgyDiZRZNgA== 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=/UskOBQckPGkJBTJaz0kEL+7EZb/JsqRnuHYm9Lq458=; b=j3SGGKd8uL8fDNTetAKzyVZYK8PQ7+skVWL/JT7AIc/jcJGT02JGAfocxspZq0Auo9GW2OSGm//FJBdU5WRxLNA2z21TE1+z6sz8RxEFYQUvOk21ISpwe1vuAPPLUFMsM1Rn9iQYvlrqqLEXLESN9kfgV2xx2O04n7vIAyS8wUboV8QUC14XO9Rw07e+MYDoxRyOKeNJW4pnodoNwkZffJN9YLh8/Rg3arHbvLcMQ4aPrb3X9XrUfN+wn6YX06/TXoeqgfsjP//9EhxXb62e3fOmtOFyqxmGckGZ9Jh9k4sUGdajTn34s8P8ANPSp3Vt5IDY0TAlZzJl9zM1UBLlFg== Received: from SmtpServer.Submit by ME3PR01MB7484 with Microsoft SMTP Server id 15.20.7292.39; Mon, 19 Feb 2024 18:58:32 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=BAU+LDUer46vssIIZAU6uzUTd8NIdaQPuvUPoxnV11Q91ELwn+mhdM7RcAUyQPB3TyqRJcoBn51qkH/RBD98TpWAIVYaB8bluOc21U318o70vOgwtewLqpYZ+ZI75itVP7Ou0l0E8gzmmP8jNcPV1JsIqQfqTM/3Fo7cnme98DiSd0D8kffFGc0KVqGqkPwQG35GIMz3Ar8QQjxsMLrUT0LPTO2BJZpGpEwMJYC9v6UraFoslJia4HC/rfWyex6d8kwLsYHBU1uDEhf3/15k7hX08gxGX7infIpAlEHQIhElwNl2vEZRGcY9LRCbq/Z7dyUC/KWEG1kLI8fc6PCf3A== 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=VS0NRDSLtAnK5uKcdLdBUWNkcK/YJULhhURaw/HXoOM=; b=hTGs1xXPyMbSbLdz+qDVLrpHFSci/eTKT7HfM6mGguCTDeJhFckCURCqKHPZn7Tltw8vKKv9fxMbYfEyehBjn7xElN1wufCSP/1+52Nu9oIhN9Mv4tsn+ojcU0/Eqv/yiY2DFNZCGrp6UB0w63VB056trHlVyBlC4EgzRKHMmB9WrFoyxka2jbEfYRZnjCiW6e4ExjD3paKyGbaI4DYPR5t4nxFJCvaEG+hTSLPnHrZhrrYduyGkhwnotHfRS3nGKErySJ0+t1SrXiZIZdlxILrJLftnTWD4W5kqEJEoM5+EcaBy1DiuUastfri9qLBHmIgLWhdBa1lCHCrJlKCFXw== 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 ME3PR01MB7174.ausprd01.prod.outlook.com (2603:10c6:220:16a::10) by ME3PR01MB7484.ausprd01.prod.outlook.com (2603:10c6:220:135::24) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.39; Mon, 19 Feb 2024 18:58:28 +0000 Received: from MEAPR01MB3654.ausprd01.prod.outlook.com (2603:10c6:201:38::9) by ME3PR01MB7174.ausprd01.prod.outlook.com (2603:10c6:220:16a::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 18:58:23 +0000 Received: from MEAPR01MB3654.ausprd01.prod.outlook.com ([fe80::8d2b:eb3:c473:3596]) by MEAPR01MB3654.ausprd01.prod.outlook.com ([fe80::8d2b:eb3:c473:3596%7]) with mapi id 15.20.7292.036; Mon, 19 Feb 2024 18:58:23 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=X3IGahv3vYzQpU0rvpGbrFG7p79AZEnhRAp7IlVWEVKOqQSSCoS4FEB+151JYKiYWtjq582qrpqWXa2mgeZxszevqhIZwxr8gAuZ2L1cjWYHmf+CpYzFkVLUUwO0YFCuCuzsoh8qDtz5otqB6EH6OBQ237qz691V2Al+6Nv+asnZzhB5NR5OrVZlkDM0jzoeCnDfgIVtTvCw2qTzwBkh/nMWn8/uT2r+5W3OPV8GCeG0f7ZQS0Cx+wDBNhLy84k6qa7HAVBX96cCnxM99vVjayTdDbAu1pDRIVlksH7551NWHitFXy1ckF6SmpBS/gIhvXOJhcJW4XxCbUhZV07PUQ== 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=VS0NRDSLtAnK5uKcdLdBUWNkcK/YJULhhURaw/HXoOM=; b=Pbk47dEDCCZEXKdRoVUQZkCxinS9N44ZjVpsd+jnb1fmN4Lf7Qsg5eN8EaYw+bjQzSYKFPvR8LZ8T4tJe29IU4dvnlgr6z11fU8jaOwnk5nlh6HJg23/IIuDElJcag7LBosDD+sOzdT3jbuSiOD35VfEfPL3OIe+8Kf/sbalDt3TvKX8wiTCH8nH6QhQv7NSHPxe8N0J+Ei/Af5fQO8Mg1BLuXdx1FGkDWN1csa6lPg+7Hci1FpwyTqd/gJpmCd1b/xN6JVtTHwbYorKMHKqIH4IYaSO+7T424Ua3PiMFAoKrooGUQH3oJNiolbbQViskFNVYH6KGKF0SLkDeLMcFQ== 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 MEAPR01CA0090.ausprd01.prod.outlook.com (2603:10c6:220:35::30) by ME2PR01MB5732.ausprd01.prod.outlook.com (2603:10c6:220:d7::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.34; Mon, 19 Feb 2024 15:50:01 +0000 Received: from ME3AUS01FT008.eop-AUS01.prod.protection.outlook.com (2603:10c6:220:35:cafe::9f) by MEAPR01CA0090.outlook.office365.com (2603:10c6:220:35::30) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.38 via Frontend Transport; Mon, 19 Feb 2024 15:50:01 +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 ME3AUS01FT008.mail.protection.outlook.com (10.114.155.173) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7316.20 via Frontend Transport; Mon, 19 Feb 2024 15:50:00 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1708357799; 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=VS0NRDSLtAnK5uKcdLdBUWNkcK/YJULhhURaw/HXoOM=; b=Q4Lwh5o3N8cTm7aED0+vXCYrKT76OjJUqRkGcMKVw4bcjMWmQbC9O9r9cX/TtP8fNYYMFe IiC+Z7t/wQT+yMd/wf7D/qlW/IJ1Gw3lDufLDBCgf0IJf2rsUTMWksW7SvKAGAATu9IS86 OIneVsXpblGaXi7ZauMRltqktVnQXJ7LfLcNLQPDiY6W9++jB7nUTmbRAg2BoqQZ1Z3pPk wQDSa5AuNvF66czkRTzMS8Lv8u4LbcAq1+4edSr+DGnaxvy4hhUeug4Ws4JRV1PjQe/doK 5H3GtQxBHA0aw+De8JNSHHd0rn1sdIJrAhwi4t7QeN8gpN5S+iGJ4/oAMoW3Yw== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1708357799; a=rsa-sha256; cv=none; b=XJIihDwG0o7E1YTnh/Zl3wcY0mw9/YDZbABKWZ4hdC79LZWWrjEXfzyACAOywQf2SWOREp ucRlSxRCpHQya/obu6oBl7mw73Sup2R0KKd8zuijKkarComLCcVUWhuHAcTpFjVP6iEyeI 25lx3xSGNQF9h5pdO+lJ4TCvHVJAdrIHytubJPibHBwV1HNuF4lx9G/viM+mYdS9z/ihpK DB1lBKxSQ83Yu/d55r7CsqSOQyeAjrMHzm2887CvbCFJ6GNsbSjAw3UysrlRawdrZCkxGC Yww5gy/uOGRwaEDVqOQwk4gAFDAaoLwFwr7fh29ySTzmsdkfOkgC/jssMix89A== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=univ-lille.fr header.s=dkim header.b=Yk19lRQd; 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-52-c-wjHTQfOuyLzkA3HgI00A-1; Tue, 20 Feb 2024 02:49:39 +1100 X-MC-Unique: c-wjHTQfOuyLzkA3HgI00A-1 Received: from smtp01.univ-lille.fr (smtp01.univ-lille.fr [194.254.129.95]) by smtp-out-1.univ-lille.fr (Postfix) with ESMTP id 4Tdn666MYgzBsgj; Mon, 19 Feb 2024 16:49:34 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=univ-lille.fr; s=dkim; t=1708357774; bh=wbbQBG/l/NeEY99yPKY8AmWvUmTiW8AUkRlDoXYqek0=; h=Date:From:To:Cc:In-Reply-To:References:Subject:From; b=Yk19lRQd69vSTAq5s6EI94sUG/8Ls1BmDWi2ZZTsp4O9BkZTQyX3PZyOMda1k25Za //7VqhzpyammpO1LYWQGT55bHhD+uvQMAeOUFsADDNiz2/2kB1KES+/Y+FxKgIJRiU OsR5+IIpuqcPZGA6ycWm/W4miKLZ/PeHASEYhfd/gOoxPGGBLreWJYVD4ALPeco0K9 ao+NCDEOGOvzzu+wXmWcuhTD5dmuHCzVO6omitAadVT9O7HRrJnumJdCNHR+oaB1lu lpdvGQA3eUmvlCxkjzuEuZfEpJacMk5ZAz3NFm8IjYJGZ+qy9XcWTevmhbWRQTuNMK YQOQMmS8fWGpQ== Received: from zimbra-store08.univ-lille.fr (zimbra-store08.univ-lille.fr [10.140.10.48]) by smtp01.univ-lille.fr (Postfix) with ESMTP id 4Tdn6663Pcz7rZp; Mon, 19 Feb 2024 16:49:34 +0100 (CET) Date: Mon, 19 Feb 2024 16:49:34 +0100 (CET) From: Johannes Huebschmann To: Steve Awodey CC: Johannes Huebschmann , categories Message-ID: <1265929563.42862592.1708357774768.JavaMail.zimbra@univ-lille.fr> In-Reply-To: References: <1035059685.40504588.1708331575910.JavaMail.zimbra@univ-lille.fr> 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: Ftf2fNlgusCNg8AtS1+AbGDo/IKAQQ== Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=univ-lille.fr header.s=dkim header.b=Yk19lRQd; 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="=_bdcf623c-0f13-4647-ac6f-7638fdbfe753" 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: ME3AUS01FT008:EE_|ME2PR01MB5732:EE_|ME3PR01MB7174:EE_|ME3PR01MB7484:EE_ X-MS-Office365-Filtering-Correlation-Id: dfb82a2d-2eae-4a45-3084-08dc31626df6 X-Moderation-Data: 2/19/2024 6:58:21 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: Z2HcBWyL4Qo6Ess1bKd+eJXMYkoyXBNJwcCdR7Sotgryzwv9ywKOiQxtQaMFcNvgmtfyFLRYRE6TgyyQL+ulJAgtW1VQJH5sxJXTmx6A+p5Mg8r0a2b3PpBjMjy365dbgtMyEDAtAVJ3RrbBedDOmGGaWWLGAXSmVSYsXWUAkgQmFLOJkbdFQisHntL12ZeG00YO0iET7pzn0tKwDTxQCGZ6fPqgsysBFMHLDpVvp4JngZdgATC8sEoGEiPThkZPpBBb4BS21+aEFithynntvwTWuzovLlYTBNr8emmWSNPb7yVCgLfoySRLdpfqopbSGCx8+4m2QUshJ2Ij0nlTItedoX+7dRdJ3hYQXlGBb/IdW0HMgtjocAIcmOE8+mrnJDYhu+d9p2R/QJGxh4bQ6b9lDp6s6qPWVi6N4yoP7k5QPyTXXNql3tdnmbr/u/k0prxbGkksxCUEtDE57/Id/Bw+C/LvIJKx/Nnpk09yS+DrvMIAARPD0A0kSglGOv23z7xy0SKj2OfjZjNjFbcq+KEJOfXColRx3Zj1rkNc4onUs9F7kCrGRorLaEg6vznvlAJ+0v9OGIzh89MsUizIalbcsDwcpB9tvzuOhVPMwKpJ0rGRXdaQwcdDzDMR0L4vdSn/Nd2TYoSO+9iBmLoIOHHT711j8EexVr2Xo/ytaatiUs8s2RitOl9VYgjWX3coW2vv10QQxvkIaPigM9FyB7MTHwv3aldyvijT7AqXtoQ= 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:smtp-out-1.univ-lille.fr;CAT:NONE;SFS:(13230031)(35950700004)(32650700005)(40470700004)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: dfb82a2d-2eae-4a45-3084-08dc31626df6 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ME3AUS01FT008.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 18:58:23.5050 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: td6AkUvQ93IBAkUGotQl7vmUOCXJHgBgAAVbHclOQug9iT2tjtc6jLUYpE6LysNnyPr6EwZ2kI0+R/357w0zJLVIQ8ozUXpYBmdBDhUj6EN4SJRTFb95DE3ZSTRYteeAA8VDMrHyqEeweXT47GdqY5oY3YrPjgZcunp58y3YhOjpsCCabXkWpmJnqpq+4dncTW+W/dT0qNVWbynhCmSYsrQHEkE7tkmt+KyuD74W1iU= X-MS-Exchange-Transport-CrossTenantHeadersStamped: ME3PR01MB7484 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: <1265929563.42862592.1708357774768.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?bnNJS1AwQjVWdDZFOGVHb3Y3U0QrMlBQeE51TCtsYjFOZThiS1BQbmJhWjJn?= =?utf-8?B?dlhvZzU0VGJxOUJwRzVLdUUwZmlyMEF5anlGc1hKdDZGOHRzYk9FK0doWmtS?= =?utf-8?B?MHIwUHdxenBjb2NyVTlTcTNybmdzQ0FjN3pGZGpWUG5NM1F3ZE1qcGpQMUpJ?= =?utf-8?B?WFhhckY2VGxEZzhJZHd5R09pQ2JSc2RBMFp3VjlldzJEMTJBWlE0bHZraHZH?= =?utf-8?B?OTNzWDlkSHR1Z1BRNGpROHVwQmhHaVNBbjVOTHROWmIza3RKRVBpVVJaZkxl?= =?utf-8?B?bWszUkxFUCtNMVZUSUZOdlFydzVwWDh6dkxMamFadFJxbTE5RHFsZU1ubnZY?= =?utf-8?B?dm41QTJTYUZzdUJuUlRUVVg4cFhRUXlrVjdVU3YrN1JRdnI0OHFoRmZvRE41?= =?utf-8?B?MWVyWGZiMXkraHNRNUFJWHZjTFdOcGdicFVUQWZzUzU3OWlGRHcrVGYvdm1v?= =?utf-8?B?d0FDY0g0Sjg5US84Mmg3enFUM1FWRHhBNVcrWkNYalVZMFN3K29aNnVpTjBV?= =?utf-8?B?dWtabUxKWWRNNDV4VnZVQzg1Nmo5N3FnVGt6WGtCd3NwNGowWm0yMWE1b01a?= =?utf-8?B?dzNSM1NzK0swVzhKVmZlaWNjVStsUFhBV3pySGRHZGRaWFgzU29xcmx6a3o0?= =?utf-8?B?WVREYVhKdllsd2UwbXVvWUhOemI0YkRjTkI4Zk1CbmYxQU4xSTVaaXFWaUEx?= =?utf-8?B?TnZwMmU4aWtFUGhZYXVlWWphWFRtb3NYOEIzbnV0R1F1amxRTFBmNG05Mmtp?= =?utf-8?B?Mk5TMGVaOWFQcmRPaThSbWVZWjd4RHdMTTRCWWh4ZmpRUDh0OU11ZjduaFdG?= =?utf-8?B?N0pOMkxtb3A0Z1JkeWlmWDJYYTFyT2c3cmRPcFBpR2toeEtNdXYyTEFobzJH?= =?utf-8?B?Sjd5U1BrNFZZb2dKejVPbmZoSGE4VCtDOU9IcUg1N2hQd1g2dzVDS1ZUOUln?= =?utf-8?B?MkNQWFJuWWFOcHptajJMS0ZzVGFxM1B5NXYrQ2RZaE9xTkZBQ3lnaWNJb05W?= =?utf-8?B?Z01BMFRKTStjU3NkR29WeEIxM3gyNFlCVjRIcDZ6Q2JBUXdTR3l2Wmd5TlZO?= =?utf-8?B?UVNWbmFzYWQwemlXNGUxL08rNGxEc2hvbTk4bmZXNFhNbHpIYlNSTisyOUVk?= =?utf-8?B?bVNseWlSS2tUeVNlYTZ3cy9CY2R5dlg3M3ZHM0Y3aXZTeWpvMDQvcENQYmll?= =?utf-8?B?MWFUc2FRS0dpczBTSTVDMjNKcXNPbVVtbTVsSUdnWlB0M0ZlcnZ4U2FMK2ZR?= =?utf-8?B?K1hHUEsxS3BMbXE3bGhCS05PUWxwb0JNaG9xVUVLL2J0aVZYa3A1NTlRU01Q?= =?utf-8?B?YmtjU3dEMnVZd1pwRmR2Zm5xc2pHLzF2MzY0T2ZUMGUvRWY2ckFuanFsVzRL?= =?utf-8?B?bDd3TVp0UHhySFRHSzVlYm1JR0NYRWNhNyt1UllnQmg1Z0xKalJjbXpOSHRO?= =?utf-8?B?bmFpZUJrMlpvTitMdXFtMVE3SS9nVEFYVXhLYWVmSUtHTWJUSHFLTUhySFQ5?= =?utf-8?B?d0oxZlR2by8wUm1jc1VNd0xTdVFNRXNGV0RCbnlkSGdsb1ZxWjZuNFdVWU5l?= =?utf-8?B?MUZ3NCtyandHMkhLSGEwQUx1TWFXazZHLzFESkJHTzN0VlJkeSs0WG1TUW5T?= =?utf-8?B?eVQ2NHJXalBzaFhPbTcrcm5iL3lEMXY3OGI4dVladldVMGhKWE5SRGtremt6?= =?utf-8?B?Q3R0R2h3ckZ6WFg2aHZWWWhMcDhMRDd6bTl5bHFFem85cW82Y21CMW4yTERX?= =?utf-8?Q?buZME4yTbEUhD81bpc=3D?= X-OriginatorOrg: mq.edu.au --=_bdcf623c-0f13-4647-ac6f-7638fdbfe753 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Perhaps I misremember something. I will try to check this. Frege extensively uses the term "function". Originally "functio" is a classical Latin word, derived from the verbe " fungor, fungi" (be engaged in, perform). Best Johannes ________________________________ De: "Steve Awodey" =C3=80: "Johannes Huebschmann" Envoy=C3=A9: Lundi 19 F=C3=A9vrier 2024 15:06:47 Objet: Re: On the etymology of the word "functor" On Feb 19, 2024, at 05:22, Johannes Huebschmann wrote: Frege used the term "functor". Do you have a reference for this? 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 --=_bdcf623c-0f13-4647-ac6f-7638fdbfe753 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Perhaps I misremember something.
I will try to check this.
Frege extensively uses the term "function".

Originally
"functio" is a classical Latin word, derived from
the verbe " fungor, fungi" (be engaged in, perform).


Best

Johannes



De: "Steve Awodey" <aw= odey@cmu.edu>
=C3=80: "Johannes Huebschmann" <johannes.huebschmann@un= iv-lille.fr>
Envoy=C3=A9: Lundi 19 F=C3=A9vrier 2024 15:06:47
Objet: Re: On the etymology of the word "functor"



On Feb 19, 2024, at 05:22, Johannes Huebschmann <johannes.hu= ebschmann@univ-lille.fr> wrote:

Frege used the term "functor".

Do you have a reference for this?

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
 
--=_bdcf623c-0f13-4647-ac6f-7638fdbfe753--