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.2 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HEADER_FROM_DIFFERENT_DOMAINS,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-me3aus01on2118.outbound.protection.outlook.com [40.107.108.118]) by inbox.vuxu.org (Postfix) with ESMTP id 1AF1624E43 for ; Tue, 13 Feb 2024 11:19:37 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=NORUxzsbjSpCjdHjadcz5R7BW1pfYVRel4PXfqtRpTn4eLsSCaXOaXoGvxZHng1ygNDKHMQiWBzB74qTGULdyN2u5R1ZI+m8Yv4ZCtGcGpMag/tz1AedjGR5uLsYJ7o00IAM/ygvmvLGx3QM5X2BbP/dVEKZM7gTt2qRPh/gdIfOTPNtppixtAJNvKj4u39bPNHQnuuK0JrYU0FNI52FJUDi6ovtX/d4XbrTZRZa7m+Mk3sSnrmhuitEUv+yHaV1uWDxdBzSHvBI8CGGLOm/K0IJwWPYtIrSBzSvdF2GA9xHbmC8dInDuFVMC6RiHICVrm+hyLIaHTHx6KseJ43MTA== 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=JrPmvFMO5bTlEeHBMvCP4OtZEIeWF0GGXna6yIwtbTc=; b=a9HvfKcjvEB8n35IukoDmnJ9SQAPRAfZUOoJTQV/HT6zp10RMjULlYqGmtP9uCIoOtXpke9KvkcKYFt+DouwH6I0SVc9Ew7Dw747pUQakkMn4ZmxKMPfGWne2FXhFmMxjrP/Jo+dljKQaewqZRoBTV1IvShwHpJO4vRwUol6N+bsnNZn4bXhXZQZS9yvQrYQmGEXrHZw7xFTi3a2IcHF30BxVUcM6jcl/dTr8FOKEXB+U05oVgfzYVukA4vAsG4i/B517LgX+HqC8bCkoxpauZ/IcMzc4wlMSQ3yU0ofktbWagBWeu2Hgrcj6J99U2wiAxslOa3BH7ZwOjrEyX+yjg== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 130.83.156.230) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=mathematik.tu-darmstadt.de; dmarc=bestguesspass action=none header.from=mathematik.tu-darmstadt.de; dkim=none (message not signed); 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=JrPmvFMO5bTlEeHBMvCP4OtZEIeWF0GGXna6yIwtbTc=; b=IHLh/U/8z7CXCGxU7Zh/hFDGJHzIQGPbx3WHaBYsTTd8ft1DHp1FTauHKURbKF02gEUMj1zNNtPF6r3Zb5KVwTrFZbaS8rLKB+Ym3gPzcZxeEkdTbv1RT9EyH4ZANrtBTxOZW+NlFEFPKJUiIv2+ULYJAYYTj3HmZAn2unVwOnuHOJn21GpXYuOP/06dM+ElPn27QOOmN2Wvbu5gaFwxGH9w6G9SHKct8a+Ff8/OqRcTADxdvNb7gbDs3yxY+vujFhJcc3ScpI9JFdlCYf2HuHhy4WqmaHy/rLwFPKh9/N6gTGEkPBDqeY5yYO/cfrPBTv5iqQRzbIEjGFdFG5NN2w== Received: from SmtpServer.Submit by ME3PR01MB8355 with Microsoft SMTP Server id 15.20.7270.27; Tue, 13 Feb 2024 10:19:34 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=PVdeIZoVIfICAQkIXw6x8VVPHiCYWprKWxo4Sfg+0eVhPA0wZgxIrxHYNO4260IXn3qetEJNWFVDCUKLdfwhZ2qLw6MspGmNISkZjuBARoLPoGFi+qzXi9hjVAStI2/uJNvlhhqdQWmOjZCZj1XEXgB/aMW2tx2gKELMevxesJqkpAk7EaTyzGbf5WDclDabmRjDOkg2u5jWtlr0r54UeVlY6xZlHTqj/tfRGQCwK2IMBGSuwGwP4EajTsZsYm8PM9sqDF31L4IGuidIlV8HEuYixqEDbrGKZ4slE7KwS14swY56caUN+oAzq8iVFtQ6maLnwCKLY5w6zQ3fGKSlow== 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=qNSDUpxZW+XABQ5bk+lq2SaV5elWjgUO5H3ORufTd9s=; b=fgfpPSHpz39/N0LG+9i2Ufzfxz15l3QI4Nzy4/NyPg6sFupjuN7nIdhu6YoMBbecFZBZlD6KMeYujxvVl0a2u7Gg991jeL7bQLb9tNzvhbXByN0Zcy+piOaqTu2TpqK68FFwlnQ80frHRNOur+n3kxuWoM2oyi++roPrvBcXmJ2owSDL2XAdR5qdo00sKygHJl2pGAbNzMxfywjBXUfX3RdifGqHMx5gQRwmURAAthpGkAmE4EHhj3F6Z3k341iyBTcL4nI58kN1hTGWSa6xKchCSF51Id95I+iDq3/Sm+73+rip3cWarvc/5slPDnhDoy4laMyciyyuxXxqNQTL2Q== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 130.83.156.230) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=mathematik.tu-darmstadt.de; dmarc=bestguesspass action=none header.from=mathematik.tu-darmstadt.de; dkim=none (message not signed); arc=pass (0 oda=0 ltdi=0 93) Received: from SYBPR01MB6125.ausprd01.prod.outlook.com (2603:10c6:10:96::5) by ME3PR01MB8355.ausprd01.prod.outlook.com (2603:10c6:220:1b1::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7270.27; Tue, 13 Feb 2024 10:19:29 +0000 Received: from SY7PR01MB9148.ausprd01.prod.outlook.com (2603:10c6:10:217::19) by SYBPR01MB6125.ausprd01.prod.outlook.com (2603:10c6:10:96::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7270.39; Tue, 13 Feb 2024 10:19:26 +0000 Received: from SY7PR01MB9148.ausprd01.prod.outlook.com ([fe80::f9f4:c51c:8002:27c2]) by SY7PR01MB9148.ausprd01.prod.outlook.com ([fe80::f9f4:c51c:8002:27c2%3]) with mapi id 15.20.7270.036; Tue, 13 Feb 2024 10:19:25 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=atrtzKAsmuGJuq1/NF66p6wFDOl5Qo/FvTe6Np3gEroyGqiTlAKZd0rakvXrJKdKPYKtSS6qPAGntAGaCYoL4JLdCeKJ0TXlkLPlqIr8MBjYcZyOM7oSoaoY+3HjuLema/ysvMYxTk6iDxJQhnTevB7LCX8zltPMtYrvjNm1QmMF9H2Ws6cCxM3yt/bUX2/2C/dExzJSpJ2zWwnArnrosBjOZ7RfJJ8LMT6Lkd4MBFT3wV0mfRafyRJcgGT5/s/gWPxglYZhuVDMnPoVz0RhKIProVSDdLTVcANRaYL6zV2iCf9GPZoH1jb0johqTgQmcSdlWKjg4FFVofYNw9e6Pg== 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=qNSDUpxZW+XABQ5bk+lq2SaV5elWjgUO5H3ORufTd9s=; b=g/+TQqBHB5AcBMICxk6JTzBCjDuZf3KrvH5P7xnHMBVA+1Eb85cIC+RvQWYFmJPGDeDTu57OQlHY6lEQoRQAVPy+5avaO/C2G/ccg2mc8MNP7prjJjk5tZNsy+Hys7vMQFsKsOUkHclimb5Jx6c2Di4J0DlLpdtxIB/vKtYA1twGjh3M5b3gSaq0amH7VcuqYCybPqYtCOeMczWb70MvmuEQyC6PriK7wqHh6Kgmnbs5ydbbX3fwg8K66+iCmrsFArcBkUWY/nqZ0iHf8BiN073zQ55RgiLYuccgl3eu9+GKrAupcCo0kBZwyNJMMYZmrO/ISgi5FkJNNJfsN3L6FQ== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 130.83.156.230) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=mathematik.tu-darmstadt.de; dmarc=bestguesspass action=none header.from=mathematik.tu-darmstadt.de; dkim=none (message not signed); arc=pass (0 oda=0 ltdi=0 93) Received: from MEVPR01CA0018.ausprd01.prod.outlook.com (2603:10c6:220:205::13) by SY7PR01MB8205.ausprd01.prod.outlook.com (2603:10c6:10:1e5::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7270.39; Tue, 13 Feb 2024 10:04:38 +0000 Received: from ME3AUS01FT015.eop-AUS01.prod.protection.outlook.com (2603:10c6:220:205:cafe::a4) by MEVPR01CA0018.outlook.office365.com (2603:10c6:220:205::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7270.39 via Frontend Transport; Tue, 13 Feb 2024 10:04:37 +0000 Authentication-Results: spf=pass (sender IP is 130.83.156.230) smtp.mailfrom=mathematik.tu-darmstadt.de; dkim=none (message not signed) header.d=none;dmarc=bestguesspass action=none header.from=mathematik.tu-darmstadt.de; Received-SPF: Pass (protection.outlook.com: domain of mathematik.tu-darmstadt.de designates 130.83.156.230 as permitted sender) receiver=protection.outlook.com; client-ip=130.83.156.230; helo=mail-relay230.hrz.tu-darmstadt.de; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by ME3AUS01FT015.mail.protection.outlook.com (10.114.155.141) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7292.25 via Frontend Transport; Tue, 13 Feb 2024 10:04:36 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1707818676; 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; bh=qNSDUpxZW+XABQ5bk+lq2SaV5elWjgUO5H3ORufTd9s=; b=lbI2SV9I6hmh3goeG4auUmDkn8n8dfGro2LG5BAFKdx6PjcooY8SdnO8OcdxPibBzv0kHU bNGJHmlFI3SagHCchBSNZQPET3cc4lHjn0iSHIhPPN9a9bfpAxXU6MXWq0nN506jmkh2mY lcWJfH07T2lDTexEIblm1u4YFlF++3iAGFmH55u3p4qCnOnErYgvYLYQz4pykugLUY18PH +6bL5KSWjzzHN12zpkUAxqTPgAb/aKeGjc8TvBvRVoO5AK3TjcYOx/mD6OaRCXlZBhXAbs yvtdv9KEm193MrKcV/StEevZL1KNgxzTyR4LZ3MU9yJC836n5x+6NUhY6JvwQw== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1707818676; a=rsa-sha256; cv=none; b=rcm3hpp+lGLAZ31ohi4qbpCreZOuQCbsJE4cfzFgVeRQ7VjrB9NJbOjC6AtwNv1mlcWIpn maOdEwmZ7AItnFAYS9IRGYKZQkMitCoq1XoxAC+rTrIIgToM+3n1hJ44qfpq7WpQI1FRc2 kMi0H6aB8q+L7ptKjsjukRR2IvN+Im1nW3AK7XfMpyb2XRO+tm+l+g5W+GnaXz2qWLqf/n VWEF/wPof0AciVuA4k9D0vOCi7ZO64MSMNRnYX+8VOS0kxrsAQ81vvFMfqOOkwk+ipF1f7 bwi2x/Lhb50XVeQcx/SmtAqxKmeVd+WoS51PJDnATi0GH0Qnxbn9d4vY8rfa5A== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=none; dmarc=none; spf=pass (relay.mimecast.com: domain of streicher@mathematik.tu-darmstadt.de designates 130.83.156.230 as permitted sender) smtp.mailfrom=streicher@mathematik.tu-darmstadt.de Received: from mail-relay230.hrz.tu-darmstadt.de (mail-relay230.hrz.tu-darmstadt.de [130.83.156.230]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-7-NftqzOseOeuhiVBt6DUSAg-1; Tue, 13 Feb 2024 21:04:33 +1100 X-MC-Unique: NftqzOseOeuhiVBt6DUSAg-1 Received: from fb04281.mathematik.tu-darmstadt.de (fb04281.mathematik.tu-darmstadt.de [130.83.2.21]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mail.mathematik.tu-darmstadt.de", Issuer "GEANT OV RSA CA 4" (not verified)) by mail-relay230.hrz.tu-darmstadt.de (Postfix) with ESMTPS id 4TYxkh6xn1z43vh; Tue, 13 Feb 2024 11:04:28 +0100 (CET) Date: Tue, 13 Feb 2024 11:04:27 +0100 From: Thomas Streicher To: Jon Sterling CC: Nath Rao , "categories@mq.edu.au" Subject: Re: Fibrewise opposite fibration Message-ID: References: <6b040ec8-db78-40fe-99f7-8dc5593500be@gmail.com> <8aed544d-1082-4a75-b571-aadfadfc29e0@app.fastmail.com> MIME-Version: 1.0 In-Reply-To: <8aed544d-1082-4a75-b571-aadfadfc29e0@app.fastmail.com> X-Header-TUDa: Authentication-Results-Original: relay.mimecast.com; dkim=none; dmarc=none; spf=pass (relay.mimecast.com: domain of streicher@mathematik.tu-darmstadt.de designates 130.83.156.230 as permitted sender) smtp.mailfrom=streicher@mathematik.tu-darmstadt.de 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=WINDOWS-1252 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[130.83.156.230];domain=mail-relay230.hrz.tu-darmstadt.de X-MS-Exchange-ExternalOriginalInternetSender: ip=[130.83.156.230];domain=mail-relay230.hrz.tu-darmstadt.de X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: ME3AUS01FT015:EE_|SY7PR01MB8205:EE_|SYBPR01MB6125:EE_|ME3PR01MB8355:EE_ X-MS-Office365-Filtering-Correlation-Id: bb4641fd-3650-4ed3-833a-08dc2c7b2f3d X-Moderation-Data: 2/13/2024 10:19:24 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: Gz5GxPJU1X+t+4PJ2G7/myG/W0zY6+fj2H1Lh9SyOQgW/N0Mes/tissLp36YnOlvsbJwpyi4q1/BTqDK8y6lNmeDuKwTGT2CwfdJNNYk5C/ARNjspSd9ASw3nhNfArDpgxIQgksk6/1hLxxtDxzyPjaN1UgmppzJfo3L0OE6scS1B0f2an6+ivCnqhiiUIQnbPbA5kMdjVC8uKbFaDMGquZWrlHzdRyOtgQml6g+2u8wvWEfqdvvkHlnmA8grEg/MxhE3OVBj2zsBln9iG9iQUz4iYcOhCegw3XhtQDiLIB8o4RLCzkufCbnw7H+AEvaPbcQBc/Klblr/LqWXuuQkR9ol61TyD5fqaFWO79OsHpxpn85ne2DO5Y+zYa0bDZDaM2jRpRctL4GPpF+v3yOlD2aVwv/DzVMAsS0O2jA9EXoGrcE+Gh6MOt8JYPVPF2AU6wVdsjalV4weEPKVafsELyEDv1FBgUSBVXNvffsLY0MjRJwXSKwNjQppTOQ1nglSw/aegaCrP49jLJ2Wyu0YpW/NkOik3Vdzd/kFF/HyQLGfE68ZW7fD+ITBEAEwqu4d6yUBQ2H/mvZucgX6Fcc2Q+Nk0rswkCIrEBK54qp44EsXt14ZnGN+BannWKfA0PLUgNUkk91mjszTA4agigz38OQnrnzTJo2epVEEZipo4govbtIVjQv9ctBgNtEig09 X-Forefront-Antispam-Report: CIP:103.96.20.101;CTRY:DE;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-relay230.hrz.tu-darmstadt.de;PTR:mail-relay230.hrz.tu-darmstadt.de;CAT:NONE;SFS:(13230031)(4636009)(376002)(346002)(136003)(396003)(39860400002)(82310400011)(64100799003)(48200799006)(451199024)(1800799012)(40470700004)(2906002)(76576003)(26005)(68406010)(88732003)(7406005)(7366002)(89122003)(956004)(2616005)(336012)(498600001)(41300700001)(8676002)(8936002)(7116003)(7696005)(6862004)(4326008)(54906003)(83380400001)(6266002)(7276002)(7336002)(7416002)(5660300002)(70586007)(82740400003)(786003)(7636003)(316002)(7596003)(3480700007)(156005)(86362001)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: bb4641fd-3650-4ed3-833a-08dc2c7b2f3d X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ME3AUS01FT015.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 13 Feb 2024 10:19:25.9680 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: TsKov5ApJAEYgqIis2k/dUvjJ4dpEJHH1W+xO8pMVLKKSGCU5msmwWGjyC1hB9QrTvaxNJVPGB15CNEIoZbx61DNyIQey6mhAKDQmWprxNGDXHAhs+6S5CcvjvRhCzyBP0Dh9+Bm2HL3xi0DqNM9m/JlttdCcx7LkLdoJkvk6b/YJ+bmETY1aYmtozKw7Veh X-MS-Exchange-Transport-CrossTenantHeadersStamped: ME3PR01MB8355 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: =?Windows-1252?Q?DzU90Ylzpd1YYsU4Q0Y1Zm+NiYtdGHK0iBf2YWZR/53kYO7Wj/uYT81/?= =?Windows-1252?Q?K4CuuTxDbu3Ev/7sUoaK2pEIImCQKfhSjJyqIUPqTiKqVGM4eKGpYVaz?= =?Windows-1252?Q?dlMsYs/JqJAYRwaX+rvn63wiiLSAkGj0YS8MprFutEr4Uxq634gRADe+?= =?Windows-1252?Q?vVQI6s9Zr7iczi4xcMrUyXc4VElmNXUVW1LsOcLyc3EX1XsA4A98w4di?= =?Windows-1252?Q?bWj9MV7GRTrd/TZcKALkBtCK6Q3nRNis9IyNbJJ45CoZkCUZl6KNkxPZ?= =?Windows-1252?Q?/odnYn+L24TErrnXTJRRNmRcE6l9yWoqhYqMxl4NfbqnvetxQbJ4d/6z?= =?Windows-1252?Q?F9hR1jVyiehxWQSSycnomo5t6YwYVTBc8yoUdDODnKdWIXjt4aXr7WBd?= =?Windows-1252?Q?BOwV2L1cdr59T3X9O42kPex5IBRecvpQcTp4fdQsScBVOiK//tDkKNUY?= =?Windows-1252?Q?PGGr7wVFNxoE3yZvgkfS/GbqWBkEkL/PU9tzCY9n9586nVEm1/xxtLPv?= =?Windows-1252?Q?KCF/dmAds+VJssIeovcPdCDKUB1I6Yft66GjHmcXFzbAjOeYVegTYsJa?= =?Windows-1252?Q?hPx3ZGSO8E+Sjmw8F/pnAfk6vbK72SfrRyT8QZ95R2WjUk/s3XjxXWSL?= =?Windows-1252?Q?S36/mwnXSPMATFBFIHUbrugwPhx/m2BKcCyWMHlCzEqpmU/oWCa0SN8q?= =?Windows-1252?Q?4EUIinsg/ZcyZzm9gwu1yl7GuMs83NaXCZvRUxqTGrqh/EhNU39zTNYv?= =?Windows-1252?Q?snH0VOml2YcomYaE98sjHM3Yb0UaOyIFQ/G8+jSW3Q56rsebwoY9XlAC?= =?Windows-1252?Q?FoeWBKy3MHKRJWEcWDQM6UlOa+3HFsfOqgczLQDEqdH4b1l88d1h0mj/?= =?Windows-1252?Q?M9ioNHDi5Gv5NDsUfwo3fgIz23lrvUGELNw8J5FW21Lda5/OHvEJYTcz?= =?Windows-1252?Q?ZLhce71TTQTWz+3EJmrRk+EFlPcrsXXFbvyjUb84UDyZlgzsMgwTAPs1?= =?Windows-1252?Q?gvUkyZdp6ysjN+g4/A6UOwar7iZlDemd0ZtWCJ8LhfUGVEE9sjn2mwYV?= =?Windows-1252?Q?NrVuDZ5Kdbqn7gp+ltNdDX1g+RWZRdseyyIHU+LZKHzPu5CxgrVCMQv6?= =?Windows-1252?Q?kEK6Ae3GmWm9Ab+RHKrTVF1kMfuGj2gPLUj47PNSSOGclIc3BZHzvpVQ?= =?Windows-1252?Q?ZXk/Et50RQlzdQHOBCy47UHcQnfrCZUGUwgWq3KCYTgjF2SzHbKKMrjW?= =?Windows-1252?Q?gHdrJkyY0x8D5jJhbG69qpxobNR0Dakw4yGFPtrnFqNF50+K6PfEBnz/?= =?Windows-1252?Q?SmR1yiw6R4mrwlae/PVZofGrWgC2i6u4oNUQkKSq8dh4S1NiKfUuI/iR?= =?Windows-1252?Q?oFNcmsxwJ8boI0HnvqL5NyY/Swd0LUDGqL4pTA3ViJVXGTeT2NsDKxOI?= =?Windows-1252?Q?XoVbZNJUftJVAEu8YlNOnXhko4t03JkIY1Tn2/chmnRXL2QAQJbdc6zl?= =?Windows-1252?Q?+BW4taqNWUY53gi3fJqGS19TyUmIORrC+RpRXaDVyU0RFKxLz/F0uisx?= =?Windows-1252?Q?ZGinJD/A1AxVZOEt?= X-OriginatorOrg: mq.edu.au Dear Nath and Jon, I am naturally sympathizing with Nath's remark. Thanks, Jon, for giving precise reference for why global choice implies classical logic in HoTT (it is not inconsistent as far as I know). I am grateful for the quite non-ideological discussion of the issue BTW ! My scepticism w.r.t. HoTT is not ideological (or "self destructive" as some people may have thought) but was rather motivated by the fact that it caused problems with one of my favourite notions of category theory, namely Grothendieck fibrations. There is the notion of Street fibration which you obtain when closing Groth. fibrations by closing under categorical equivalences. But there are not too many examples as far as I can see. There is a way out of it suggested by Ahrens and Lumsdaine, namely "displayed categories", which are systematically employed in Jon's very nice notes on relative category theory with C. Angiuli. This is certainly a= way how to proceed in case one wants to keep the univalence principle without enforcing classical logic. But it makes things technically more complicated and I personally prefer a non-univalent setting. Lurie also can live without univalence both in his book and the Kerodon. This confirms my impression that univalence is a radical thought experiment whose consequences still have to be evaluated. For me (and many other peopl= e) foundations is not a religious business but rather a question which setting= is the most convenient one for doing the things one wants to do in maths. This can be evaluated only a posteriori and a certain pluralism might be a healt= hy attitude. In any case I think w.r.t. fibered categories the most reasonable thing seems to be cleaved fibrations and arbitrary cartesian functors. It is foundationally tolerant and close to the practice of fibered category theor= y. Thomas ---------- 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