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.0 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, FREEMAIL_FROM,RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: from AUS01-SY4-obe.outbound.protection.outlook.com (mail-sy4aus01hn2222.outbound.protection.outlook.com [52.100.199.222]) by inbox.vuxu.org (Postfix) with ESMTP id 610D42282E for ; Wed, 21 Feb 2024 20:57:46 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Wm583pb+Yx7V5qqd2cvPcGsMQMX00C+ah6SsFoZHOAFXxJqPRgjhvRzwrPiPjky6m4TsNvC6rD7lXD7+59Xo7iYqRXUcbjWfexsYbAQYNoq6hn2cSc3dSbPS+zubOLSxe4JBM/R+vDPp/MV6xz1RtsOgabP/sj/TsIhN/zLeP1RLcyiQotTD38PLeatt2w3vmrHB3N8lhC+kxVULgKiUhHjF5nPwKbi0w+kuyZ8W0OoPWcu8Q/umJS+kqnp+FJg/foCy1qK61zf0adCVWUmYvBGTOtoz05sVuCFxlrBaHcU1gdJ4MwF73ETRZFtCDLJ7+JyGGuN28ngJEQa6XU/Smg== 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=QHh987D/jZvojQr6Ak00pHo5ndp6zsSEnU1KPPbDhDM=; b=Zeh3wyVUNvZ46PYPLwSfy9iAxre6Tic5hQA0XjGiSF7nFGcJ3pNoo3l+E1IbiXHcFRYqIhBnlmRdpVXIVaOCAte9U0VNPLmgte9y03QtdGNk2Og6t9ZKvsgyHnx8eiwnukqRPfbOdewcz+wLfW9hNB2mJqVOtT10E/eXU9Su11pqISwSw8GVFyFbeymQ1qWInRjBEKyUtyrc+OHOKsitPjdZgfZ4xms3a+VfxK2HQk9ApuhvJafjTXEswwBMZmDIZa8QNxKtM48tDAEp3Ghm83n8WC8bfNoWxIKZ8isO2+ohyap3pb4JQ9JW44DLaxv7PXV/ODTzoVC7k2i+GYkU+w== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 185.70.43.16) 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=QHh987D/jZvojQr6Ak00pHo5ndp6zsSEnU1KPPbDhDM=; b=EDuLOnhmiK/Y8A2H6R5KlozkQDvHI4nBtVZYvM/3hivUeRF8Nq9FuDRdVsWlay+NbI+oSBevTz5EJVy2imoDnWsykZn68uRmUls8VwWqR+7hYNtyP25K6rYX5W0f3ZRgAhur8DMRtLn8unoGVIZLDKSV03PMhTnMT64M4qDom+SOYk84ertdxmFgCr0V+BdRWn1VDHBXxtx7BfD9ZXgWKS0TmKnfrywxPoarL5SHbZcD8NEK6fjqL2uDJN5nQIHPaZCHiGcOC+3jTmtPfqNhn/ih2mEf4msvB3I34dFJwaSFkiztY97pzldzDOdQ8djINobznnVeF72w+aK5TVUNvQ== Received: from SmtpServer.Submit by ME2PR01MB5970 with Microsoft SMTP Server id 15.20.7316.21; Wed, 21 Feb 2024 19:57:43 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=mU84vfGkcVhcya/s/5upCTu2EKpmwwgi6zcJTDmWAMWCg14UkNV50J4l23P3YfpC4Ol0BB0wp34g64aRZX6rcoE4QSX2wIRRtvvUo9ZNQroOD2nYL+JmmG+nwj/EPals0favFeCgQkH5c8TPXVHdMzK8b6CJCC4I+N6GjHz3VIFEn7mcyiq9LiRvFCDByOIHZ86HreQtsRwvnshRU6KVt0B5mL//XhKu52+kF9QHJzaoJBLqD6BEBWPdyKy5CZv6I4xnCbNbI07xAasK+VZm+4471sGXOawc1T8GK0XEAn+w2JHRlpKIl0BuVmKV4taHdjxwViPEWFhWzBUfjg6N4Q== 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=stqQJpgh4EBoCTWsA61KBufJ+GgJXiyIQoNbB83etEk=; b=WMHql+yOEUbySY2oEOROwby+hdSDyZnlRMTo0K/nFDW04o7PHI047lU89BeNUlhMVRjjk1yBaX9QODoiasdBtX+X8tzF8aSH7inhv9GA9KsDXHpHyLmSKobzU0uisIqn/O5LbxCHafusbpZHJo05UmqQp0iaytL0S9NTcYpqkxC4Nv3T0qHWWMd6PdonWH5aoNqgQbyNk+HPFgUNcoz17BXNxGtPUMm6+5EEUYf4evOkvHUeqAh9Q7w1vALPSLBAxutD/3DLz0O54RY3kWQk6K0wbIcOxRg3WOH7FhpxHbAWsclaEUE/BGIWFe1PlNzYbv1aZbmjs/exHpGkQNcUgw== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 185.70.43.16) 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 SY4PR01MB8071.ausprd01.prod.outlook.com (2603:10c6:10:19c::5) by ME2PR01MB5970.ausprd01.prod.outlook.com (2603:10c6:220:ea::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7316.21; Wed, 21 Feb 2024 19:57:38 +0000 Received: from SY0PR01MB9149.ausprd01.prod.outlook.com (2603:10c6:10:221::18) by SY4PR01MB8071.ausprd01.prod.outlook.com (2603:10c6:10:19c::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.26; Wed, 21 Feb 2024 19:57:35 +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.7316.023; Wed, 21 Feb 2024 19:57:34 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=bQXqmwM4dk74ze32NGCOSQ93gPZMelffP+WWlve2Nx/l3FhZTyPsQHX2ZVV/r6gweVr3+81yDjAHhICeRjYY9Qj/hJhQ0jfkkuiiDhWrYrHMHEQC9auCIs6FfoeAHPscbvf/HwQHNZ6LBRj0uBspeBNF7oXbq8A9+rFstIWi7X8shY2z5wI28/cHVUbAiS8Fmz2wVDlmBRiuZ+a0NaLXjy06geUCDkQqwWBVX6bfqqf9XeDtzTiKdoJMmpehEt0a1SPqQZR2DL+ivfeSGtQgyU/MLd+5yhBe+iAAN4sykZPlvbWIBiicfnct0H/41P/b0CQIIIVI9BzQomBPdndjAw== 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=stqQJpgh4EBoCTWsA61KBufJ+GgJXiyIQoNbB83etEk=; b=M55zjnxY96wWpb2g16KHEFpNa14sWd4zehBEByvwd8h6mv2QI1lCbclWY9yIXC7a4Ypu8auhU4NNzygDi7dJBHqM0Q+MEgVQECiEM6LgctXipDO1BzO2paCA18EGqfMnaHTiRNQ7AjLiGNzuIWQWUwBSynrnr03fyz19NFYyCr98ffJh/xoJrDeI/dpvs6sQRUBROyUyuAq0B+X114PI52CmS4mb3+y+la/r8waoJPGujPr2zrLq9Rj3U51PpqMBEtINbg6BbLgQUq3Z8JJKKueMRaeMsoJ4g8x3/r/JXguV4MrbCw68HbDd31KlLd2GDjSsnmD2VvzUsmFK2rGZxg== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 185.70.43.16) 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 MEWPR01CA0023.ausprd01.prod.outlook.com (2603:10c6:220:1e4::11) by SY4PR01MB6555.ausprd01.prod.outlook.com (2603:10c6:10:124::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7316.21; Wed, 21 Feb 2024 13:45:05 +0000 Received: from ML1PEPF0000F17A.ausprd01.prod.outlook.com (2603:10c6:220:1e4:cafe::39) by MEWPR01CA0023.outlook.office365.com (2603:10c6:220:1e4::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.40 via Frontend Transport; Wed, 21 Feb 2024 13:45:05 +0000 Authentication-Results: spf=pass (sender IP is 185.70.43.16) 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.43.16 as permitted sender) receiver=protection.outlook.com; client-ip=185.70.43.16; helo=mail-4316.protonmail.ch; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by ML1PEPF0000F17A.mail.protection.outlook.com (10.167.241.71) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.25 via Frontend Transport; Wed, 21 Feb 2024 13:45:04 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1708523104; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:dkim-signature; bh=stqQJpgh4EBoCTWsA61KBufJ+GgJXiyIQoNbB83etEk=; b=hQHdJTqrfReWhcjDX/GweGjGQvvktCNFluPGqXgzXt9AwHgzasvMf9l6WEr8QZfMCvuYxk uNYbutUhUjtDnlJ8ScuAC0DEq4148LS0hnQpsXEGXKDufHfov/dhaO4/huoPF44GeRmnwL XSn0ycogw/dnF3TLCcWlWLijvxqrFhpRF/1dbQWvNgaw75y+IuUXKSuYuLZvufjKqjW8O0 ck5WJ5zlaMJa8N+muDu5joCS6dsTJR51E818fhEvHzZZzVZeCvgJvr8fxkYDoAa6qBFS3y qo7Jgpg5apQGxcKvR3s67uXT5mKrz6c27kDy6eU/fGbgQNAwO7QyNSDCbEL2HQ== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1708523104; a=rsa-sha256; cv=none; b=CtY2F69gFa9GAgXng85kfKsxH4H6te3DaCnjmAPWNSIWRhFelnPVl1LVueydUhON2SL6I0 Q7Lbv7iUSRYhiKbHGHzP6rfTY1UgsVU4FFbFfusCbT/6mFYrGpMJ8iegFx15cvdXXXUYsx +5h09AAcKIulJ4jco68zIhk4gy+hzaELSCa0Zs6SCPtt8V/j52kEU6jn0ogcoKGfrwakG1 B+b5WkcF5evR6QpAXl5tksHKyBTQPBV1mFIrB5AVI1lnxUxUwWpy97i9QIUZyaD91m68qM 1P7Sih4MEuNlqPSD7+yBBMB2BJ4cNc5PphDz7st71yJtHVKFLfXMa3A2JRh1eg== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=protonmail.com header.s=protonmail3 header.b=XwcSakmm; dmarc=pass (policy=quarantine) header.from=protonmail.com; spf=pass (relay.mimecast.com: domain of rohrhuber@protonmail.com designates 185.70.43.16 as permitted sender) smtp.mailfrom=rohrhuber@protonmail.com Received: from mail-4316.protonmail.ch (mail-4316.protonmail.ch [185.70.43.16]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-41-UmHQ40McOaa5tEqQ_iLQ4g-1; Wed, 21 Feb 2024 23:02:21 +1100 X-MC-Unique: UmHQ40McOaa5tEqQ_iLQ4g-1 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail3; t=1708516938; x=1708776138; bh=stqQJpgh4EBoCTWsA61KBufJ+GgJXiyIQoNbB83etEk=; h=Date:To:From:Cc:Subject:Message-ID:In-Reply-To:References: Feedback-ID:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID:BIMI-Selector; b=XwcSakmmPEP+3VPbZtRp7cRYkAYJ8qtTRn3QFknTsDI6zSTdXVIZ+f/Ryuh9B3rWQ r23mZwwK4GYKaI6Y2Ra9FhmMqdyYhDkHaCN7qg4Qw3Mjlc8mfjn/QAblUeRbvg9ZvD X4+/KooMlOwGLMB6wuW75zszQkz6Axa9V6q8XNY7j1NvJ+8dZ6XM9d9VD3GoGh3Oj+ 8XASTGOXMUwbotsJJII0qV5QaqJpilH49LiJZrh1qjlD3oPvOmW89sVQd6cxPy58T3 pZGcCam+GEB9hmc/8JySg2m0J1+fovLdhBqvpLNt74bQI9HA/qoKob8bOKFQhgQjBF Jeqv/rBKwal/w== Date: Wed, 21 Feb 2024 12:02:06 +0000 To: Steve Awodey From: Julian Rohrhuber CC: Categories List Subject: Re: On the etymology of the word "functor" Message-ID: In-Reply-To: <095A6D17-6D23-4DBB-8CC0-9215E79F009C@cmu.edu> References: <1035059685.40504588.1708331575910.JavaMail.zimbra@univ-lille.fr> <1265929563.42862592.1708357774768.JavaMail.zimbra@univ-lille.fr> <6E7E6F37-84F6-4C1C-A6DD-227DF8042A51@protonmail.com> <11BF846D-5E24-46DC-8D73-AD026DB0DD44@protonmail.com> <095A6D17-6D23-4DBB-8CC0-9215E79F009C@cmu.edu> 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=XwcSakmm; dmarc=pass (policy=quarantine) header.from=protonmail.com; spf=pass (relay.mimecast.com: domain of rohrhuber@protonmail.com designates 185.70.43.16 as permitted sender) smtp.mailfrom=rohrhuber@protonmail.com X-Mimecast-Spam-Score: -4 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.43.16];domain=mail-4316.protonmail.ch X-MS-Exchange-ExternalOriginalInternetSender: ip=[185.70.43.16];domain=mail-4316.protonmail.ch X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: ML1PEPF0000F17A:EE_|SY4PR01MB6555:EE_|SY4PR01MB8071:EE_|ME2PR01MB5970:EE_ X-MS-Office365-Filtering-Correlation-Id: e2bbd855-bdc6-4ab6-ccb6-08dc32e34f5f X-Moderation-Data: 2/21/2024 7:57:33 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: EBI5WwWF/q3vrJTVDG6QHrMKW6a1VT9BC302sBgx+VMe3fHvAc3ZPwNA5HT2wo44cZBOabzIUA2eLuUFrc5liC+ZhEfI5IFwxqcCtZgBpxZFQBLR6XyCypPl+ouF16NMtzYN0jEKAXL7raVohKWTJfGq3KObpaYfp63wliO3FbM/tF/qmzzsYptnU/C2aT7IQYqzVe4j91kBYY+XZ0poX4vuOLgfpZ6ebgvxYfhQFc1+C94WRlXfpYEL4bh2bNKwRxrZXjTvCfOy/ibPW20YgE2DG4z+Cys6aR9FJ0BFnp6wboDpplDzNuYit5q3Z+JCYPM+jIcxdiCfNPQ+xxiWZsBeQMDIOH3XwaLx6qHr9KaBt+oEzIJPxdvk6MR3sIU7540oO0Wq1iK4oL/hUBeBx4RbbpUeZBhSgn7uWD9OpL0eiZ/fMgqn8bIvx4uhFQyhiF40Lt+Cp+nWbCKSKCO1ZqfJXxEiO31jvqQBhBIdShv5ES0rwcYufByfKbW86lg0KyyO+xzMWLKQixOvaDt4N9YUkCk0swzAD7adgqIMWIACRA3UnOdc4MPPC11vWT+nKo22qQmvhCwKpQjZxtmRQUoJE0736DTcI74XrPHWmDXjVlVNrvuHQM3KXeVSBPtywuIFA9cfwedksiCGC6PS+3ERZVOs871vAHDp5hazXiiAQ3CHvfZmv6EaxUhRDhnnrO0Gb6gqD23HMWcFc0aPw8yDPuDSQ+EhcebkmvElshME7aSsmxdGcYHpNjHWVNWTz6T1ZuSmBTtD5eVNKm44WIt/7l//JH7OfuVF9uutnqE= X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:CH;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-4316.protonmail.ch;PTR:mail-4316.protonmail.ch;CAT:NONE;SFS:(13230031)(32650700005)(35950700004)(40470700004)(41110700001)(41090700016)(41080700001);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: e2bbd855-bdc6-4ab6-ccb6-08dc32e34f5f X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ML1PEPF0000F17A.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 21 Feb 2024 19:57:34.8649 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: AxQrcdZtRH+LcARRSPdgKeDU1rs2D898840YyLmI5hR6ye0do7GmDZ3j7VMouXsRFKawXd4zBN18+4oCe+l3K1TYcY7JoAliHLIeBjh6O3Y+N1QFafOu3lk152LfJbsgFtQ/dnfKtEepKPoI3JqJAWr7og54jnh1iXCrNizX4IIonwCOQEuAI853KHMj1G05 X-MS-Exchange-Transport-CrossTenantHeadersStamped: ME2PR01MB5970 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?bUlPQVRza1FTNU9BYWlVYmh1TjJCLzE2V3FXaDBEVVJRUVJLMTBGaml3dUVN?= =?utf-8?B?M2pnOEhyeTNwVlhGbmk4Yk9GMmF5NDliWlVMVEpnWUhVb1ZPNkJjMnRDYVJS?= =?utf-8?B?b0VFMmxTYy9FbkwySlA4ZzN0N0pqTVZHRkxvcDJwSEtici90Rk5QYWRFdStn?= =?utf-8?B?Znl1bXZSN3JhUzJqa1ZiNnBZZzFURG5IdjdZOW85UDl0cklxLzAxcXdWQ0g5?= =?utf-8?B?Rll1SmVIaU9adVBreG1FT0dkSGV5TEtMUk9kT2JoeTVtQUNxZVhROElOa1gv?= =?utf-8?B?QVNvY3Z4cE1NOHNXTGJvcXZzVWhFbmFFZC9NMEx6QU0xV2w5bS9aVHdIR0tF?= =?utf-8?B?NE9ZMGlhaVpoN1Nib3dLMEZia0JSTkRZdzA2SGdzUURkaStNZUZxdjJwUXky?= =?utf-8?B?bEhrODJJemtocUt2aFZjT2U1MjAwU0kxNUZHVVhRUWgyU1MzcU9DUlQzWEor?= =?utf-8?B?a1JvOTJIdUZmaWRLOStZSC90UDRjUEY1WU96UXN2d3dTcXN3RmUxdXFtUHlW?= =?utf-8?B?MVF6aW9QVDhtZlREemlBUEN1ZkpMUW4xY09RM2tUZjYvVzV1cXlQTkp5eGtj?= =?utf-8?B?TGEzR3A2d2REbTZCU1dhYzJDK2VDY0ExVDJCYk9KWnIwLzhsMGxuUjc3cmRC?= =?utf-8?B?YzJraHVKUy9WQlNSanFFdXM0Y0FKaWNDZ0dVM3RtNldGNlJUVEdWTGl0dTJV?= =?utf-8?B?OFF4MHBKRE85amJIVmp3a3ovSWlQWWtvY0V5Mm9YZi9mU1g0dXhuZytnQjRv?= =?utf-8?B?N0VUMDRzUXQ4VUlwcG1ENG0ydU4yRW16ZXduaVY4M3FwOC9TM0lUUnRUSzEx?= =?utf-8?B?T3ZkVlJvbncwTkR2NU9RQy9kanJ1OU1uaHFQc0o5REZaNVVTdlRvcU1pOERv?= =?utf-8?B?ZjQ5Q21pRVNGSzJDTXRKMFkwWHlXQU5DOXdvMmJ0QjJzZkNOZUFSTURVWEdX?= =?utf-8?B?aXpib0hRNVhxay9UQnJqWGw2MmtSL1d0d1hrcWYxdWxBdEFZSXQ4RnlZaWdv?= =?utf-8?B?VksyVjNQUHlrMVUwYnBINU9NcThDYWQzTjZ5RTNwM0NXYWJ3N0QzMGJqeWJu?= =?utf-8?B?S1BlRUlPbzN0SFh5SFRnTGRZY2ErYnNSMXJVLzh0Y0laNlFwdlYvT2hsS0Yw?= =?utf-8?B?N3c3Ui9ES0o1dTdtZkZBU0dRaFJuWHlGdGpFVDJZVGx4UGV3dWw2VDRzWkZy?= =?utf-8?B?cUNnYldVaklFbC9aYlJJT2F4NStvODMyRHZVUEdyM0VEQm4vMWh0bTZDN0Mv?= =?utf-8?B?eGl3OVVENWNCRGFITmZuR3Z3K20yL1U0eGkwaUV0RmVMYzEyVjcvTFdhOEY2?= =?utf-8?B?TlpYWEdDNDgwalRZNU02RHpGTXlCZUZZY1ViSm1CNG1UK3ltcnJrNGYxanVO?= =?utf-8?B?QUVJby9VZGE2OGZGSzNhbWkwWmtpYTBMNlBLU0czN3FjM3E3KzNJdXRYT25Q?= =?utf-8?B?UFhkVHZGRXpaRlg2YXp6VVNnU2N5YzZDT0Z4T1lRZ1J4UzQxZTkzLzdoVFcr?= =?utf-8?B?K2Z4MFdqaUk1OWpmZGNEaFhMNkVJWjZDOFdxOHBJYWl1di9xNUJVY3hmWHNB?= =?utf-8?B?NXF0RTZVTG5ERkhRYW5OUGQxWWdyZ1ErVEl2ZC8rSDlqNk14Nkw0Mng1Nitt?= =?utf-8?B?bmFzaVNNTmRhS01QVUVKT0dQdDJ4dkdSNWFJOTBBV05lYlU2ZmhudlRLV0lQ?= =?utf-8?B?cWNTdi83UjEwTmxlU1pOK2d0YU5MVExTN0hsRWhFTDRGVmhXZFFsQm1SSFI3?= =?utf-8?B?U0FTM3dJZXR3anFYbnhtWXZYSlNUK0FWRnZLZFZZSlN5c29QU1JHT3d0NjVR?= =?utf-8?B?d3ptKzZMNDBiejg2dDdURllZK3ZXaDV5ekZGc1I3QmZwVWltVkRpZmRkUHNO?= =?utf-8?B?NjN5aThIMVNGUktoY3lkUU45c0ZDRHhxbElMNTNBYjhVaENsUEpBV0EyTjNq?= =?utf-8?Q?r0eO8HceOMLun1xh0VeEr/tSgORc3Wr6?= X-OriginatorOrg: mq.edu.au > On 20. Feb 2024, at 20:06, Steve Awodey wrote: > > > >> On Feb 20, 2024, at 9:57 AM, Julian Rohrhuber = wrote: >> > ... >> What I would be interested in would be in what sense Carnap's mistakes, = according to Mac Lane, >> corresponded to the concept of functor. Or, perhaps, how Carnap's failed= attempt to define analyticity >> corresponds to a wrong concept of functor. >> > > Dear Julian, > > the =E2=80=9Cmistakes=E2=80=9D that Mac Lane refers to are not related to= Carnap's use of the word =E2=80=9Cfunctor=E2=80=9D, which was just what we= would now call a "function symbol=E2=80=9D in a formal language. Rather, = they had to do with Carnap=E2=80=99s attempt to define logical validity syn= tactically, which Saunders showed in his review was mathematically defectiv= e. The connection between that and the =E2=80=9Cpurloining=E2=80=9D of the= word =E2=80=9Cfunctor=E2=80=9D was, I think, just a playful reminiscence. > > Steve Dear Steve, thank you for the clarification. My suspicion was that Carnap's use of the = word functor was too syntactical, and Mac Lane found that for achieving log= ical validity, functors need to be mathematical objects proper. Would you s= ay that this is a reasonable interpretation? Julian ---------- 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