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=3.0 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,DKIM_VALID,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,HTTPS_HTTP_MISMATCH, NML_ADSP_CUSTOM_MED,RCVD_IN_BL_SPAMCOP_NET,RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.4 Received: from AUS01-SY4-obe.outbound.protection.outlook.com (mail-sy4aus01on2110.outbound.protection.outlook.com [40.107.107.110]) by inbox.vuxu.org (Postfix) with ESMTP id E411F28F71 for ; Mon, 26 Feb 2024 10:46:24 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=ghg4wLsVqIqijHUAB6iKRlZyvpl8GacYVF4U4IknfgiLJe4+tJ3J/l2lP3eRHzZq/pYUAZveARIfQn3I4apmS2r2wpoaXiEL7vtEBLnQQhz4Qmoj7UhTkvELbM9Ypdo7hY/ZH0vEQeO1g6UlibxxJyqvWNTtI7Iypzi4+9mLXQ9mPXhaHvEX9jsPDEKc6px4Eyf5f7uA4EJ1Uja1xBVA9a2+jYT7z1psgf17XlX1awkuhVPKC/E6uKgfUNVGRsFL9Er4plaEv0TOHeBqIBHlohYjciSpFLCufzTZqb93qiKDzwUmrHs7/sF9Ob99RHMwFjrNmIZEZZ9g/g4Ny0sG0Q== 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=5I23420KU1zuzy+gLjbV+CpEXkgQa2D25urNVBGS5t0=; b=OgSpgcLOCGsD2THcFrlrtTdanhIuc3NK4jL0+NNc8hlWXxfk00XevE6P66EC5hJgAzAoZWL0hZ6/7vaMm7RompB662kztpGSCeG45VGiKCu6+JmRdtHSzV8s8aTPsnJm8/0S9lr0Q83GH01zH2wZfCYz20XDt3Q5keg4kk0TqaztcWnKET0ty6NeOmcidKiXV0MhqovhDklxW99Dpt/rGLALIEOXE7NWvxEfdSWivDZH4h277FNDcNKPF3GawaTLOVBAHYBwcumY3eHjIl6T9Ww1q4oA1Pg/UJl2EYK2d4fy+Vn10181h5e6WZGiycOykZT64xSQbKEFo5DD5LE79g== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.219.177) 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=5I23420KU1zuzy+gLjbV+CpEXkgQa2D25urNVBGS5t0=; b=tQ0uoMiJpJdN4yW7tKs2OtxSr91HHuUnrtQLrlNRE2PTkwQKGbgM7/lMCVC9Ff+ijDS74f54QXOgg97lRBBtnjf8jaiqV1hlzk9PfodDGIlXKs28i1rf/5yS5vGOrNHJ1C+4wcgJFVnzfmLhzazve1rEh8iQNYyu7qxmvvZrrL9UDJQqDFUYWNNc401BeEnVzPwWm3d1QQ9eRYxQzS3kWHUHkW9vTsfT8bpT3wtznFEkZnnr/3C3QqFBDxDWnwOLs906bGmWNlo3BuKkZbM3huexoSpeyH3lHDzzF4XhUZE2azsi66bMoDseP6XyIwkhJN1ToFo4p0EU51ioSppNVQ== Received: from SmtpServer.Submit by SY4PR01MB5865 with Microsoft SMTP Server id 15.20.7316.34; Mon, 26 Feb 2024 09:46:21 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=YwsAxlnuBD7hNSkB2LOyq+2KS6YkSwWlj7MSZ9Yh48gWfgiRP/U4wVEhqeVTpflKAuU+pyBblast1tdU220Ceseet1VyP5KZ5tJ2RkaA4y9FPl/2akymvfmy+/tty1lLB90e4GQ/F74ye2kP5U8Xk40de2RwJU73udYmdDS2WlyedwJBgzvZYmL5Yl8vzB0IMqmoxUvHdLIOm362811MXY8RvxP49hLdnuKrE5X1Fs/5Sct9dZjpr2c1KsFEFK6B7NgH1tnRTcGIT+nvMkz7cxLdKn1Fm0w4Sy1L/NjUEzh7ddi9kSH+D4BqlaGK/IxHL1uoihMFtaVGlA2dihHnhw== 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=5I23420KU1zuzy+gLjbV+CpEXkgQa2D25urNVBGS5t0=; b=Um4NwkpI7z0sdyAHWqtZAvz6Uzk4DYuYBGazvOkO7qx9kHsgjVDW6JKcExWL84DaChP0bB7n5YwMz2BqkcaEHjqGCoI56bZEwlTQxFVfHDrfxBE0TwV7tP/xcaqyuDtZV6jhX8BJxJ7oGtZ3Bpx43oqgH1tDjIJFhlxOUYpnm25ATt+WTa4v6ecgPybmngiClu95GAgmWV+jIHAe7qwPXwvq9/ea+z1xzM1DsoIeVVDC7hDhS9bqCyJoV0wHtWPlhK2s1iwUTWkzv3gRNNFEffOLV5r83fgdRjJIq6QDEqupUFQfhfw9m5OkFBV/9r9zo7FSWB220S2Q1kira5zfmA== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.219.177) 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 ME2PR01MB5923.ausprd01.prod.outlook.com (2603:10c6:220:dd::8) by SY4PR01MB5865.ausprd01.prod.outlook.com (2603:10c6:10:f8::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7316.34; Mon, 26 Feb 2024 09:46:14 +0000 Received: from SY0PR01MB9149.ausprd01.prod.outlook.com (2603:10c6:10:221::18) by ME2PR01MB5923.ausprd01.prod.outlook.com (2603:10c6:220:dd::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7316.34; Mon, 26 Feb 2024 09:46:10 +0000 Received: from SY0PR01MB9149.ausprd01.prod.outlook.com ([fe80::8130:67f1:2577:5c41]) by SY0PR01MB9149.ausprd01.prod.outlook.com ([fe80::8130:67f1:2577:5c41%4]) with mapi id 15.20.7316.034; Mon, 26 Feb 2024 09:46:10 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=oSgHQBXKR/XCaMjtRFSUhRdj0g7a92N3ZzRSubmlrDnnd1BwYy/AxV7NsZ55SfnmpsswwxymnJPe0BXp6ud/s0856bajMoYp26bRrCtKoOSXjuXwRAO4i+Mu8aj1CFcwDjxU7NQXdLDtzcvyxn64buZLbcHBy3UVprH7Rm2bA26lfPlQa8pch1BvGXvreJqXNgc1jVLQji/+v5JKhuZzUye8fuWJRb1mkS6vpDbawfz9SHBercQhL+W+xOzAMINi5ORJvqpXJN7rbSzmbPiQ8NWtAuTkjYFrZfPkNcA1nt/iIiao5SIodXflfyXL68ExSw3XmwxGiJbMZHPuOcIOPQ== 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=5I23420KU1zuzy+gLjbV+CpEXkgQa2D25urNVBGS5t0=; b=Ud2NKdzGZvp/sSH7FDy+MElmina0NO8YLCg7yBy1gVMa+iL6hyIpEJ8CrcJKfVArFQNObAFmGjs3knvlDnkB/ph2kcaeyrfjmEuczsqzRUzvpkdnnkQmaOALM4lD+sYLkpA994xI1z4Oic8RVJmT7nAn9hqwvw8MaQZ+L8gICDSD/MoqgqIGDKNsHSv6NHPOxZKpMAwZJ2h3ha2vlx6QTzduzaO+BzGwgB5sjuBXHru2U8vpURO0QneaBviq1IdzUs6FwtDkOfZVy11A/SLlTBBDj1KYXfHGHzBrZ8kwKe2K6kZXyw/aizIvfmfiU9J/UQ6NQsPZE1AEn4rSqDPukg== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.219.177) 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 ME3PR01CA0050.ausprd01.prod.outlook.com (2603:10c6:220:f7::18) by SY0PR01MB9211.ausprd01.prod.outlook.com (2603:10c6:10:224::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7316.34; Mon, 26 Feb 2024 07:32:01 +0000 Received: from ML1PEPF0000F178.ausprd01.prod.outlook.com (2603:10c6:220:f7:cafe::18) by ME3PR01CA0050.outlook.office365.com (2603:10c6:220:f7::18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.49 via Frontend Transport; Mon, 26 Feb 2024 07:32:01 +0000 Authentication-Results: spf=pass (sender IP is 209.85.219.177) 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.219.177 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.219.177; helo=mail-yb1-f177.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by ML1PEPF0000F178.mail.protection.outlook.com (10.167.241.69) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.25 via Frontend Transport; Mon, 26 Feb 2024 07:32:01 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1708932721; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references:dkim-signature; bh=5I23420KU1zuzy+gLjbV+CpEXkgQa2D25urNVBGS5t0=; b=QVYZ4FFGBbQyGyd7n1uylNOQrSQY3sF8IbTea51GX9rEVPABP0feWzyhRdWj4snx0fVVU0 7bBIwxsd796mLdvYTpH5lxAwAxd1mpnqYxBnuhkj40LSFH2LO5tAt/oSImAT6ybTX5+zKZ pneAhT0NOrqFKE7ZG6NQ4BSsFiTBdxxz9SaLm/12rj19ChdTKVi2LreEO7MN/6m3TqX1Gq 9gwkHqMDtjk4NSYxP2+zDt80qMtpL1vuXzR0t+0qrb9zehvNNa3Ad7uI3USKejKD4blacA 179I2GXjyI54HBPqak2divJrjh4XRMa0TCE1rg12ipFz/9GgKxXxDlQDPW/6Cg== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1708932721; a=rsa-sha256; cv=none; b=BwtRMPX2B96zTZ0gBNXoxPdyC5SkMv8qXCNihKJagyZNzxzUUua1JphQOZEYHJRqiHrvUV P36vTYbe1I62dgvLJeHIQDSDCMKWrjMkbICQT2zueBY1mM7nd1qZIg0h/76HS2rigrTbuN 7LI7nIg02EmDMc9Q7QVhQATYEWnJ+t9rDuH2UxVxkxjq0PwbH6pAD4TJ2NhLoFl9ynPwRE Jq0c69A54+ek1EukSckVD314Rd90WQYSOpu6fWe79sqgghil3eok4eVE39KDWX/WgoheM4 C67DaFF9WMR8P5a/cOlxa9Xj8Ksa0NWF1JUzg+x/XV1ckQGJvxkSX/l0/1tycA== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=XeRaKBWe; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of duskgoo@gmail.com designates 209.85.219.177 as permitted sender) smtp.mailfrom=duskgoo@gmail.com Received: from mail-yb1-f177.google.com (mail-yb1-f177.google.com [209.85.219.177]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-100-Q7xTr3CXOXu4dBade9H84w-2; Mon, 26 Feb 2024 18:31:55 +1100 X-MC-Unique: Q7xTr3CXOXu4dBade9H84w-2 Received: by mail-yb1-f177.google.com with SMTP id 3f1490d57ef6-dc23bf7e5aaso2569995276.0 for ; Sun, 25 Feb 2024 23:31:54 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708932714; x=1709537514; darn=mq.edu.au; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :from:to:cc:subject:date:message-id:reply-to; bh=g8C7Dy2yH+CYEYIwejxsrrgfggG9f/HrtPlwehyDiFw=; b=XeRaKBWeAHxURyakTjwlFJwYrub2IsRJrPeuXvEv+Mi7H/ANlEOhMW2WDEpV+1d0UZ vNwtUEr2fboaCw/w2y/NSLBlWAvHnlMJ0vPnB3sNHCBsFFr4VJi4Hz2332dgXYdSdUbb eIL++XD1ro6LQfZOMZCeSMrn7pHoHak5WGbZqyoRtoZqvEI804S4isST7O81nofd7EGF j3rFghcxDluXp8qm0AGp9L2qMxxGbRwVIQPC5l6u/ha+zwuLYaJGtJOdt4fjfKwfRqig AeNK+02fO44DGE5ssx3BFBZmggD6FYyxSuRHNY4/Dt1yJsVjQf3hLnEFIoUhAkgngLkz PrKg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708932714; x=1709537514; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=g8C7Dy2yH+CYEYIwejxsrrgfggG9f/HrtPlwehyDiFw=; b=r44baUbFQ6/Jbqtr2GEuZZndYWE4591g6HP7/eD1Bs6GQVkvzfxq56gO9NKFK/0ZU6 xPbptjPVxp+o8wG7Blzg1ob42nzbmci6meS1l75GBi1Pl9J2k51ucPhHbRiIG6QMwObd j/7jzw0OruxGtFXEzj+qqGjKsrgtlslBSwPHsMNhurbgKM8LZFAXhIrbjJXOJcMyw8UN Rtl19KmdKHRmXEmiAl4OdX3xNhPJH7jK9UMCA7aUj3qe7iacpw400CE8VD/FM3kuFaz9 NlcILmKvXfcVR3a9iJTHRoOz1+wdiehhyRgLbZt4WX31J+baIUdfSBEOv+phncL7KO6I 54Zw== X-Gm-Message-State: AOJu0Yz8T2QtyN4shlxHr98uN+y5qYQUnISaBfCPm7jrXHgXtE81e/82 v+64bAmIpjrjnufud8xC+zeKXHYMs+wD1UlQP1nALbbkg8bPfkSEAxR38aRJq+TlmAln+q68ilw u3j0k9ls3qKYm4dXhXl5vt1B0aZeF2aYMrjqOZA== X-Google-Smtp-Source: AGHT+IG5qIazCFUFcB8WQIsOXAxpbMLd2ps6rtvt+xoD3DzeZoCrsdANDTROfDIaAV9JEpELj9F9u861oIXrStPD8C0= X-Received: by 2002:a05:6902:2203:b0:dcc:ebb4:fdc0 with SMTP id dm3-20020a056902220300b00dccebb4fdc0mr4457782ybb.65.1708932713804; Sun, 25 Feb 2024 23:31:53 -0800 (PST) MIME-Version: 1.0 References: <6b040ec8-db78-40fe-99f7-8dc5593500be@gmail.com> In-Reply-To: From: Dusko Pavlovic Date: Sun, 25 Feb 2024 21:31:42 -1000 Message-ID: Subject: Re: Fibrewise opposite fibration To: categories@mq.edu.au Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=XeRaKBWe; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of duskgoo@gmail.com designates 209.85.219.177 as permitted sender) smtp.mailfrom=duskgoo@gmail.com X-Mimecast-Spam-Score: 15 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="00000000000059fb18061243e74c" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.219.177];domain=mail-yb1-f177.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.219.177];domain=mail-yb1-f177.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: ML1PEPF0000F178:EE_|SY0PR01MB9211:EE_|ME2PR01MB5923:EE_|SY4PR01MB5865:EE_ X-MS-Office365-Filtering-Correlation-Id: fedf18f2-e90c-4d0a-b5ea-08dc369d05df X-Moderation-Data: 2/26/2024 9:46:08 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: bxB7fozJv83wxs0O7IrIqqqfKN5V+gsRx7akCS+i/4WqAOQcJgaDPREx2JVxQhd+pdeO3CW6rruoC7X1qWBLbS9nSJi6jrp0zI4lpXzNsRkn6+PHe8ldGAM4OrfMtif850v+NvhY7DsvbWb+z6IDVuyVcv9+N1jNUGTbvlyPys16cgjMa7g0HNRZ5PH7YzZOagXFQUOo/oLjogD3FuckdmM3/meKa7g9Cv3YPnTSOz+LJhwIhdL+owDPeYAaFXraR60ms0lWLLhiWEsIqvppwUOgVUp3fYK6JKRmmFLyn4OZ/8fBsW8Y9F68lOIyJWDKkPVYp0PAAN0wESYFWiYGUgSAMUsnddoNl7D0MkSx5N4C9ul1wT9JQyAQMx/l7uG6dIxEErKc2T7lZ4a4EfdyTfcxxLFySzwoJh1CZ0EymqTkbwKIi112NG1hswmg+bA/TvVJNySRNyqxd0jhLt6kBuijL0vWLn7WnzRsuyV/2SwGke63rGDxLaFjeO0lUKhLvCxHLZ/SRPzuzNnA4H2tUKKX6oPuda9IxBlJ8RoRURJi7KzYEJwzrNBQ3VtklP3GLAhPIjJkjt3GY1BKUyazQAYqGL+NL3fqcWQ1kUPON0aw4/68Ebltbm4K1LI1I9PELf6Rkt9jcBJCWER6AgWWx/TewpdixJS6cfUFRNLFO4tO6B6UJWnP61jVmjhm3RRQ1DBnt3VkuCmEyOGhYRVz/gd9bhgk9Wg+9buqGlnQevn1O2kvHkbsXHNKssbTn8Yb/O7x7MOuV3vznNrgU5W3B395bLTVIaPSJYGcxSFdz97pnlC+LNi0elzSUxrKEaLCWgw0HRLOlTV097RZKKybBOuLHcV1eE82Z978SWgeVi0= X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-yb1-f177.google.com;PTR:mail-yb1-f177.google.com;CAT:NONE;SFS:(13230031)(35950700004)(32650700005)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: fedf18f2-e90c-4d0a-b5ea-08dc369d05df X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ML1PEPF0000F178.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 26 Feb 2024 09:46:10.0116 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: +FszCd3f7LuMRKWEViGghESIJ0fN4lOlxBCBCQM07Yb9Xh0Jaq5Npfsx2DfXneXIg7jhnAaMQejPJll5Ac34G5XDHhbsDEJcDo0IPH4LnGS1Ifh8yM/rnEU4R1suAYowcDCxtzrUcXGbvZ40c0qkthYzWMHRocCx0/eFHK68tS8LQDV/tVbdebmCD0S0weKQ X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY4PR01MB5865 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?ckFqNHU3S2ZHMmFNZ0NLcnNKK08xckh5YXlQbnhVWjQ3R0FaQ09QOVVXcWhN?= =?utf-8?B?bmgvVEtCMndhNnZTZHZyQ2VFSC9lbzRNM2hrNGlzUnNEMGhtR2hLWkpkaDNL?= =?utf-8?B?K2Y5elJwSnZieUpLRmtOZzkwcmpadThuZDA4TEdpckxjYVdBSmdJU0FHNVJB?= =?utf-8?B?Szd1ZVRqMXQyaDFTWGg2a0UvaUY1QzdvVi9PbmFTanJZalFFNDFGY0tQSDVu?= =?utf-8?B?a0Q4eWl0K2tlbG1jRUFmN1JRZnUxUmpucDh6TTNmeUYxaFNDbEFIZHN2N29K?= =?utf-8?B?WWpLdEFzRzB2TnVxZUIwVTMxenJCaTR6NkdrYUFENHBWbXJqSHd6bHkxS3hp?= =?utf-8?B?b1UxZFY1NlNCYkE4SUdQZzNIS0VMR0NteXlJMXJ3RjdvRGw3L1VLQmRjQzRR?= =?utf-8?B?UXVxUytXM05ydVd1Z3B3c2FyY3UxUTM1ZFBBZDYrSDFMTm4rSGFTYW9VSTlZ?= =?utf-8?B?MHNGMDZVdSs4d2xyZ2sxUGxzUDJWZzgwemFJZzBQb2dLSWtrNVE5TTRiVmNH?= =?utf-8?B?MVFvWlpoL2E2Qk1SWjAvbEswMW14WENPR0JKTmdiZ2UxL0pYS3VLT2NyY2Rh?= =?utf-8?B?ZW5paEtGbm1FSkVrRS8vUUV4cmRnYnY1WkkycTYwMURocVl0YTVZTGhwWTBn?= =?utf-8?B?eWNGL1FUa3lHSDRUcXR1UGErRS90aXM0bWRJWnFDSUltNGpkdjhTb09JVlZK?= =?utf-8?B?ZWZHTUs1SnVDa0RTdUJkWWdock50VVhOcWxkUmZTRFhJSnl2QzZvZERqeCsy?= =?utf-8?B?NU1USUEzU1ByYjV3cVM4eFlha0dkU1Y5UTYzenFWTUVyeTlXQUthWmtjemNK?= =?utf-8?B?bWNONGtZMThxTUpOelpKWGp5dFAycFErUmExWDVVN0Vqazl3ZXFOOU1aYVRM?= =?utf-8?B?NE1ZTzVRVDBsRm9tclZ5b3M2OWdWd3JKNmw1RWh6RXBlOVJQWTB6ck1XMm9B?= =?utf-8?B?U0RzZ2kreWk1YXdySUJudHdIVjBXcU1zWHg4MjNkbGlXci9IaHlOR0hQYmsw?= =?utf-8?B?aFFZclVpT1FiNUJYSkZLWDhncGQwTjRyNUNPdmVBV0xZRXFkR2ZBQkFpZ1JL?= =?utf-8?B?VU9wQXRCK3dESHNjZlhOMmNOWWdDVmNOaWJRaTVBTnBrckZ6VDJNN3RndDZ0?= =?utf-8?B?alNqcXJmV0t0Z0dsdUJHWFVJaTRWbHVHV3BhUlFYcDNReVBUVHp0NlcvODFp?= =?utf-8?B?Y2dmSUx2UEN6L3FpKy9HaFgxR2VVT2ZOT241amU4QlJUS2o0K0hUU1dadVJa?= =?utf-8?B?N0lPNmd4WTd0czZtai9Ybzg3OXdsVmlYLzZCSW1GcDNheGpqeFlqOFgrNlRL?= =?utf-8?B?QlZtZ3c2ZmVYMXpEZzNUR2c3WVFFc2hZL1k1akV2aHI3b3hNenEyTUtsYnYv?= =?utf-8?B?L3Z0YXUzNVlMeGxoeWNqUXFGV3h3WWtLZkEveXN1ZTNMdmZ6QkhXQ3lid2lz?= =?utf-8?B?NHV5NnN6dUFkVzkzcDlpTy93R0RxQm41TDUxZ1VQcUhQWU5QTnZlTWlCcmVT?= =?utf-8?B?SjRiQUZod2NMYWZUZFdmaEhReDluZHlhUm16ek93R05JVDFXNGJPK1pNNFIz?= =?utf-8?B?OTlpYkMxMUpoeW9tU2pBV3Q4NEZzd0FVLzIyd2hNRXFnUDFZY1hvYXFhT0JS?= =?utf-8?B?TzBTcWFRSWM5NUY0aVYwNXBlWGZkTk5Dc29acW1RZUo3ODlUdlZCT0RKVHVv?= =?utf-8?B?UXM2bGw3eHU2SVFkblRtd1AvRmsvVm4wb3VWbmVROHBLSkZhMTRkQTVsS0cw?= =?utf-8?B?VmtHRU02RnRKK3VZNkRFQUhLdnlBc2M1KzJQNFdrN2Y4bnY3UDJvbDZHTXpZ?= =?utf-8?B?OUIwYlVBL0lvaFVmM0VIT3JNR0VqdDVnV1BKb0R4cWRidTE0M0pXSHVzTFAy?= =?utf-8?B?SkhQYzhCSVJXRC9UOE9WZm16M3NBVnhQdncyU0xoelFmY3d6U043VmwvbnBE?= =?utf-8?Q?9ZnAr6wyIslSW0+bQuSSaVvgj7xGiyqW?= X-OriginatorOrg: mq.edu.au --00000000000059fb18061243e74c Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable it occurs to me that i have been preaching the helpfulness of the well-ordering of all data in the world, as demonstrated by its utility to the programmers --- and i totally forgot to mention its utility as a *categorical structure*!! i forgot to plug my own work which provides the categorical underpinning for the well-ordering sermon... so we all love the **cartesian closed categories**, characterized by the adjunction CC(XxA,B) ~ CC(X, A=3D>B) (*) but the cccs are *extensional* universes, corresponding to the extensional type theories. if we want to capture the world with actual programs, say in a programming language P, then we have just a family of X-natural surjections CC(XxA,B) <<--- CC(X, P) (#) the surjections say that every computably X-indexed family of computable functions from A to B can be programmed by a computably X-indexed family of programs in P. since computable functions don't always halt, we cannot avoid at least the computational effect of nontermination, and the AxB is not a product but a tensor, say from a commutative computational monad. such (symmetric) monoidal categories with a "programming language" type P and natural surjections (#) is what i called *monoidal computers*, because you can program everything using (#), without ever saying anything else about the programming language. it is turing complete. it's all spelled out in my book. but the snag is that (*) is a *property* of a category, whereas (#) is a structure. a category can be cartesian closed in only one way, but it can be a monoidal computer in many ways. one is tempted to say that this is unavoidable since the CT thesis leaves us with many models of computation and infinitely many unnatural isomorphisms between any two. **** enter the well-order **** IF you remember that programming languages are well-ordered, and assume that the type P carries a well-ordering, THEN (#) becomes a *property*. a monoidal category CC can have at most one well-ordered type P with (#), up to isomorphism. the nices thing is that you prove this by spelling out what came to be called the cantor-bernstein theorem, but in cantor's way: using the well-order. (dedekind discouraged publishing this because the well-ordering of the reals was cantor's by far the deadliest mortal sin. even now, to really keep the reals well-ordered you need something like levin's dovetailing approximations...) anyway, this proof is in Ch 8 of my book *programs as diagrams*. computability is a *categorical property* --- IF you take into account that the programming language is well-ordered (which implies that all checkable types are). sorry about plugging my book. i know it's a world of tweets and advertising campaigns but i still feel bad. my alibi is that the fact that computability+well-order is a categorical property is way more important than any book and surely goes deeper than i can comprehend no matter how many turing degrees and oracles i consult... (can't believe that i only remembered to mention this after like 5 posts...= ) -- dusko On Thu, Feb 22, 2024 at 3:42=E2=80=AFPM Dusko Pavlovic = wrote: > [sorry, i always lag behind.] > > a global well-order assumption is not a conservative extension even of > ZFC. it would make all models of computation extensional. it is also not = a > conservative extension of the nice non-ZF universes we like these days, > including categorical, for basically the same reason. > > my earlier point was that, since we live among computers, the assumption > of local well-ordering seems unavoidable, sooner or later. for the simpl= e > reason that all data and code are well-ordered as binaries. but the > ordering is not a property, either global or local, but structure. we kee= p > reordering things whenever we write a program. imposing a global ordering > structure would require deciding what is what: identifying the intensiona= l > and the extensional equality. extensionally :) > > you are probably right that all this is a sort of a religious war. or > maybe not a war, but rather a theological dispute. but note that > theologians considered it to be self-evident that they were the bearers o= f > the torch of logical truth. just like we. > > if we assume that the world is built of sets, like we were taught in math > 101, then assuming well-order is indeed questionable in all kinds of ways= , > burdensome practically, and zermelo's solution to package it behind a big > quantifier is a convenient solution. > > but while discussons whether the world is built of sets as the simplest > foundation of everything might be interesting, or not, programmers tend t= o > ignore them and only use sets when pedagogically unavoidable. the reason = is > that all types in their world are well-ordered AND that transitioning to > sets and cardinalities is still as just costly as it was for cantor. so t= he > math that runs in the computers that we use to exchange these messages, > discuss foundations, and make calls home, tends to be built on well-order= ed > types --- which we reorder and reprogram whenever needed. intensionally := ) > > 2c > -- dusko > > > On Mon, Feb 12, 2024 at 6:56=E2=80=AFPM Nath Rao w= rote: > >> [This no longer about how to define fibrewise opposite fibration, so may >> be it is time t change the subject line.] >> >> IMHO, this seems to be more like a religious war. In "mathematics in the >> small", local axiom of choice allows us to choose representatives only >> when needed. So we are grew up believing that putting things in the >> definition that are not preserved by morphisms is "not done" (the >> religious dogma) . But them we run up against issues when we try to do >> the same thing in "mathematics in the large", and either ignore the >> problem or argue endlessly about how to solve it. >> >> Also, if are willing to assume that every set comes with a >> well-ordering, why not assume a global well-ordering and be done with >> it? [If I am going to use universes anyway, it seems to be trivial to do >> this, as long as I live inside a fixed universe in any given proof.] For >> ZFC, global choice is a conservative extension. Not being a logician, am >> not sure, but perhaps it can be shown for global choice is a >> conservative extension of local choice of 'all suitable set theories'. >> Then we can do global choice with no qualms. >> >> Regards >> Nath Rao >> >> >> >> >> >> ---------- >> >> You're receiving this message because you're a member of the Categories >> mailing list group from Macquarie University. >> >> Leave group: >> >> https://url.au.m.mimecastprotect.com/s/en1jCANpnDCyZOvyTGnciw?domain=3Do= utlook.office365.com >> > --00000000000059fb18061243e74c Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
it occurs to me that i have been preaching the helpfu= lness of the well-ordering of all data in the world, as demonstrated by its= utility to the programmers --- and i totally forgot to mention its utility= as a *categorical structure*!!=C2=A0 i forgot to plug my own work which pr= ovides the categorical underpinning for the well-ordering sermon...

so we all love the **cartesian closed categories**, = characterized by the adjunction
CC(XxA,B) ~ CC(X, A=3D>B)=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (*)

but the cccs are *extensional* universes, corresponding to = the extensional type theories. if we want to capture the world with actual = programs, say in a programming language P, then we have just a family of X-= natural surjections
CC(XxA,B) <<--- CC(X, P)=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (#)
th= e surjections say that every computably X-indexed family of computable func= tions from A to B can be programmed by a computably X-indexed family of pro= grams in P. since computable functions don't always halt, we cannot avo= id at least the computational effect of nontermination, and the AxB is not = a product but a tensor, say from a commutative computational monad. such (s= ymmetric) monoidal categories with a "programming language" type = P and natural surjections (#) is what i called *monoidal computers*, becaus= e you can program everything using (#), without ever saying anything else a= bout the programming language. it is turing complete. it's all spelled = out in my book.

but the snag is that (*) is a = *property* of a category, whereas (#) is a structure. a category can be car= tesian closed in only one way, but it can be a monoidal computer in many wa= ys. one is tempted to say that this is unavoidable since the CT thesis leav= es us with many models of computation and infinitely many unnatural isomorp= hisms between any two.

**** enter the well-ord= er ****

IF you remember that programming languages= are well-ordered, and assume that the type P carries a well-ordering,=C2= =A0
THEN (#) becomes a *property*. a monoidal category CC can hav= e at most one well-ordered type P with (#), up to isomorphism.

the nices thing is that you prove this by spelling out wh= at came to be called the cantor-bernstein theorem, but in cantor's way:= using the well-order. (dedekind discouraged publishing this because the we= ll-ordering of the reals was cantor's by far the deadliest mortal sin. = even now, to really keep the reals well-ordered you need something like lev= in's dovetailing approximations...)

anyway, th= is proof is in Ch 8 of my book *programs as diagrams*. computability is a *= categorical property* --- IF you take into account that the programming lan= guage is well-ordered (which implies that all checkable types are).

sorry about plugging my book. i know it's a world of = tweets and advertising campaigns but i still feel bad. my alibi is that the= fact that computability+well-order is a categorical property is way more i= mportant than any book and surely goes deeper than i can comprehend no matt= er how many turing degrees and oracles i consult...

(can't believe that i only remembered to mention this after like 5 po= sts...)

-- dusko


=

On Thu, Feb 22, 2024 at 3:42=E2=80=AFPM Dusko Pavlovic <duskgoo@gmail.com> wrote:
[sorry, i= always lag behind.]

a global well-order assumptio= n is not a conservative extension even of ZFC. it would make all models of = computation extensional. it is also not a conservative extension of the nic= e non-ZF universes we like these days, including categorical, for basically= the same reason.

my earlier point was that, since= we live among computers, the assumption of local well-ordering seems unavo= idable, sooner or later.=C2=A0 for the simple reason that all data and code= are well-ordered as binaries. but the ordering is not a property, either g= lobal or local, but structure. we keep reordering things whenever we write = a program. imposing a global ordering structure would require deciding what= is what: identifying the intensional and the extensional equality. extensi= onally :)

you are probably right that all this= is a sort of a religious war. or maybe not a war, but rather a theological= dispute. but note that theologians considered it to be self-evident that t= hey were the bearers of the torch of logical truth. just like we.
=

if we assume that the world is built of sets, like we w= ere taught in math 101, then assuming well-order is indeed questionable in = all kinds of ways, burdensome practically, and zermelo's solution to pa= ckage it behind a big quantifier is a convenient solution.

but while discussons whether the world is built of sets as the sim= plest foundation of everything might be interesting, or not, programmers te= nd to ignore them and only use sets when pedagogically unavoidable. the rea= son is that all types in their world are well-ordered AND that transitionin= g to sets and cardinalities is still as just costly as it was for cantor. s= o the math that runs in the computers that we use to exchange these message= s, discuss foundations, and make calls home, tends to be built on well-orde= red types --- which we reorder and reprogram whenever needed. intensionally= :)

2c
-- dusko


On= Mon, Feb 12, 2024 at 6:56=E2=80=AFPM Nath Rao <khazanarao@gmail.com> wrote:
[This no longer about= how to define fibrewise opposite fibration, so may
be it is time t change the subject line.]

IMHO, this seems to be more like a religious war. In "mathematics in t= he
small", local axiom of choice allows us to choose representatives only=
when needed. So we are grew up believing that putting things in the
definition that are not preserved by morphisms is "not done" (the=
religious dogma) . But them we run up against issues when we try to do
the same thing in "mathematics in the large", and either ignore t= he
problem or argue endlessly about how to solve it.

Also, if are willing to assume that every set comes with a
well-ordering, why not assume a global well-ordering and be done with
it? [If I am going to use universes anyway, it seems to be trivial to do this, as long as I live inside a fixed universe in any given proof.] For ZFC, global choice is a conservative extension. Not being a logician, am not sure, but perhaps it can be shown for global choice is a
conservative extension of local choice of 'all suitable set theories= 9;.
Then we can do global choice with no qualms.

Regards
Nath Rao





----------

You're receiving this message because you're a member of the Catego= ries mailing list group from Macquarie University.

Leave group:
https://= outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?sourc= e=3DEscalatedMessage&action=3Dleave&GuestId=3Dce331909-8de8-486a-9d= 80-27c4c94f0c9c
--00000000000059fb18061243e74c--