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.4 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: from AUS01-ME3-obe.outbound.protection.outlook.com (mail-me3aus01on2111.outbound.protection.outlook.com [40.107.108.111]) by inbox.vuxu.org (Postfix) with ESMTP id 8C6772C81D for ; Tue, 20 Feb 2024 20:26:18 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=agH/EpUROs6d5a4QpfEsSbxM4gnz1gs3b4DShMGklki/jWEBev8SoIl61aZQ8W1sfQG+oeAD6/2/dt4ycnKoEXwycZ6UV4Pm62h4eSEhLe7c5/ykiJhXmeJkm6+9YGZdcEWzhGZo/vi6Aax1wtHhpIrJztpHSSOkOqArrhQKmKzdqaOb8+Xj9WL3c06Onn8hE9ajTpPb0Sqxt3FhSgPvcJhqFHYTCrawE0jMXnM1gI84cdqapqmStO6pk2HdJSWx+hN1FNBsk4NZ6qvWUgVe2dpTkwghCT1ukoBbGqS4oiL+4mq9PwUowt5avH6BIgW7BnCs8XPKcm98U4/46/NPPQ== 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=qe+ohqsO/WYOxMwYVL8qvtKJgdVH9UbE06nUH7IPGOk=; b=avyENhivtWnaQMjK5EVp07NZRB823cSuof66IXl8Pb8XXC4IpzPNlTbn9vuHLOk9BQ7d/wchkoGjiMWHaDDyU1Mtu6Kh+FUNpXoMJAFwUP4+20CAZiY+lcfbVxB+Zr5dS+Uq3ZEMwPC7NrC71Xalle4KURSksplnyg8Ums58AreDKq7/yuSxxoPQg/xK2oL6uQDcco0r6A7cghkRnuy9sfjwZth+YWbhAGN6agv9Dl/6y7XcULB6dzOBhhYV4oWWJZ4lRWYDwqwB0G4TsDc9/3vUIF13ubIuX5R8QXBDo+Xhdyjub0ZslitRwreP2COvm5kX+hd48aSE/XZWtXz3Xg== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.222.181) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=andrew.cmu.edu; dmarc=pass (p=none sp=none pct=100) action=none header.from=cmu.edu; dkim=fail (body hash did not verify) header.d=cmu.edu; 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=qe+ohqsO/WYOxMwYVL8qvtKJgdVH9UbE06nUH7IPGOk=; b=WgqJJf/vH6OPuyqLL2Ww4haoXtd7vQfGqfblgA3VAmUlPJnXne0QmuLAQ9H3hSyeDKxc8e8wicEB6isErp/p/lI9E+OhelQXBLbZ4WJQZUn5ANHvkSnodYv6S+Hrt193bfG6lXKKOJxmcCaCiTRObiNOnh9BULPByPEK0YRhU2iM5KGdkJe3Rv/lWNG4KFmNYC31ZaygShs5oWUBzkeKjbZs6HrnNTekMWkJeEXyYfzjD/+p+rDEMyMGjq4EzcDqqr3sOWVY3RMyo+1v/BhNQ8QVkOqVTyymfDLo1KyHYrVl4pp1yyXwTWgQ3X2bYlhHptQhq1F1Nde5U68/vPThjg== Received: from SmtpServer.Submit by MEYPR01MB6470 with Microsoft SMTP Server id 15.20.7292.39; Tue, 20 Feb 2024 19:26:14 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=KHwzYo1VfnAeiDPcxhZPk8gtL7J1VX7BiuXZYTAEaSCX9ifAWVTlaVIgpDwf0UoZAor/R8p0cgIyY1guEnmOa08+dzXc/ltHaB1qhncopsrsTInD2YOdZvy2YDn8Ep2L7vfA1ITfOLmly85P/e/6A7Amr7SVsdxBVhg2l8dZr12O38al6PONxHcQBqtN3Ndm3EhBAzv6IukuaR4gFlgyAGsOPZDEeDZBa9mfJqYImLhS0ZWQzt90LM1KmJUyXaZ+nJ63W2pTQ9MxHUlLoHpZocvgXAEO/+HKXH86jl3TL2uOaWraJ9t+d4npYLKm4WiYxuXpzln+wCHYCuZcvSUFHA== 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=73dwk08bndaC2HU0Hvtm3BDITkQnUGVGm2I/7jnKL/g=; b=fXhyDRnk+0pW/YfvRtV6d9EF288dZcUOrRQSGdh0JwBnVmtzFdjIdaQUYMFg5zwV4lP1tMpjRrZNqsFcu2VEstJ4MZtN0+2wwyIvuCaTmOc/ujWmjWOQesi3YCNhOSE/OekrP49Fu8ssCJfpu7PoGPKjk76Ou4jYEYQLO3eDixcmoguashcg2C3t+yDxBeITJzSUWXzXXsCcKXmdjI0ZALBhGskQbTGaAA0zKypUl9RrS/TvQ+nOLnwu+a6tfehxo6q6JRLSmFWCD7TOStWUgMZP6QiKrgyPQq9nDjYJl36LTFeXBKjke0QPQMyF2G0wrNG+hTbC97zvlPOX3C+9gQ== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.222.181) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=andrew.cmu.edu; dmarc=pass (p=none sp=none pct=100) action=none header.from=cmu.edu; dkim=fail (body hash did not verify) header.d=cmu.edu; arc=pass (0 oda=0 ltdi=0 93) Received: from ME3PR01MB6564.ausprd01.prod.outlook.com (2603:10c6:220:111::8) by MEYPR01MB6470.ausprd01.prod.outlook.com (2603:10c6:220:118::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.39; Tue, 20 Feb 2024 19:26:09 +0000 Received: from SYBPR01MB8556.ausprd01.prod.outlook.com (2603:10c6:10:1ab::6) by ME3PR01MB6564.ausprd01.prod.outlook.com (2603:10c6:220:111::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.39; Tue, 20 Feb 2024 19:26:06 +0000 Received: from SYBPR01MB8556.ausprd01.prod.outlook.com ([fe80::7fb7:39c3:716e:817f]) by SYBPR01MB8556.ausprd01.prod.outlook.com ([fe80::7fb7:39c3:716e:817f%4]) with mapi id 15.20.7292.029; Tue, 20 Feb 2024 19:26:06 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Gwub9k6GxlRvD6da2W7sEJGNqoayEjS0Ewhz+9Bso2tInyG97NzPNdlPODnXrloz9FbWP5nXTNFPykHnx42WQvWTLLtQYj4MEJWd9IvzK7+qU0oCRqk0S0YSZtbKslnjuib4wZbtsoU1pMhsLfO4tE27oV0rQWDUJa1xKqCt4UN5hlV2j4JnnSG/cqO9sVmtNWQHK50p+Ra+BVls9jftTuUsjoAK+eQk3EYi9+tgBbBuRE6g/e7b2lkmWVX2BTgsOKso7Z0y88x4TdAZQ1OTOD/+C+MxuxjWrL1+GnuaLXNiubUIPFXDSXc4kRHCCZJDapJQryLRAaW1Lh1qNQoXWA== 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=73dwk08bndaC2HU0Hvtm3BDITkQnUGVGm2I/7jnKL/g=; b=WXFqOU+i8KuAir/tjXFOKkiTIK+bQoS8U6fH/EmZGQPDbegtBicj6ZpUG8dyKACcKqim+6wRT5S8aJ3Qw1IaSxsycxZPho0ozU6u/TYyiiFo7TXb26O5XvHyzkKROJoDEP3qfQUy5vh0YV3gGPqjpYxG5pXlQFMgKJPaOjKIxIDNIhrYbnxhY5OauPHfw8oXdZkEvlhpNwtvmq2Fjo81qjiwlmblzlvVVn0EgLbjQqY6/bQTbIQroIP5OpIiUtLJr3pySqoZLe91iPfbUvblmHcNmyHbVjj+SABix3L8ZACEMWd4vTJ6npX1sRPkWemqBZTDBhAoaQbn/7YD1MWjjQ== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.222.181) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=andrew.cmu.edu; dmarc=pass (p=none sp=none pct=100) action=none header.from=cmu.edu; dkim=fail (body hash did not verify) header.d=cmu.edu; arc=pass (0 oda=0 ltdi=0 93) Received: from ME0P282CA0023.AUSP282.PROD.OUTLOOK.COM (2603:10c6:220:20d::26) by SY8PR01MB8901.ausprd01.prod.outlook.com (2603:10c6:10:226::16) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.38; Tue, 20 Feb 2024 19:06:08 +0000 Received: from ME3AUS01FT022.eop-AUS01.prod.protection.outlook.com (2603:10c6:220:20d:cafe::47) by ME0P282CA0023.outlook.office365.com (2603:10c6:220:20d::26) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.40 via Frontend Transport; Tue, 20 Feb 2024 19:06:07 +0000 Authentication-Results: spf=pass (sender IP is 209.85.222.181) smtp.mailfrom=andrew.cmu.edu; dkim=fail (body hash did not verify) header.d=cmu.edu;dmarc=pass action=none header.from=cmu.edu; Received-SPF: Pass (protection.outlook.com: domain of andrew.cmu.edu designates 209.85.222.181 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.222.181; helo=mail-qk1-f181.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by ME3AUS01FT022.mail.protection.outlook.com (10.114.155.117) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7292.25 via Frontend Transport; Tue, 20 Feb 2024 19:06:06 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1708455966; 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=73dwk08bndaC2HU0Hvtm3BDITkQnUGVGm2I/7jnKL/g=; b=QXO15nn0w3gPmhi4nKBIAhzKb6C16iKqC+7ORym1VyxFlVd/stVpetnJd9h6YlAMxkxbPY miRem1sS61Oytr2kJpgwZY2ySELXGGLg9s/tvx8e+fyzpqaIWgw0S7Bl4Xz5RR5et4fpiD AA9QrH7r/xK/kcJaG7bbdguG9MUAtWaZhLXZoIJRtiLu9pUXfP6gyrhx27xJOfF1as+QAe w01+WQ76nmIow9o7g2Nt4nv5aFdS3M8BlEMn0GO1EtQTEKqoAjvxQVCA1ofcWrJYIrtVHw V+1c5jjH8Wdf4t6ObLPsWQ2AFnNBotvFUrUc03NggabyNAj84EOEJ4DE7onU5A== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1708455966; a=rsa-sha256; cv=none; b=jQIC7jdjBRD8mXzR2VNQwMauBR3U7fVzk2cU6IdoMhh2n+E+McZ848hL+GMVKqEHmzIiD9 w31hTy5ZjaBR5ecG0L/ruZhbAMAEioCfUZbWMa2fIIGVgQkx1DMOlBRyazkiTHO4baKtqD Opjy5pUDhsZcPTRmh2wdd0Be3a7HBPdf88yOHQas+osIO6+kYuWTuLLfOnZj2hJ29zvIZ5 3eRwBfYFWhTnc2nm0qeeJxKsEl8pKq/n9LkicSZ1TJTPTnkqinA+nV6Uv6Qrre13h1eVbH IBxjPk74iOYkULdjQJa7MAARmtxOYIfC/jt/HUwORFMU14mDRfxj0fETbEUBNw== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=cmu.edu header.s=google-2021 header.b=PCy1WzM+; dmarc=pass (policy=none) header.from=cmu.edu; spf=pass (relay.mimecast.com: domain of awodey@andrew.cmu.edu designates 209.85.222.181 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu Received: from mail-qk1-f181.google.com (mail-qk1-f181.google.com [209.85.222.181]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-87-8h5lQv6aMD-aMWIU3Rsz6g-1; Wed, 21 Feb 2024 06:06:03 +1100 X-MC-Unique: 8h5lQv6aMD-aMWIU3Rsz6g-1 Received: by mail-qk1-f181.google.com with SMTP id af79cd13be357-7873eaa0ba2so248963885a.0 for ; Tue, 20 Feb 2024 11:06:03 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cmu.edu; s=google-2021; t=1708455961; x=1709060761; darn=mq.edu.au; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=jsgh0gFGSgYEStTpx+++dNhYNRorWqQRlR1GmJe2F/Q=; b=PCy1WzM+8wZUtbjL97iHMFz6wgDfZBClHU5gc75iFHcsriAJv5lBHC1yHpTfwDkkrh PqSfQJxFP4K87zcd4eLhO7lD9VvFFSnO/npLjUwRQBTdiiVqx5aQAcumd6+4kk+d19aJ 7KQ+bnjF/jW1SAwYXx1CxcIPTuDgGZS/GyQevPt8Qw/U0tlPjrZ12iC7LCUMw7XJQQhv 4v1NqQ1jOi4rzrcGDm3Hub1PIVjY2lAoqS35t4iLKR3qv/7MLE4mleeuf/qPA4t/NYOd aRxD30urAt35n+OEoQU1MgugpJwP7SoapvJtv3BPV/dtljV2BzH5DWx8H7QIOKRKlBAT w+rQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708455961; x=1709060761; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=jsgh0gFGSgYEStTpx+++dNhYNRorWqQRlR1GmJe2F/Q=; b=FIoIO8VEwGbrkDnWQapVeGU1gBsXjuft4/cQ7Pyyqq53zbh1VQV4SjWnX+eNbh9NBf //CBS+VgKxtP5R0PfSsnQ2MtObbCIAZYfiqUN/o6xZqRzohIyQfFefbLIEcRKxwPglT1 mVbCulQsZxZmab2l6cmURVNlqHWjmsJfreeL+YGUoX11vI+xRgCxuUrH9YfXJBLNdLLH XJ0KfZT79g6/bOFvqlR968STlezBBFcJRn10sR/U4rjQNZUwCGf6vsfbAKOGnNX1yTa1 wGymWlWEBjaF3lhC7ebk+KT9lxVfh0Ih1m84ph2xIN9MCTV8O9aYo7LVthYbIlfDwuvL RkBA== X-Gm-Message-State: AOJu0YwTSkbjlyGrITzlJPgdQceGV4fUTyYqxstPjG5DdEvXWTvBW7nm LP8PbhXnKO5+PhvLkGnZCdb2QKAPQu4qy4kSWr8GlKJWacnuxxLMUJo1rEYkNw== X-Google-Smtp-Source: AGHT+IHD7XeP4rLrC2KKkG/VBPNKXrupTbbqDsVBPZPs1ZKwexyQLNDHozhjaSvu9B5YPa7Odpu97g== X-Received: by 2002:a05:620a:55a6:b0:787:7e16:1970 with SMTP id vr6-20020a05620a55a600b007877e161970mr1735081qkn.40.1708455961277; Tue, 20 Feb 2024 11:06:01 -0800 (PST) Received: from samson-bp.lan.local.cmu.edu (bp-priv.nat.cmu.net. [128.2.149.139]) by smtp.gmail.com with ESMTPSA id g6-20020a05620a40c600b00787340f749bsm3628657qko.10.2024.02.20.11.06.00 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Tue, 20 Feb 2024 11:06:00 -0800 (PST) MIME-Version: 1.0 (Mac OS X Mail 13.4 \(3608.120.23.2.7\)) Subject: Re: On the etymology of the word "functor" From: Steve Awodey In-Reply-To: <11BF846D-5E24-46DC-8D73-AD026DB0DD44@protonmail.com> Date: Tue, 20 Feb 2024 14:06:00 -0500 CC: Categories List Message-ID: <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> To: Julian Rohrhuber X-Mailer: Apple Mail (2.3608.120.23.2.7) Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=cmu.edu header.s=google-2021 header.b=PCy1WzM+; dmarc=pass (policy=none) header.from=cmu.edu; spf=pass (relay.mimecast.com: domain of awodey@andrew.cmu.edu designates 209.85.222.181 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu X-Mimecast-Spam-Score: 0 X-Mimecast-Impersonation-Protect: Policy=MQ - Tag Header Only on Default Settings;Similar Internal Domain=false;Similar Monitored External Domain=false;Custom External Domain=false;Mimecast External Domain=false;Newly Observed Domain=false;Internal User Name=false;Custom Display Name List=false;Reply-to Address Mismatch=false;Targeted Threat Dictionary=false;Mimecast Threat Dictionary=false;Custom Threat Dictionary=false Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.222.181];domain=mail-qk1-f181.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.222.181];domain=mail-qk1-f181.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: ME3AUS01FT022:EE_|SY8PR01MB8901:EE_|ME3PR01MB6564:EE_|MEYPR01MB6470:EE_ X-MS-Office365-Filtering-Correlation-Id: 9d3aa386-b8ee-4eb7-5d13-08dc3246fdd0 X-Moderation-Data: 2/20/2024 7:26:03 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: Ak3t9mv6fRsekOpGGaEJMYSrnmGqSCYgcvSKZh0hzxlt/5JdV+ZVJyuqI8pNsYijGuwilVjgoBc2dIPpoKVGZVaCEG3XmooeqAwuoniQhozsjxjK1bsOSGcv2Mm+WjiDIKD2pjp5m2w3yp4UyYcp60IIFyXYLuKUdG+0OeexW2dMf3wICQwQLU84cLERmnksJEscqhvg4Z00p47xDuZRym6NvBy22qop8N9XStJuJPS5WynLEK2rhTbVrAf2rKa1xF9Jb2Y1oDaJJFJ020YUxnEHiJGB1pxF5Z49LTOnrWKXaBkCpWsPUxMpUYzlUwjEMxvXfo/eD0mW4rf5IhpRACE989sx03dLeeGvIQvFrncpll7CLM6p9mtNxY8T21QEmxWTZQPSEKYtgPMMUI/rBksjdMT7D8EX0zYEafoI5Yv4b6iygayXs22bQWyunynF4r0kzFNKb8UECjLKHSRUnJNpFPFrMp1G0nkZ3XsaVtWHKkn8jkDuCm17HqPW7/4WJwfI9MqjoT3XIq7T9d56m2B19M+nAcoqFH9HBcYH6h4wuJOwWnu0HLpetsjmja9GWoRAK2Y+smoPbC+yIozWsyYwzH6/0cFQqHh0JxajUyPfmMwauXOuVUBEdf0gf4FJ70zC3MlILZYxbJb3yJzoJjYllW0Wbgrf4ZBJPW3n1+0ai8s2ohOfBFvLBm1cCKn6nG9IfbNmneixWphZij899w11mOahgqQnH4pUi0+tprd14JWG2ACOrREeJLD5K+Uh X-Forefront-Antispam-Report: CIP:103.96.20.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-qk1-f181.google.com;PTR:mail-qk1-f181.google.com;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: 9d3aa386-b8ee-4eb7-5d13-08dc3246fdd0 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ME3AUS01FT022.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 20 Feb 2024 19:26:06.1964 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: +huFwnmyB7G2GGBrAnJlRzVAzTh8+UetwKO2HOeRuwKijCLBiD6nkDtmp4hzwpE7zMSBv/oco544ORpXP32S17tvZe1uDfyRgZXV7WGhQEctmjqX29ZTpAlPOfiSiNn8y/Px0R8fvnAzPoMHKCCCJGFoe2IlU1+KWswW8fuNlY1kkJAe/sOTlAO4N8cqtOoI X-MS-Exchange-Transport-CrossTenantHeadersStamped: MEYPR01MB6470 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: <095A6D17-6D23-4DBB-8CC0-9215E79F009C@cmu.edu> 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?dUhGc3ExOWxKZEx3dlNmazcrUHhwWit1WU9aVHMrdWk5SVBIR3lpdnorR2k1?= =?utf-8?B?RHhXZ0RyRFA3Q3Zkc0VYU1Z2ODRiUWFpaVZiZXFWV2FRWG1OaTQzeDhTK3dY?= =?utf-8?B?eWZRRU8ydUNERnRDOGZFVkFWeEh1dzgyRUlRdmFORFVVNVRWUDJ3NlFLcjh0?= =?utf-8?B?NDh4WVBBeGlvenlCY1hhcFczbzJSVU8vc1ZTb1JNdVkrSitaWCtCdlZyY0hI?= =?utf-8?B?YVJOL3dEREh5NnZTL25naTQ0Z3VYNlZzWHBkaE15YlpCbTVEcWZpSlNnb1Bu?= =?utf-8?B?a2VIY2RkemhSdjJnaXVRZ3k3QUg5YXNaMzRBQ2ZNRlArRU91cDNIRTlLb0lT?= =?utf-8?B?K0FGQm1IRkNFUy8rSWJHakQ4STUvYW9HWE1lUGJmSnFNNlRWaWZvazB6VWlj?= =?utf-8?B?V0wzV0VaTWpmamV5Z2huY0V3cWh4UVhRTFcyUWJObDgyTU50d3ZKVWVwZkxN?= =?utf-8?B?TzY4am9wWGJ6UE9xUm8vK1lVQVVsOTdnaktzcklDSUZvWTNZOTduaFRHY05h?= =?utf-8?B?VVdYeTV3ZXRVN0pNOHpwWTByRVNqbG9QcWNUbXBRRFZEbnRMU2pka0FobVhJ?= =?utf-8?B?MXNSZ2szcnVZTkRGL0R5VVh4RVV4QS9xMDI2a3BVYVlnbmFlYjQvL0xza3Ey?= =?utf-8?B?NGpJb2VHdi9nano0L2dXUm9QbkEzd3plRzhBdDAwcUVFbzI5MFVzcHIrOTBs?= =?utf-8?B?Y1lydVNhaGFQUlRuYzBETnJ0QXhHVWFXZWFtY1RlbHZEVnFlVTNZSVIzeGww?= =?utf-8?B?RUQyVG05MGFtOTBmN0VicTdjTHVmNzNmbWVjN0t1TnNvdFl0SDQrYnRYbGtG?= =?utf-8?B?REVtSTF1WVllUXcvc01tbWQyK0hQU2NLM2xHNmw1MmdsMFZLK0tEcTFXcSsy?= =?utf-8?B?Ni9LOFZlbXAxMmJlTE5uQTlhSzYwdHU0bmFlR3pkOGN2SThnWUgyYWlyVGE4?= =?utf-8?B?UjlOWG44MTVRaW5HUituaFdVODlTNWRCL3o0VktUVVdHUVd5Tk5iZ0hzaWtY?= =?utf-8?B?SVcrK2tCN0hocHdTS2RRenk4MmNiQ2F6SU5WUThNb2cyaGU1VXJlTXliWXpE?= =?utf-8?B?ZUhubGRoaGNFcFBHS2pvajJmeXRUYjBiYlV1MjRvRks4V25lanN5WlVSMWhH?= =?utf-8?B?TFcyc3lvaERORytLRXZwcnZVcmF0VDM1NWo2aDZHbnlXdUpFZS9qQmpKZXo0?= =?utf-8?B?dm1MdFVOSXM5Y3g4cEVzMDdPQVRoZklQQ1RGeTNCKzIrNFYvOGNSemRzYmhQ?= =?utf-8?B?ZU9KY05RN2NIOFcvamd3bjl5UDVxRVZiL3UvcG0wOHg2VU9TYjkwb0x1SzhY?= =?utf-8?B?aXVoeEdlZHRiRWlhRFdydDdkWWNJNm1jSzRCaXBQOU1ySlhkT0RSU2pQM25K?= =?utf-8?B?LzgyWitocFJwRXRtM1JwWHZybW5qY0hnamlJaTNmdG5KNjRMVEFJZjVLbHhr?= =?utf-8?B?YUZLRDdFeTFRQkxEVDQrODIxOE9Eck0rS1ZSSG10eHZwcEhFbmQreDFXRWRH?= =?utf-8?B?ZHh5dW9hYk9MSjZwKzYvWG8xMjBRZG9YWHNSNWJ4WU5PRU85OUNYcTFvU1kr?= =?utf-8?B?SjVZRzN4Rm40WlRpSzZOVXlFTkc3TEk1UHdFUll3YkZRTEdsMms1VEhmbWlE?= =?utf-8?B?ckJabmNHbURVNFM3NnpJTlRjTXJWOHFGaUFUNnhmNGxWQ3hZcGl3QWRxeVly?= =?utf-8?B?VmtCem9vMTcvZlZOSFpUUHh3WDJFSVViandVdzhINGxaWGFRMHhHUEZlU3h6?= =?utf-8?B?bm8zYU1jVXNtRFhhVmh0RnlLaXprcHg1ZjFKZXpSU211a1JMMlk0Wlo4VmVi?= =?utf-8?B?VGxsVkx6bURxUExTU0hHN2pMWDMxQ0ZTYWxkdXBxRnlGbm43bk5DZFNCb2tP?= =?utf-8?B?UitId1FRekIva1dxRmZhK1JnaXoweXJZSE0vS2FYWXJNaUJDUE1LenkvRzhU?= =?utf-8?Q?eygN30XGu+RSWN+EDZeYaW9bTaHheiTk?= X-OriginatorOrg: mq.edu.au > 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, a= ccording 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 C= arnap's use of the word =E2=80=9Cfunctor=E2=80=9D, which was just what we w= ould now call a "function symbol=E2=80=9D in a formal language. Rather, th= ey had to do with Carnap=E2=80=99s attempt to define logical validity synta= ctically, which Saunders showed in his review was mathematically defective.= The connection between that and the =E2=80=9Cpurloining=E2=80=9D of the w= ord =E2=80=9Cfunctor=E2=80=9D was, I think, just a playful reminiscence. Steve ---------- 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