From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,HTTPS_HTTP_MISMATCH,RCVD_IN_DNSWL_NONE, UNPARSEABLE_RELAY autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 8557 invoked from network); 27 Oct 2023 06:41:46 -0000 Received: from mail-sy4aus01hn2225.outbound.protection.outlook.com (HELO AUS01-SY4-obe.outbound.protection.outlook.com) (52.100.199.225) by inbox.vuxu.org with ESMTPUTF8; 27 Oct 2023 06:41:46 -0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Zwzs0zEIFrNGiyQ4ndr1jfr/zizfxI7uINKpbtuiJRk9L6amktN+in9rRAp4DAbt/dpcPCbBfHLAbZ1bCyNZVA38IsqPto764dzz/rUVeKHN5VRA9Er/GuQSWU1qOjMDnAhtshJfoxryXPOlWQiVyIRLQDSuQ6P1wWFf7wJYyu1UD5fPEHLOFK9NuSINDadzbx1dNmXIAGiNcbfX/fvi6VVw2nb2JtSkSRXnQ13eiUMfkdM/UWGn5xMeB7kie1hPsVh+tiowxXpyXncfJwFthguZVX8oY0OO9h9DcAOLtN5ePens8ocp/5SaMZw2YSSBMqxMRqQzIjkE3hJBA3cAqg== 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=V3FCagQBuUcDFAnpcysm05hZfeGTFI3yb1qRDsAURPY=; b=GORbe93E7xoRBceDd5j/jCKPxIQM5zzi3XwQPfHvt8Lo5lh4aLcDRPs2mWLnoqgmhvE0BIEclpgYxhPVXDEQQVsKrI1RVySk5nqHQjnEhN1GX23zZtyQqGYMaoc3Fz2QfpDtUN0P6hk+rxyqefb/VPDWwVmfIKfPzkndEZIhEfIkzaAh8n7y+35fc/Chnk7BBcS+biAhJaoLJUC6nJkoeFvvPnZWLiCALoS6G8yVkEtP3UadNeJwox4ICNOh+X6GshU4fMWKGXDUqmS6qCDd16JOitQZAaj7M1PxOIHDAmf44Fcs/lLOJMNaY1oZ5StROjLta++lNnFslgs+faexxQ== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 130.239.40.25) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cs.umu.se; dmarc=pass (p=none sp=none pct=10) action=none header.from=cs.umu.se; dkim=fail (body hash did not verify) header.d=cs.umu.se; dkim=fail (body hash did not verify) header.d=cs.umu.se; 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=V3FCagQBuUcDFAnpcysm05hZfeGTFI3yb1qRDsAURPY=; b=pVqKfaBlFuci07M+qYbldiDRtvRhGuvMTjz+/2fOTrU3Ak6EYjL2cvK0r3H+BwZa2IfmTxKykh/InBO/IOqBsDIP+WFFBuaqEgXlMCa9+ayGRKBFlhxB5dkCzgq6cEAScsfh+iG2L1e4i9eXb+hIFPoM7SH1jqDs0XbgOqfVMJ4qm6jjxi1yCyWyFg3/xztCOe6YgZx0muWaIui1hGWw/+kSwXYzfZZMqEJfEqlOhHVdMjuCCHkPre8w6geZyop2R6suWgqkyqXOeJqFLx/pXFbQB8XAMMyPGuFKMqrmQIdsAFvODh9u4Ty6DaIMHi4O6cqFfeFCnRzU4TYXxC+Wew== Received: from SmtpServer.Submit by SYZPR01MB7588 with Microsoft SMTP Server id 15.20.6933.19; Fri, 27 Oct 2023 06:41:40 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=RtVhEB25qMoPHMmjcUPLxFoFL5+gyxsJ/8zStepDkbh6k9SV1NGfINLGGeuImyfHK0ej/xTM78mnOTXFCk3n2BDLxczZ8AQxgEWLxdRhKM+BYIUzv0Q5W1a4s7sNztnlCaSUlyN5JUaJNeHyykhyDSEto3QV91TQsb7yAEdo2GWplHcKOLPfhRKFV5GEnpm8+7M+BwtQ666otvxE6XlHXb6PtIFY87GSHRW6QncoVUup2ZtEEY8KglHfazrystlR2UDC3rAuRHEzq4gV5vuRhtmrxtPRHhK//bigRSbqL43Hw+eyDnosVuR2347/EIfft8k812s5FLldRS+0fjfKEg== 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=V3FCagQBuUcDFAnpcysm05hZfeGTFI3yb1qRDsAURPY=; b=grjObDoBMspTIaF7RqvMZXxrgXub+7P1EDi5M3EpasnHdEnpGAGqouV0mi8+5ZSbEIjGviV6I2v7otJSGe9w+zIxGbJoB1Bd0f/nfdVQoCbjBXVPGCdhMLsjnpsl3saNnGeu8atBoaEeiFI8BU0aFaKCkeQm4zgdro90sE+wLOclcBqNUelpnol2Ni+PooiuaID9Vf+be78xAkqtzkAT1XWORJOZK5K01c3F0GIk5lfBujlvg155dX61GvekIFb2SdpeQy/tlxcWK43HGvRY8L1vQvMTmNNqaJwiGIwqc1H482g9/xO4Z7kRh4oEioMe0OI5R6r/WT6zus+biNzcgA== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 130.239.40.25) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cs.umu.se; dmarc=pass (p=none sp=none pct=10) action=none header.from=cs.umu.se; dkim=fail (body hash did not verify) header.d=cs.umu.se; dkim=fail (body hash did not verify) header.d=cs.umu.se; arc=pass (0 oda=0 ltdi=0 93) Received: from MEYPR01MB7070.ausprd01.prod.outlook.com (2603:10c6:220:141::7) by SYZPR01MB7588.ausprd01.prod.outlook.com (2603:10c6:10:16d::22) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6933.19; Fri, 27 Oct 2023 06:41:34 +0000 Received: from MEAPR01MB4358.ausprd01.prod.outlook.com (2603:10c6:220:16::20) by MEYPR01MB7070.ausprd01.prod.outlook.com (2603:10c6:220:141::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6933.23; Fri, 27 Oct 2023 06:41:31 +0000 Received: from MEAPR01MB4358.ausprd01.prod.outlook.com ([fe80::5227:e1d2:c9d4:6646]) by MEAPR01MB4358.ausprd01.prod.outlook.com ([fe80::5227:e1d2:c9d4:6646%4]) with mapi id 15.20.6933.022; Fri, 27 Oct 2023 06:41:31 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=N7g0kxGPcbZQeeTMTmvKN64HgkBaE6uwepY91FPaJo04DXCzwiH8nNrEWlYLJ/GpXFuNP3idCW7Kd+1RxAL6ewwXCvfT6rRTaS2Y9L9mI7k+gHS8GkhCaiVZNJL2V5AsQAaqeeC3P5Xhi1+SjtSVNUFT+jOjLaFZbYlBH4AZJmUr5SugBHW/d9IJCvvZ6ORpr4TCtMQROMEYCJj6LnE/UBzdoLEYmoMG+hhlr+cyIVbOWZB94N9g2jNKsd3eCbHRs6YGewBvfGD/01f/nOldFCtJoJ/JNtz66EjPaawnl2H9GDv97eX9wskmg/PG57+E43vlO7MJdNcJ4qOdgTD3eQ== 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=V3FCagQBuUcDFAnpcysm05hZfeGTFI3yb1qRDsAURPY=; b=ZGXpkXduMMV5KGVoLVTqjx+goCgV/MjIzPtzQop5Jf51BIwJXQeiMWGQ17Ej24QPxUfkyuM2cj10h2yUjPM/t7a7Kz3v0KOtHl3CqPLl+Ng9vGj0HwUY+bko0xMwFLYrS140gPkhOjVjEemAcymS7M2kaAyoun7539/yuU1dejvT4PY6cRezDrQqd1TvJRWXnE5ZJaFpaLXuNzdv4M/Cbfa9hMhHqV47sRpsEH4tE3Htow55p5FCSa0ceINPgw7pPev3y9e95bYNwd4WehjWXNm+jpkKxjT9o5quFYfKiMxILDbXjSuQUlswR5nJOmU8d7cFmNOzQAlJJSFRZaIytw== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 130.239.40.25) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cs.umu.se; dmarc=pass (p=none sp=none pct=10) action=none header.from=cs.umu.se; dkim=fail (body hash did not verify) header.d=cs.umu.se; dkim=fail (body hash did not verify) header.d=cs.umu.se; arc=pass (0 oda=0 ltdi=0 93) Received: from SY5PR01CA0107.ausprd01.prod.outlook.com (2603:10c6:10:246::23) by SYBPR01MB6365.ausprd01.prod.outlook.com (2603:10c6:10:107::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6907.33; Fri, 27 Oct 2023 06:39:38 +0000 Received: from SY4AUS01FT023.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:246:cafe::3e) by SY5PR01CA0107.outlook.office365.com (2603:10c6:10:246::23) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6933.24 via Frontend Transport; Fri, 27 Oct 2023 06:39:38 +0000 Authentication-Results: spf=pass (sender IP is 130.239.40.25) smtp.mailfrom=cs.umu.se; dkim=fail (body hash did not verify) header.d=cs.umu.se;dmarc=pass action=none header.from=cs.umu.se; Received-SPF: Pass (protection.outlook.com: domain of cs.umu.se designates 130.239.40.25 as permitted sender) receiver=protection.outlook.com; client-ip=130.239.40.25; helo=mail.cs.umu.se; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.22) by SY4AUS01FT023.mail.protection.outlook.com (10.114.156.179) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6933.19 via Frontend Transport; Fri, 27 Oct 2023 06:39:37 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1698388777; 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=V3FCagQBuUcDFAnpcysm05hZfeGTFI3yb1qRDsAURPY=; b=UKWEeP1Oux730/qQ6z65Brc2YrgfTORAAQCZeZzRP5iRlhfVN+Ec6kEGTKaUQ/cUtOesqg k5ZxT2q2D9PbALSq9VqmFj6Rt83+YdryjsqbZpAQS0NVFm39pBr1lgx74QFnlRh9y9w2sY 7/bPvIKl8C/a2dKAxnQ1V9uz5llJZUrA/qcViBY/4N57vJ2T7PM6ZmMS0+cYB+guDXfxDW o2JxpbEyA4EfPE2O7GT69iT7AsFybo9/5MRhpM/J78Uq837UgeLG4nRKpI0KeAwmrMG3Zk 2V6ZsozrJAu/g8fxQEYTnupv4dJP9jDub2Fq2ozm/ViTPqY+oYdQU+mU/PAq2A== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1698388777; a=rsa-sha256; cv=none; b=Qhhy7f7SoBCfVhQ7uxWSmOsWaVUTzY2M7JgM2N7i0gVgwGF0B5RlMDHR/17gH4SCKNCD9H 9/0DMRvgImv0gBxNb8qzGOGE2NjEXhVnsC+PXNiRQKQtIwlhDQrlBw15bVMSbXNqp7wG8y uekHpQPZCxB+fGn2m7pYqfLzWQx8AONxNomgXgD6pEv53k6vcpENvKAl9CPUkTCQViNnZF rnDZDYYzdt6eloj8EdPhT30sYNsDREjRuRceEHQ+bLbfCoF2n3IwwCYJZloVbXM75P5K5v TXw2ap24lDTAT0V88SuKQAhPymoILrWqcJjgsTBJIi9DHG209lJaeDBC3lZIew== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=fail ("body hash did not verify") header.d=cs.umu.se header.s=dkim header.b=Fy5kQEGc; dkim=fail ("body hash did not verify") header.d=cs.umu.se header.s=dkim header.b=Fy5kQEGc; dmarc=pass (policy=none) header.from=cs.umu.se; spf=pass (relay.mimecast.com: domain of peklund@cs.umu.se designates 130.239.40.25 as permitted sender) smtp.mailfrom=peklund@cs.umu.se Received: from mail.cs.umu.se (130.239.40.25 [130.239.40.25]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-16-wQxXOma-ONSV56Bdp5XAOQ-1; Fri, 27 Oct 2023 17:39:30 +1100 X-MC-Unique: wQxXOma-ONSV56Bdp5XAOQ-1 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cs.umu.se; s=dkim; t=1698388755; bh=1nxVWXHbT/t1D4PlufbWK5yFrI58JvUq9OpTMRrOVIQ=; h=Date:From:To:Cc:Subject:In-Reply-To:References:From; b=Fy5kQEGchqHzwE26Y2KYKxoIYjCH99x/Vr3vcqnMo0NrC/GsoTGsTaJ3BmNrlhMLl xUc8gyWE5WI+1H1uZxQTpH50snweGHux60iLwsJKoMeFBtdv1t1XubE1UTuelNyEz9 KDWqFdoTRZhgXhsxJRWK5lh0/GJCKHQUw9R73hpuqHtEzKzDxzTDoIr8YxB0XtoI5F xpGTcviJtycewV9Mf2KNum6/xfqOnkXrkU0skxeRBgds7gYQxi/hioYtnhwcYtFFLQ n+c2mQsH0ddmI32DDiSVI32F35/JtXQDbRCc5zbHoaVjwr/Zwwi9+/2QaBUxmFWpcO hSDlCSEZLTAoA== Received: from localhost (localhost [127.0.0.1]) by amavisd-new (Postfix) with ESMTP id 4SGtLC5mynz2F; Fri, 27 Oct 2023 08:39:15 +0200 (CEST) X-Virus-Scanned: Debian amavis at cs.umu.se Received: from mail.cs.umu.se ([127.0.0.1]) by localhost (mail-vm2.cs.umu.se [127.0.0.1]) (amavis, port 10024) with LMTP id nENyDtTHYLh0; Fri, 27 Oct 2023 08:39:15 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cs.umu.se; s=dkim; t=1698388755; bh=1nxVWXHbT/t1D4PlufbWK5yFrI58JvUq9OpTMRrOVIQ=; h=Date:From:To:Cc:Subject:In-Reply-To:References:From; b=Fy5kQEGchqHzwE26Y2KYKxoIYjCH99x/Vr3vcqnMo0NrC/GsoTGsTaJ3BmNrlhMLl xUc8gyWE5WI+1H1uZxQTpH50snweGHux60iLwsJKoMeFBtdv1t1XubE1UTuelNyEz9 KDWqFdoTRZhgXhsxJRWK5lh0/GJCKHQUw9R73hpuqHtEzKzDxzTDoIr8YxB0XtoI5F xpGTcviJtycewV9Mf2KNum6/xfqOnkXrkU0skxeRBgds7gYQxi/hioYtnhwcYtFFLQ n+c2mQsH0ddmI32DDiSVI32F35/JtXQDbRCc5zbHoaVjwr/Zwwi9+/2QaBUxmFWpcO hSDlCSEZLTAoA== Received: from webmail.cs.umu.se (webmail-vm.cs.umu.se [IPv6:2001:6b0:e:4040::68]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) (Authenticated sender: peklund) by mail.cs.umu.se (Postfix) with ESMTPSA id 4SGtLC32CWz2D; Fri, 27 Oct 2023 08:39:15 +0200 (CEST) Received: from 4Fzgb/BT8vYE2T0mnY8dtqznvUsOYjfyVLNy2uctA/4= (7xVoDdZ/I2OgcE2pqyNgvB75zpD/XM9L) by webmail.cs.umu.se with HTTP (HTTP/1.1 POST); Fri, 27 Oct 2023 08:39:14 +0200 MIME-Version: 1.0 Date: Fri, 27 Oct 2023 09:39:14 +0300 From: Patrik Eklund To: Bob Rosebrugh CC: categories@mq.edu.au Subject: Re: Signing off In-Reply-To: References: Message-ID: X-Sender: peklund@cs.umu.se Authentication-Results-Original: relay.mimecast.com; dkim=fail ("body hash did not verify") header.d=cs.umu.se header.s=dkim header.b=Fy5kQEGc; dkim=fail ("body hash did not verify") header.d=cs.umu.se header.s=dkim header.b=Fy5kQEGc; dmarc=pass (policy=none) header.from=cs.umu.se; spf=pass (relay.mimecast.com: domain of peklund@cs.umu.se designates 130.239.40.25 as permitted sender) smtp.mailfrom=peklund@cs.umu.se 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: multipart/alternative; boundary="MCBoundary=_12310271739360121" Return-Path: bounces+SRS=zz184=GJ@mq.edu.au X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[130.239.40.25];domain=mail.cs.umu.se X-MS-Exchange-ExternalOriginalInternetSender: ip=[130.239.40.25];domain=mail.cs.umu.se X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY4AUS01FT023:EE_|SYBPR01MB6365:EE_|MEYPR01MB7070:EE_|SYZPR01MB7588:EE_ X-MS-Office365-Filtering-Correlation-Id: eeecb9a7-3030-4cf6-b804-08dbd6b77d77 X-Moderation-Data: 10/27/2023 6:41:29 AM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: uS3FQ+C278FXt3/2iC4muMVzJqAp+lRcihJEAwNBYXYfxsxenV/a+KI9OV9o+5imTZ9r1zmjgTYKxsZ7z1bc7vxfEoHyjWzEptdwNQWf5WnjrbiKpk8VGTeNavDx8YOb809ZH5AZ0Caze+2U0/kq7OWRlnisbsXh5n92DyGdOpO3sHrB0LZMkiV69FOrW3BnoILHhfmMSURbC3zTbnv5q8IZGGbJoZhBeJuhlRlV/LT80BPeT0V6ndIoIx5om4M/yxS2ButDcwGVEgb68X8IYxr9AzK5FlA35XWxbllnT59u2sb43QXdV+QCeR3TqPeGd61emSxITRxe/7VGsHIcg9Vcx2JXX7nQsljDUN5zMzzJydqY44K+rYeDNDA/g+A3aJc4Le+YsyLkn8SW1LuxJZbjSCqYYxzhZj/UXWr0jHyZqVqCQr0a4iWZkRSq1qfa1keffffu370qR/AMPKEaZuA6vjyJJQDXc35CD/lIdEcfTrArhExELHWHcv0ny/cx6am8QMRk/FMYSi3Jy1Nh3xdqPz5UiBcEXFFCCnaFlV5wf4e++womj1Gf1y4HZXXNCBcaDtzVmsoV5BLLrYQVGmgZp5yOVZ71ZXjSW9BrY8leI3qyr5Rpt7f5Pyv2GRuc+r3xeMoHGjuas/cImaOl+6snszkby+SiJNTZFI4Kt4jmFvvBU6rfat3JG8PZsNJhWKbF3nUDyyV7mdiupELZMPvj/b3zVK9PbkMvi+wZDoP76SAxH0VpH2Cm3tosQi0htDD5pT8AD9osVQzX1BIUAvUwfDxTqVe+HXG+Wmu7FKiIdjRe8zzwwjB4YjEHqrvY5j4KFk/Wao9ZSygwmZjvrVdzRPR+N0IcVlncf/VAbGYAsWmIZJvrT+9AgrVquhSYpiW0QQ+q4+tevvpf2pis0w== X-Forefront-Antispam-Report: CIP:103.96.22.22;CTRY:SE;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail.cs.umu.se;PTR:mail.cs.umu.se;CAT:NONE;SFS:(13230031)(4636009)(376002)(39860400002)(136003)(396003)(346002)(48200799006)(451199024)(64100799003)(82310400011)(1800799009)(8000799017)(40470700004)(156005)(336012)(32850700003)(426003)(26005)(498600001)(786003)(86362001)(316002)(70586007)(40460700003)(68406010)(36756003)(40480700001)(89122003)(2616005)(88732003)(76576003)(7416002)(35950700001)(3480700007)(966005)(166002)(4001150100001)(7596003)(7336002)(7406005)(7366002)(32650700002)(2906002)(108616005)(83380400001)(4326008)(7116003)(8676002)(7276002)(6862004)(8936002)(82740400003)(5660300002)(41300700001)(24736004)(53546011)(33964004)(41110700001)(45080400002)(41080700001)(41090700016);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: eeecb9a7-3030-4cf6-b804-08dbd6b77d77 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: 27 Oct 2023 06:41:31.4409 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: bvqpUIy1yCYSMiZhpLRzUswcuc2HYWSWWOiIBKBpXpf78t2a2rO6meQrMxpqiNNWOBPfD/iq/NPRT9bHZVI7JFOc/hjAh1ACPEIDc58+/Nd9oCpqPqTbp0ktdfDjoXLlW0L0MauE+pdnCH0r9D5Zyh8y52A1i7QHIqgCkmGIv/IoN6jyazncaYtZFsM8BgWN X-MS-Exchange-Transport-CrossTenantHeadersStamped: SYZPR01MB7588 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?akVlL3hvQVJ1eEs4NkJaTkQ5eUNmS3k3aWJLejFGaUw5ZU9lZDFScCtxNXJH?= =?utf-8?B?eldudkY2K0lXS2VkNlA3T09EZGlaY3FVcFBRbEdHS1FBZHY3aTB2WG5qNWhV?= =?utf-8?B?OFZNM09SU2lYMVhJNDlPQ2hLQ1hNdmFXc0wyeVRWT1k1RlpZb3pBRGJzUFlw?= =?utf-8?B?Q1B4NVNONWhnOEZvZFB0SkU2Wlg4UlNzZVVxMU1rRUoxRy82anQyc1ZKeTgx?= =?utf-8?B?eXhoNEpueVdCcFIvVXRJMjIyRlhaa01rT3BFUGI5cFdZazJPaUJhUU5YRmd5?= =?utf-8?B?bktFQlFLcG9jaVpoR1o0Qi9pNHh5WWgxMlJGNDZiL21xV2FoL3hsbmFndU5N?= =?utf-8?B?MXZWTXVDQjFmSW1hdUE0aFFVQlVPaEhaU0NxOFI2UzIxNlVpdUtRRCtacFZR?= =?utf-8?B?dUY2YlhMdTR5SGF6M2JwMk11WVVnWWtmZzBsMmNBWUZxTVhTVS9VUmRBTWMw?= =?utf-8?B?d1E1OUJSYnFNYlNOa3ROTlZsa0FtZDhLVlNiRDJSSUdrNVBCdnBnNG5pNFBp?= =?utf-8?B?b3dacUZvTWJPZml3dEw2M1V4SUxNbFVIaXdKbEdYQWppbDFwU2YwOXVWM1N3?= =?utf-8?B?S1FnbjJMSEw3QVl1VlFFU2NkenBPNit2YlYvOC9oazk1dWpWOURKZDkxaERh?= =?utf-8?B?S3loVEgrODBhQ1hoRVZxUGdwYy83NzErQU04MEt6ZWxtTVhoRFl3azRFQlZ0?= =?utf-8?B?eWkraXlJOE9HUGpBenZKT3QrRHloNG40QmRFNXoyMFJyOGVnamE1b1VIOFVS?= =?utf-8?B?ZUcrR3RVczg3UTRBTHhmOUJSS0dSMGx5a25ZSk5IUkZFZHUvN1BBTUxhQzZK?= =?utf-8?B?ZEpmSjdyUVg5aDZSL0JDSFUzSE1HNzhzWnB2a2t6enBQUEVRTlF6YVZ1akcx?= =?utf-8?B?eUc5R0V0ZFBSZlVxTUlvSFlTQ2VoMkRiMlo2ZUEvMFJ1bVpITVNmRXJqS01V?= =?utf-8?B?YjJTY0N1MFQrY1ZMTzNsMVFmUmVOQmhKRkFaVmZBNTUxUEdPL0VyYkEzZkdX?= =?utf-8?B?bFNZbzd2ckx3WjBBUGdrdWJVdFJ6VEl0Y2dPVDE0RWNMd1NqS3VpVmU2WXo5?= =?utf-8?B?VW1XSllUSWRDZ3BPVW9FYVZ5ZW1nR05PNVI2cjdydnNEUVF3MnNlays5d013?= =?utf-8?B?SExRdkRkUnlXTmRIKy9Wd3ZXdExkN1k2UHVBeFFhRnFvMXBFc0dFUlZWU1JV?= =?utf-8?B?M3M2ZmlRN1pSSmd4a2dlMkhxQ1A0VGV4ekRTaXpWdnJzcnBFdkpaTkY0M2wy?= =?utf-8?B?ZWM0djQ5d3BKUDQ3SitKaDlKdE1rMUFJamhQMElNSXV3SFArRERoTmlxZ25T?= =?utf-8?B?Tkc4UUpUWjA2bmdReU1aT203WEZKVzBGN1lYZ0gyclpqVWxmRytOenNWSFhp?= =?utf-8?B?YWMwVzR3eCtlMHpOM2NweGpINXZiN1lHb0VFNE00ZXlxa2JkZVY2RTY5Ulk5?= =?utf-8?B?WEorUXpKejRqQmZxK0lrU0lJRkQ0STNJRkZLcFgzcGFQM1Jab000bW9DY0Z2?= =?utf-8?B?dVBvYWVaWjMrYmVGZ3BuNHN5UFdBSzN1QThsUUlCYVBRb0pRMHc0QWJRZ21k?= =?utf-8?B?RW5MRmhhZmQrUEFLVU1ndXdydEJzWldsWFpxRzhDMnNwV2ZOR0tDYnQraEYy?= =?utf-8?B?OXM3c0ZVUUVudHBrQmpXMS94TnpRVnh2SE9xUnA3cXlRY2ZHUzcrVlA4dnFk?= =?utf-8?B?Z2NJSDJ6MmswUWV3L2l5bm9yZkVSTGxYSXlxeUdocUJ4TDc5bGZ3cFNHdlE1?= =?utf-8?B?NGhBaE9DbmpQQTBreWpSSkdsVEpCWi9UZnBqR1luMDNsSkZVSS9RcW1qcEll?= =?utf-8?B?RjZaTDYwZFVEV1VyYWtPbGhZOTQrT0FhZkxwUExyMFRMN2lWdncwRlU2d1k1?= =?utf-8?B?dTJNRVdSdk9UQ3Z3TjZ6aVRzRC8vK3lUdVdTcFFoUFRkQ3RyV08xeUNXVEEx?= =?utf-8?Q?xCE4A+oBJqrm0oVObTyQkIbDPmmOaQwv?= X-OriginatorOrg: mq.edu.au --MCBoundary=_12310271739360121 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: quoted-printable Dear all, Thank you for mailing, throughout decades, as it has helped create new=20 things and invite younger researchers, at the same time it preserves=20 community and maintains a forum. I've learned a lot, and I am grateful for that. --- Yes, looking back, we have good memories, and we know we did the right=20 things. Many things we wouldn't have done differently. Are we looking forward? What's in for CT in 50-100 years to come? I'm less than epsilon in the universe on CT knowledge but allow me to=20 write this. --- I wrote recently to Michael Barr privately as I had found a mail=20 exchange from 2015. On 2015-01-29 02:59, Michael Barr wrote: I wonder what kind of science outside of string theory would find CT=20 useful. I wrote some, and related to what I have posted sometimes at CT (and=20 FoM) on the need to use CT in understanding syntax within the=20 foundations of logic. --- --- --- Here's what I (somewhat shortened) wrote to Michael: I have come back to that "outside of string theory". For decades I was=20 flabbergasted about G=C3=B6del's fame given his 1931 paper. He is basically= =20 very shallow on formalising what formulas and provable formulas actually=20 are. Once he has sets for these, no matter what they are, he sees=20 formulas in there as sequences of symbols, and proofs as sequences of=20 sequences of symbols. In his footnote 9 he says he works with an=20 "isomorphic image" of Principia Mathematica. It could and should be an=20 adjunction if he would have tried something out. Anyway, in G=C3=B6del's use of the power type, he essentially works with=20 terms over sets rather than sets of terms, i.e.. he leans on the TP=20 composition rather than the PT composition. So basically he doesn't=20 realize that his substitutions cannot compose. His efforts on=20 substitution is in his steps 30 and 31 in his 1-46 steps before he=20 "proves" his incompleteness results. So basically G=C3=B6del proves incompleteness of systems that actually do n= ot=20 exist anywhere. Saying that whatever system P we have, formulas must be=20 nothing but sequences of symbols (Peano 1889), and proofs are sequences=20 of such sequences, is absurd. --- On 2015-01-29 02:59, Michael Barr wrote: I wonder what kind of science=20 outside of string theory would find CT useful. Today I write: I wonder why CT never looked into being useful more=20 generally within fuondations, and not just marginally curious about its=20 own foundations. G=C3=B6del's meta language is "logical arithmetic" where his "numbers" and= =20 recursion reside, and he uses that to drag sequences of sequences of=20 symbols into the mud. So I wonder why CT never looked into using=20 categorical arithmetic as meta to enrich Hilbert's program. G=C3=B6del's 19= 31=20 paper is seen as having crashed everything about Hilbert's program, and=20 he did it by dragging sequences of sequences of symbols into the mud. --- The Foundations of Mathematics side never seriously looked into CT, and=20 CT never seriously looked into FoM. I always wondered why. --- --- --- That was indeed my mail to Michael a few days ago. To repeat: Are we looking forward? What's in for CT in 50-100 years to=20 come? Some 50 years ago Bernays and G=C3=B6del exchanged letters on category=20 theory. They had heard something about someone being in Poland, but that=20 was basically it. Today, is there any exchange at all between CT and FoM (not the mailing=20 lists!)? --- Thank you Bob Rosebrugh for everything you've done, and thank you JS=20 Lemay in advance for everything you will do. Best, Patrik On 2023-10-26 17:14, Bob Rosebrugh wrote: > Dear Colleagues, >=20 > From March 1990 until recently it was my privilege to moderate the > categories mailing list. For a couple of years it has been my > intention to pass the list to a new moderator, but I was too slow to > act. Changes to IT service at my former employer, Mount Allison > University, abruptly made it impossible for me to continue running the > list. >=20 > Those changes were unexpected for me, but I have been away from the > campus for over three years and was not aware. The IT staff at Mount > Allison have always been very supportive of the list and I thank them > for their more than three decades of generous assistance. >=20 > It is a reassuring pleasure to know that the list is now in the > capable hands of JS Lemay who kindly accepted the invitation to revive > it. I am very grateful. Moreover, there is no one better suited to the > role and our community is fortunate to have him moderating. I am also > very happy that the new home of the list is Macquarie. >=20 > Best wishes to everyone. I am hoping to see many of you in the not > distant future, > Bob Rosebrugh >=20 >=20 >=20 > ---------- >=20 > You're receiving this message because you're a member of the > Categories mailing list group from Macquarie University. >=20 > Leave group: > https://protect-au.mimecast.com/s/F_r_C4QO8xSPgRRASOwJwn?domain=3Doutlook= .office365.com --MCBoundary=_12310271739360121 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8 Dear all,

