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.4 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,DKIM_VALID,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,NML_ADSP_CUSTOM_MED, 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-ME3-obe.outbound.protection.outlook.com (mail-me3aus01on2112.outbound.protection.outlook.com [40.107.108.112]) by inbox.vuxu.org (Postfix) with ESMTP id BE782247D7 for ; Sun, 18 Feb 2024 21:28:05 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=mbaVuKVgkVAArPMDoNyh6tIYZOxI63K84J/hHbLJKBfkUyKJil12jCP3+Yf0Ya4yi9/4w2lXZ4ed24B50hFu2TS9fAQMu4csf/Zc11ibNkVDPmBRXmE5GmzfRSsBUPwJRdkloHLAMhxvAJnBNZE3K3Iigsl5RMC3fWQJ19IbO9iOWzjCeKbdqcOBbTumampjdB8/vUjEHJ9zXBcAt/fYJPhftuSdJ83302/vU4XdyLk21pLx1zn9wZi5Lu6tV+fK5658H0zTwpz/wDutKjOvGNOkuG1vcwzbMyxzdUPaW3grcTa6e1qq6c4MWc1hMgE57NDQr4iZkVqLqBpxKRfwNA== 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=XEYOu+Y02oJ2Ye23x43atorFF0aSEtcVQo3rGZaxg2k=; b=IIOrxy0+pQxwaK/x/B1WyTdqTfUotJYUdUFowyBOKr3mqY9LxwKfSrVY6V02hdaNUhGQnb874PjxrCZ7VR6+Ro0cvN9jGPZ+DuIsCNCQsCrNF56DwWjXXQtvdbqXERIY6sUBx1QeMbx3+4HmAUMIyugb/5wokIafaqEnGxJXahcj1Zwvp/aX3T1n8bg2RDphKHWTthzaEPDOuwOe2vXEcTnchWhz74bpfl4h3UIqemxUpG6FmUvRgDHzwLL2N00xlszda89gXTLZ+nKgr061crtR0qeQOyF0hkVRLWW0/WWGjtzfYyXgJll57sPRVpfSyFtuzfjniIrfXUCkP6qIlA== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.222.52) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.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=XEYOu+Y02oJ2Ye23x43atorFF0aSEtcVQo3rGZaxg2k=; b=s84Q717csRXz12d8qVbxg5p+F6gGxDFB0aDaY2ueuS+ItUEqq1Y/s0ZYun+AVp/6S99ODqtosUjfDMZTehRw0AZ38kzSm3gMnQSXdKbwJuIJ/6eERm/ZOhbkD7io7TuTpyxhky9q77wz14t4uCXfkJ6ZWWAQ6LzYeBxBPi59cfF8hlKlHPOYpQmOzQvwkbyDP3uOIuGMmz0/Cox1K9LHjd37GCdOgl81vjROSKlFSpXSzh6rE78CyVBoJvGRxPuG3kZN90xrQCn1T5tLwjmM9QBsZVBlwaqJzh1PSpjlJ3nkJVcoiIPJrH9sC2k0ymDD7NNpKtLsM0eey2gYFrcuog== Received: from SmtpServer.Submit by SY0PR01MB9165 with Microsoft SMTP Server id 15.20.7292.34; Sun, 18 Feb 2024 20:28:01 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=LvR3QltOagEbX5514mcCvmj1krIGm3Z28X1JmrJhM6LizVAfM7JMmQHlE/xQ91fiafzmm21ZYm+qhpltdoI85J3Tdgop5quoIoCgvNfn6TB/JahghaF1q1V/Z2WhnnvayPmXHKBELj4onTd9tqsENDZSvRmhoVUWzpF4Mmg0TYj4XpVFAyo6vJlQCvapeAeIS1kSV9H8mn+OivR7zkl/jfJ+TzReNvq69hZC8xxypySQK1wWSjhyYyvds2ojMhDaX9nN51YyVkzSWtcZBNQM3AMT4R36FtFUJOjf24d64EqU0TMRMy9Fo36k4EDTR1dAWNAJNAZWwn317RBFwmL7eg== 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=xZYJPu/AMzcGOaKEvwQNVY1T89UzXoU6ohTEg/Rb/2w=; b=D9f468SVLRYxzTzqLmQcyIhON4eeDLWpbhA/Z5T/3CGUPY1cvLh0o1vB6ftoMXH1HTif8Fn/ChZY20FbPrhZ8jhTQCEx84OuUujZbzlHj67VgC9ehdGGCp/k8VI6jzKN/ls454vyOt264XzvsLthpiwEISq5kyANP1y+s0oNEmH2IjEBO3K9nSDJqY9UvvDS3nWQ9D2FrLRLE/usi0zF1dvF1ysgpXBr85xishEBSxbe7mQHtzbQlIsr1dQbiD0BA8wf8+/PVCpH6XdFnYSg5QMeSCFAg0axfFSijWFy6PK6SG2ypjHPF7yM8zHK3eK/dfwVoxqV+CXZAYVozM7k/g== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.222.52) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from MEYPR01MB7838.ausprd01.prod.outlook.com (2603:10c6:220:165::9) by SY0PR01MB9165.ausprd01.prod.outlook.com (2603:10c6:10:222::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.34; Sun, 18 Feb 2024 20:27:57 +0000 Received: from MEAPR01MB5192.ausprd01.prod.outlook.com (2603:10c6:220:61::15) by MEYPR01MB7838.ausprd01.prod.outlook.com (2603:10c6:220:165::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.38; Sun, 18 Feb 2024 20:27:54 +0000 Received: from MEAPR01MB5192.ausprd01.prod.outlook.com ([fe80::71c2:4094:3c07:d3c4]) by MEAPR01MB5192.ausprd01.prod.outlook.com ([fe80::71c2:4094:3c07:d3c4%6]) with mapi id 15.20.7292.033; Sun, 18 Feb 2024 20:27:53 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=akUIsvOGa4KD3rBLkZAeu6QFdkRDGicwvI2oQTXyEYz45kZNTWXe804Pj7aI/sPSYVaFyM8CfQ5wxCMpoDD6v2z0WJFfik0LU24buaRtHSz3+OkHWd8G/Y00ffbEf10UK/sle/2eSSE8YK4OUNQXFXf4/3X13crEOuBddJU2oivHEihvaxzbkMawgWA9zXdu56PfvogYSTCTxVX/bB+HXH0MktK2zsbNQQXzky4VRKjvWrD9lU+u+Tltqvuf1MlmFzbeHGDA6HFa6zvyoZfev8lyLR+5bTunvcrhqY29RBth3/2r5yVrZlexkPOied/RIcq74CplJoY1oMRTbee41Q== 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=xZYJPu/AMzcGOaKEvwQNVY1T89UzXoU6ohTEg/Rb/2w=; b=dW/ZbR8KKOEDIqdCEuhNGvtG5JnekwL1C1IMBxKV415jFu0Rcz+DAr3GAvzt3wPr0UViKqzWVKL9hNHMA39s1pLJQ1P80EJWYNidKTkCufIiEQhhbUG6aSfayWB/YEbPNAWJVYne7QI0AFuRX0f8Awh/XioiBAZpd1/zbAO953NGNbmpgPMuSgLfMvZ8Qhov4nOx4Nok88VryNJUo4JoOYhM90ZsKqlpT/KlKNHY8eelD9T8DWsGxDHtcRhHgpqOSeDAsLLmGY6/0wOUIv2G1R5mDbWAkLlX883GYWhuxYZlXUaEvSlXxcX8/6SFkTk20sV614gAh703NWuhcoATzg== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.222.52) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SYAPR01CA0044.ausprd01.prod.outlook.com (2603:10c6:1:1::32) by SYBPR01MB6844.ausprd01.prod.outlook.com (2603:10c6:10:117::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.32; Sat, 17 Feb 2024 12:09:40 +0000 Received: from SY4AUS01FT023.eop-AUS01.prod.protection.outlook.com (2603:10c6:1:1:cafe::7d) by SYAPR01CA0044.outlook.office365.com (2603:10c6:1:1::32) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.26 via Frontend Transport; Sat, 17 Feb 2024 12:09:40 +0000 Authentication-Results: spf=pass (sender IP is 209.85.222.52) smtp.mailfrom=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com;dmarc=pass action=none header.from=gmail.com; Received-SPF: Pass (protection.outlook.com: domain of gmail.com designates 209.85.222.52 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.222.52; helo=mail-ua1-f52.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by SY4AUS01FT023.mail.protection.outlook.com (10.114.156.179) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7292.31 via Frontend Transport; Sat, 17 Feb 2024 12:09:40 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1708171780; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: dkim-signature; bh=xZYJPu/AMzcGOaKEvwQNVY1T89UzXoU6ohTEg/Rb/2w=; b=pPdqQm2l0CHhTj2nU+w6iWbhWYxjpcM1hG39mgryx8jOFZ6wH7GzlEQM21cuavXbAjMwSF W/gBaULidAV2h21USMRNXum7Ity9GQEDpLmgGo8ACMwhAfxfkSNYNL11ja+7wbcFTiH6EE 5/9IWTvpEq1c/rbV1YRUHhVqkHr6PYlB09xnTtDGZP+5oX3W+GveLfOlBRRr33tykpfTJ+ RsJvV6fu/RmnTprowNdQVD88U/sO2OEoIbQ3JPhgHUpuKS1aM786uDUDfZkRlDaWYoXgnh 9eMOJfwxQCXHFMGymu9mqKVTxMas0UJkKU6c69y/OpiGwzkf+UqHkXoG61t+HA== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1708171780; a=rsa-sha256; cv=none; b=lN9LY6jnTjEgx9lmg8ycFKoGzu+dEvtwDJN2zhyXlhZoEHeC/fzEgwP0KYyv7FBVQL0TbD NH8cfp4Jb/Z0qgWTf0w5vcGpXqToh0+wmtuwGgeDXdu/QrDHbGB4GYsNeUQWl1Pfc0bERM AUJ8ASBNpj+MWHtHzDHi8jbjHKmzCEqZo0Wglpxy01sDMoCLvzlqidaHJR10FNFIjuFnTm dgZK1SQNQaQVcUL6MnPbQHZpxKtic16LtNX7eM/btnRKqXuC1bgBGqBRKcTvavXapk2YPh 6c9Ln9L2jM8G7hj6VswIIGSpNlcjLdDr7TgFXfAWw8JtZSKWWdwREbLf/2pPKg== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=c6rqIChr; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of fosco.loregian@gmail.com designates 209.85.222.52 as permitted sender) smtp.mailfrom=fosco.loregian@gmail.com Received: from mail-ua1-f52.google.com (mail-ua1-f52.google.com [209.85.222.52]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-111-ptZqO4bZMKyUsGtjy6R1UA-1; Sat, 17 Feb 2024 23:09:34 +1100 X-MC-Unique: ptZqO4bZMKyUsGtjy6R1UA-1 Received: by mail-ua1-f52.google.com with SMTP id a1e0cc1a2514c-7d5bddb0f4cso1093948241.2 for ; Sat, 17 Feb 2024 04:09:34 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708171772; x=1708776572; darn=mq.edu.au; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=CIcgtegCH5kIZ4t+efsFODuz/ngtuWg7CkoVzG4OA64=; b=c6rqIChrihnekSOIyuvPwoeAhoxFOGK0X6yLDCEowi3giEK3a05j2ZQGOim8ULCgeJ WQ7p5STwAWPLfj25NafOIDBbqQj/v5JAOnRyr2OD3mpnfers2r1DkbsIVlE+YivMIOsJ 3PdAqgCCqyaRHX6M1uoF8J6VKq+VvmwYWw0lolvy1EzlGXkdBIzuYGqEIwITLrqIvUYO umdjRjQcrQS8l4UgshXjaRX2u5JdpcXDquSfsrBQJaSe+xC51IFyE3MKjcom2qEzIekl knTARKts5Eh/ArXdpPLClKIsmjpxCaaR/PL+6p9+fENE0CYsgCUL53e5hDrCQb95TLxn yIlQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708171772; x=1708776572; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=CIcgtegCH5kIZ4t+efsFODuz/ngtuWg7CkoVzG4OA64=; b=SC8zwIjAXpGttO+rabHH84g46KtSUFDOIMOAJvYS1MwbRg/l0DD68XeISSwnoJXafC gDizmWeYs+7RoorbJs1tbi34RwY+Lqe4tiIOT74tKFkt67UQdfCV6Oy/cC9JM+pz/D66 A/GbChFvx2rHoVy7LcSZGbfmJBnvsEo+ifQvKMjXvKUtUnHzgL0wIdKlre8mP0yOCIvR 7qKPx9AZOIySe8dF/XfE9bY7kYSBIZk20LPVI6Pc4x5Kc9ink3zOuzzrq23CXIwCeMzc Gci4ciY8isuTYOnKZln4fosa1xnUExpjNG+QSzDqOtA2o+q9OEsdLOfXELtrt9ErClB5 Dx1g== X-Gm-Message-State: AOJu0YzcAy2POkxKMeP2U+Kt4mQ0cNgIk7UvBwa+zzwMbuk6Pbwrh5em yJpwHt/dJ4ZU5iLq1KMrmBVJe6e+3svjg+qDc/KIRP/C/hRpIP+dWFMczus57eHFHECxWaRhWsL GDj5rMAxQediEu3ejwPMmcTDx15veu6LN9lVj8w== X-Google-Smtp-Source: AGHT+IH1rQobrZ6jwoRhUfxF+CJnKCt9OHeHA/3+TkaWApCaB34jKEYLuXJb1jLPJMmG0oXrW5EAgMqwT5IUTllgHkU= X-Received: by 2002:a05:6102:2323:b0:470:3a9a:87e2 with SMTP id b3-20020a056102232300b004703a9a87e2mr1417586vsa.4.1708171772102; Sat, 17 Feb 2024 04:09:32 -0800 (PST) MIME-Version: 1.0 From: Fosco Loregian Date: Sat, 17 Feb 2024 14:09:21 +0200 Message-ID: Subject: On the etymology of the word "functor" To: categories@mq.edu.au Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=c6rqIChr; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of fosco.loregian@gmail.com designates 209.85.222.52 as permitted sender) smtp.mailfrom=fosco.loregian@gmail.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=true;Mimecast Threat Dictionary=true;Custom Threat Dictionary=false Content-Type: multipart/alternative; boundary="000000000000b1138d061192bb94" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.222.52];domain=mail-ua1-f52.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.222.52];domain=mail-ua1-f52.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY4AUS01FT023:EE_|SYBPR01MB6844:EE_|MEYPR01MB7838:EE_|SY0PR01MB9165:EE_ X-MS-Office365-Filtering-Correlation-Id: f95cdbbf-8776-4c70-6496-08dc2fb151a9 X-Moderation-Data: 2/18/2024 8:27:51 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: pLGne3rvcQRrV5g7CjTzEVpL2ftWrjy73o0caEwSOP3IQgniT/Wz5j0J2l6Scfvwr3USkPB9KeWdvCywtwibz0tYgnpQRTXhg+uUkxXA+sWxcUmuuW9l9vKY5Z0C8yvRcw4oBVQxbXWWLPCcCmfhjozj7bnu6ENw42gl1CAcE/5hE/2OJTt2sDmYVVM5gFbBbNnUg7Vdq5vbsNTHvXQdUBR+t2weW/s1wcVhQLjBo5urdlgkFuXVkheVULU2Y5qkgO0TxeZiexZS9KbYNSJIsyFl8++ebXN0vBVeyx4SDFAqro+8xW3Tm4HRPeuCGUfvRFME8m1sJ4Xhs/h/++2rNvFY13CuNnhBCvlROw7yneHCyiHu8O/77H9kn89+qf3/M5CJPbpyw8lNiateiCNX0LJHEbvC62dBlfVxjkRZVPBebTSyD5TEX2SKisFhb4M7r+8M6BnH+sR0cktzCOFOUy8R9I/lXHPtfy20yNtPk9kIPK5uFvnn6ckwV+qrzY1iAQXUJu3MO6Kj32ymVa5ur15lttTYopS4DoGLaMz+U8rTBQRw0PtVwc8eSz9cYfjckx8HR/L6zraB2JU3JYg5IAyAUiJdMq7IrYOoT80NNWUMOl0gaFnYTAdroHb/7f4hvtx/McSvmqC2ePIN9zbeli3w7dtcUQMZ7M2wsbL8HCVvlo5oB6JCze/p50olRN5VWEPR/EPD22tGd60WuH8YT7eDmjKa7dbmrcY3xPdQqXg= X-Forefront-Antispam-Report: CIP:103.96.20.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-ua1-f52.google.com;PTR:mail-ua1-f52.google.com;CAT:NONE;SFS:(13230031)(4636009)(136003)(376002)(39860400002)(396003)(346002)(64100799003)(451199024)(82310400011)(48200799006)(61400799015)(35950700004)(32650700005)(40470700004)(44832011)(2906002)(7416002)(7276002)(7366002)(7406005)(7336002)(5660300002)(41300700001)(26005)(82202003)(89122003)(88732003)(76576003)(498600001)(82740400003)(7636003)(7596003)(166002)(156005)(66574015)(83380400001)(336012)(73392003)(86362001)(34206002)(55446002)(8676002)(8936002)(70586007)(68406010)(76482006)(966005)(33964004)(6666004)(786003)(316002)(42186006)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: f95cdbbf-8776-4c70-6496-08dc2fb151a9 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT023.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 18 Feb 2024 20:27:53.9866 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: iIGQ1Ei2zCKPwu4CejwwpDhaOjCFz5KJfRmkGb9vJjPhid7g16MlgGvF5QK5oZgsAZ9Gwwf6tN4VgGvSa1oi2yi9Ml0WsN/g6tV8zmkKAFeXygHDdKp0VMlAP7Fy/2Oqo/2LbrQe9Z7zqoPQyJ12dP0am8XCTJHx4320L25QfoumLITDJUTcksQeALqWvIMPvgKFXiSS82jVRB85N0D492WcuTyYbAribQgqMqo7npE= X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY0PR01MB9165 X-MS-Exchange-UnifiedGroup-DisplayName: Categories mailing list X-MS-Exchange-UnifiedGroup-Address: categories@mq.edu.au X-MS-Exchange-UnifiedGroup-MailboxGuid: 9c2f954e-92a7-451b-b723-a07075d7adb5 X-MS-Exchange-UnifiedGroup-CustomizedMessage: RedeemedBusinessGuests X-MS-Exchange-Parent-Message-Id: Auto-Submitted: auto-generated X-MS-Exchange-Generated-Message-Source: Throttled Fork Delivery Agent X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?MUQ4Ynp6NlBTQnhEcWJuOTFGWEpjN0JUcFE3cGRWc0p1SXBvRXRCeUdDUTRK?= =?utf-8?B?NUxBUUUzUk1ScndRVmNIbHRsY2JQdnBEMThVOXI5WWRiUGgwQ3dKT1MwRVJw?= =?utf-8?B?K0xVTVVvS3lFTzFwb3BCeGpvOWpOVVpQOWw0WS9xN1BsYnNrUnlObHRJeUw1?= =?utf-8?B?ZkZYbFNFbEN4ekdTbkhqclg2ZUFyMGJUMGQwcDdIQXNXY0I1OTc0S2ZYWTdK?= =?utf-8?B?M01Salg1SlNrSHhXdFZ0QmExU08yQmQzaXZIeTB2dkJBaU0rRjdhdlFTbUJw?= =?utf-8?B?NmxDY2krMEN5T3FlWHRJOGxPS2VhZjhWeGpKWlBnV2dzL3I3QjRTSVJQOUc3?= =?utf-8?B?dFFRSlB4Q3h2WGZIYy9hLzFjcGh5bkZxSmNCUURaMElmWVRFRmowcDhVMnRk?= =?utf-8?B?TkJMaHQ4RHFvVlh0aWZqZHkzOFpvZW9UbXUwYlZIS0dmd3pHWDBmdmdlejJV?= =?utf-8?B?bDQ0RURya0c2bUlUT2hjT05VMlJiWUhhTmQwZDBhQ2tuYzd5LytVbEdwQ1Ja?= =?utf-8?B?alFGVWNTakVEWnBkdTEwcEZKMktRVU0xa0M4Y3haemU4R0pJVlpINlRnN2My?= =?utf-8?B?bzJqcXJGRjEvMDh6MEFtdUlpWjN6bnRIblRhVi9KMm92ZmNIRm9NS3RLdm05?= =?utf-8?B?bDFzRGhYcHBERFRXc2F5ZSs3Y3l3UXJ0aTBEWEhBdG5IbFBPekdEUEhQUHMy?= =?utf-8?B?ckxWWkFsNGdEWjRHcnZrNjlBeDIyM0ZrVjVqUC9vZ3FXNDBOV2psVE1EVEVa?= =?utf-8?B?ckRRbU03R0M2bjRtNXRROTQ4ekF4b1BEQnhxRTFsOGVqUWlLZnFCWFUzRDdt?= =?utf-8?B?VVkxRDEzM1pvbkgvQVlmTE1VSDBrTkpCOVFxVlh1MlhXbWR4ZWJDQng0NFY4?= =?utf-8?B?UlNud1ZDZmpUaGc0OEhCUXJocHIzRmRhcG5LcldRU05KM1VJRWliWTIzV3p1?= =?utf-8?B?UFI2L0x4UEJGV1hQR29vS2tJNERJRkJaLzNxTjJibzI5TUtxTVlmZndPTzZs?= =?utf-8?B?RHdtU01IbERFSVdtdWdVdTIrOHBQaEVQN3U5MFlYS2ZZSG9XeS9wb3gvR2Yy?= =?utf-8?B?ck0yUE14SXZzWjMrb0QzTFpXb0FaMkF0WXlwOGFJMDgvSWNJcllNaDlHTUk1?= =?utf-8?B?NURrakU0V2E2cDQ1SW93OVFOLzJyZy9XRDJ2SEljNmhzbnBBYnVWZzl6NVU5?= =?utf-8?B?UVZlcDJwRXpPR3phQkNncGJCY0tzUGhEeG9yQ1FqOXhCQ2I3T0lVNXkyVVBu?= =?utf-8?B?QVRDZXlxei9iaHp0VUZoREhrZnZ0L2o5RC84UWdVYyticEJkYk9MVWZENmVj?= =?utf-8?B?Z0g0SjR6UWNFQ081RUZUZitvemZuMDRXMVZEVGpwL1BuSHdKeGxmTU1NZmNt?= =?utf-8?B?c0gvZjJxNmp0bDRIeGkxTExlckxpdTg3WGtvWUliK3dETXQveEJJaWlwSm1v?= =?utf-8?B?cnR2a3BLZFBoZ3FkS3ZmemhpNTBKNnprbkVlRDRVcWFHcFQ0UCs2YU1VNHVh?= =?utf-8?B?MTF4ZXZZQklpUm1KZEJqL09uTE9NY2g1aDUwL1NsY0l6UXpaMHFDbHVDNkJ4?= =?utf-8?B?SkhTOGYrQ0thUXdyV0FSMDdkMG02NXRqZHU3ZXFWcEk2U3o0SGZ4ZXF3bDZq?= =?utf-8?B?YitPZnRiTFJuejVZQThNejF0M2pQZ0x3OGtxRjV0Q0RKbjFBT3NhaU9Ob1pl?= =?utf-8?B?VG1Hemd1ZmczdzZ2UTRlL2llUnQ0V1hoeGxtc2RVbTJYSktCaytqWFZTUTV3?= =?utf-8?Q?Jj3z/QU32IzfCsup/c=3D?= X-OriginatorOrg: mq.edu.au --000000000000b1138d061192bb94 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable 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 --000000000000b1138d061192bb94 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
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.numd= am.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
 
--000000000000b1138d061192bb94--