Thank you for mailing, throughout decades, as it has helped create new
things and invite younger researchers, at the same time it preserves
community and maintains a forum.

I've learned a lot, and I am grateful for that.

---

Yes, looking back, we have good memories, and we know we did the right
things. Many things we wouldn't have done differently.

Are we looking forward? What's in for CT in 50-100 years to come?

I'm less than epsilon in the universe on CT knowledge but allow me to
write this.

---

I wrote recently to Michael Barr privately as I had found a mail
exchange from 2015.

On 2015-01-29 02:59, Michael Barr wrote:
I wonder what kind of science outside of string theory would find CT
useful.

I wrote some, and related to what I have posted sometimes at CT (and
FoM) on the need to use CT in understanding syntax within the
foundations of logic.

---
---
---

Here's what I (somewhat shortened) wrote to Michael:

I have come back to that "outside of string theory". For decades = I was
flabbergasted about Gödel's fame given his 1931 paper. He is basically=
very shallow on formalising what formulas and provable formulas actually are. Once he has sets for these, no matter what they are, he sees
formulas in there as sequences of symbols, and proofs as sequences of
sequences of symbols. In his footnote 9 he says he works with an
"isomorphic image" of Principia Mathematica. It could and should = be an
adjunction if he would have tried something out.

Anyway, in Gödel's use of the power type, he essentially works with terms over sets rather than sets of terms, i.e.. he leans on the TP
composition rather than the PT composition. So basically he doesn't
realize that his substitutions cannot compose. His efforts on
substitution is in his steps 30 and 31 in his 1-46 steps before he
"proves" his incompleteness results.

So basically Gödel proves incompleteness of systems that actually do n= ot
exist anywhere. Saying that whatever system P we have, formulas must be nothing but sequences of symbols (Peano 1889), and proofs are sequences of such sequences, is absurd.

---

On 2015-01-29 02:59, Michael Barr wrote: I wonder what kind of science
outside of string theory would find CT useful.

Today I write: I wonder why CT never looked into being useful more
generally within fuondations, and not just marginally curious about its own foundations.

Gödel's meta language is "logical arithmetic" where his &quo= t;numbers" and
recursion reside, and he uses that to drag sequences of sequences of
symbols into the mud. So I wonder why CT never looked into using
categorical arithmetic as meta to enrich Hilbert's program. Gödel's 19= 31
paper is seen as having crashed everything about Hilbert's program, and he did it by dragging sequences of sequences of symbols into the mud.

---

The Foundations of Mathematics side never seriously looked into CT, and CT never seriously looked into FoM.

I always wondered why.

---
---
---

That was indeed my mail to Michael a few days ago.

To repeat: Are we looking forward? What's in for CT in 50-100 years to
come?

Some 50 years ago Bernays and Gödel exchanged letters on category
theory. They had heard something about someone being in Poland, but that was basically it.

Today, is there any exchange at all between CT and FoM (not the mailing lists!)?

---

Thank you Bob Rosebrugh for everything you've done, and thank you JS
Lemay in advance for everything you will do.

Best,

Patrik



On 2023-10-26 17:14, Bob Rosebrugh wrote:
> Dear Colleagues,
>
> From March 1990 until recently it was my privilege to moderate the
> categories mailing list. For a couple of years it has been my
> intention to pass the list to a new moderator, but I was too slow to > act. Changes to IT service at my former employer, Mount Allison
> University, abruptly made it impossible for me to continue running the=
> list.
>
> Those changes were unexpected for me, but I have been away from the > campus for over three years and was not aware. The IT staff at Mount > Allison have always been very supportive of the list and I thank them<= BR> > for their more than three decades of generous assistance.
>
> It is a reassuring pleasure to know that the list is now in the
> capable hands of JS Lemay who kindly accepted the invitation to revive=
> it. I am very grateful. Moreover, there is no one better suited to the=
> role and our community is fortunate to have him moderating. I am also<= BR> > very happy that the new home of the list is Macquarie.
>
> Best wishes to everyone. I am hoping to see many of you in the not
> distant future,
> Bob Rosebrugh
>
>
>
> ----------
>
> You're receiving this message because you're a member of the
> Categories mailing list group from Macquarie University.
>
> Leave group:
> https://outlook.office365.com/owa/categories@= mq.edu.au/groupsubscription.ashx?source=3DEscalatedMessage&action=3Dlea= ve&GuestId=3D29536429-b029-49ae-8f6f-ef4b9554e6fb
--MCBoundary=_12310271739360121--