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=-1.0 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-me3aus01on2105.outbound.protection.outlook.com [40.107.108.105]) by inbox.vuxu.org (Postfix) with ESMTP id AD62329052 for ; Fri, 2 Feb 2024 11:46:16 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=OMIR0qTzPTbIknhOIQqcW9DA60gLlWaFdJ8dZCC7xn92FqJWpmV/q64I3JjTTPFdRvvGi7JvxdQ3YETnhUa8lfJwmPfqZw+SF6k5gzqaONjF3YnfWnmYPCnEisfDnv0H7WacM2rPd+ERXWgV7RJzbE7lxsTYtBvjDLIlp6Gh5YAZBvN9CPP1bOsfsnGXSHSybX6irz6ltF8pH9QfkkLE6iKxKMSbYdyCa9jNZdNVpKmd+x0QCCeQcw1pYcMRcNG68vFZ04dH6XgQ0Cz+q3p6T6PepHFDN6fP8b3F1/Z/Iw0nbCYHOCOgQGXZp6wuedRjF1wFw+b2XhiTHNEmS1I4hg== 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=MuoXSfb54ZqgqW0F2jLuGcEcnbdacuhUpSW5iQ2EmKE=; b=gmQtVKKQZf6CfTQlPuDm6n0ZI4Tx1mtqxr501G1tm2hrVVAcr/76vNvJtyGyLtB4usLfn6mguONvriNnklxXYpbLUGYjWyX/EDk0lXveZN1pDun50zE1Ug0/UsfwNjXed4muLh4CU4kRH37G2KKEHFn7t/m8fTUASgi9PX1dfOpN+7y6SCRKytBzpovuY5atNX+UYHpj3xQ5GzO67vs67OMJV/e0i8NXB7CWoTNaJCQ0BO6/4zvQmslP6X2xgzgSDAwEAybWbB6jkGNO5UEfpJ/ZWHvQmIxRSs6nv6QPKuLKKbKKSgDoFgnpyGlOcvyP92DtieMAbsUO1WlZJQe5Ag== 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=MuoXSfb54ZqgqW0F2jLuGcEcnbdacuhUpSW5iQ2EmKE=; b=d7e8e3oAU2AhCA0gmDM0e0YmglIvuKpqa3TZ2pn2q11L2oD9pJajd0H+rzeT8+8Q4dAKuXycd5CJS7SHJh0Gt3NM8WdZf7H60ttbKBYxJop2LSJl7PQJdNRPC0cJLp5wiP7h5zc2Vh+SgqGGGdefJIwTn6fFs6aYHjZNTXIA5EYyGk3p/6ZuemT6SsSIrqHVYckrmorWT7c2Ym7H9LdohXeIsVa9F8UPUYdownaKKIK3gy9jwI6n6BbWVfBwwgpVPCLcGmo9Jp6egET9bb0fzUwXcz1Aw20DvgYvc+8joAiEdVHNkEkqMDPW3+fqvJzlL7P8NbhmGUdd8vTA8cr2Hw== Received: from SmtpServer.Submit by MEYPR01MB6853 with Microsoft SMTP Server id 15.20.7249.31; Fri, 2 Feb 2024 10:46:14 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=XIjRS3XaIzkB/95aLKq22NBrPG9DU2y4XivipxegNXYU4W6N41/NQrLXKjFV3x6pB8119CpuvT6D2GNME23KCdjuO3A/sdkoSDwffQUvi5xGaLbN6dm3F2NvHXvRXzQVPzmEtXYyoSg2mQAXrMcU6RaZphzOPYDx7svjyZTKP03A6/NmkJzFpsLwABHOE89MH39rEtIYRIFKnokCcSUJ6bwznbjRKv5sxbiIFqMjvkuyPVJUPLQKwt0VYLn8/eUFx2n45tvQKw5o8nKRDRTpaaPCd8IIDS9nwAZTDmpCjuC+MoFEodcvTIHcwwtG9Om/it7SVN65VfrUPD3Pjviv7Q== 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=fjHJaMHCK3paGHssmIiJzKsN1RmH2J4o07pKGZJaiik=; b=U2hf6arOEYRPxzNCDikA+MOFkAttv0V/Fop/IEY5/94fxQu/eT6gC8qE0vcTSyoBybK4RFp5d9GodNV1UY8kxeQc8zRywb8H28Gd955LuEieZKcxIbfxaHlzhhdP4aJdsBEk2VrEKbjNPSoO9jHvC7mZMAEhrZ1bSFdLK1zViG6UHdRI+lq4zi4e8R4E8r/Lqz/PVQFno2Cvk6r0LHrZJiXTn9Z0blXlAkkZotOwHjeqgjY1pqJ2IS+q1eOXkE/mlIGCngv0LmMw3BsQkgvCAivnjidopEDGPy+luoEcoo9th0pJgzGEah+Wds6S1j/h+Oqvq7iNYYyCTNNmDQWbcw== 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 SY7PR01MB9043.ausprd01.prod.outlook.com (2603:10c6:10:211::15) by MEYPR01MB6853.ausprd01.prod.outlook.com (2603:10c6:220:116::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7249.31; Fri, 2 Feb 2024 10:46:09 +0000 Received: from ME3PR01MB5480.ausprd01.prod.outlook.com (2603:10c6:220:7::8) by SY7PR01MB9043.ausprd01.prod.outlook.com (2603:10c6:10:211::15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.34; Fri, 2 Feb 2024 10:46:06 +0000 Received: from ME3PR01MB5480.ausprd01.prod.outlook.com ([fe80::4cc5:536b:f75c:6785]) by ME3PR01MB5480.ausprd01.prod.outlook.com ([fe80::4cc5:536b:f75c:6785%6]) with mapi id 15.20.7249.027; Fri, 2 Feb 2024 10:46:05 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=mEcPkL5Oa/CZEK71iJH8GFtP5t1Sjn9zpbxlupf9/e3c76HVpD1oZ1Cw0due5+NNaaECwzZF+G4Gm2DO119ICcS0+0a+ZC9kIdBafWKY904lmbnXIAdLKH3OC3Z7rZc6vz+q17XMB1LIJTxSgD5QM9Tpzubow8LIza6JT4FIxPkzwhuwQsWLpw5JNOnMzmmFPcx79PGdtVku5InAtAmH9Fscpik2I4+aG0mK91AWJnFGJrQ20GbuSw3GsJy4MgbkK1CLq+m1e4wPeOEIrhFqIr2XXWJTxQn5gvqV7uqtFGicOm2+dGiYEh1kEUSoVXnU5mG6yidRwjQZ5dq6vz8yhw== 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=fjHJaMHCK3paGHssmIiJzKsN1RmH2J4o07pKGZJaiik=; b=c5AgJ1P8wcOwVqCJTFnWjYwWGcV7HUkv+XScl3pCg48xXca62ZBF0m9fK+trxHlDCgUIWcESG8zrGUlBdy3yBMOACDN/vjmjcH/KcqznTlWvtE8VPCteE8R/XMWZcZ638g3+vjBXzyfE1UtsQEdTDKeVE4lrKR1IjvtVi+EjRj4OjiGb3a+rZCv7mlCA9qrreEs1jWxqRGnzxrMVxkI447+hFvP/hYANFGamFi+YB750GxuxrzI4v9ld+Qf3jnWQKhhpUcBK24D4yNH9CQSWcnkryV/+ZSqgZImkC2caclLdsjkdiktzHncvZpN8XM5+rJq93Uv11TEcz15JFiKecA== 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 SY5P300CA0026.AUSP300.PROD.OUTLOOK.COM (2603:10c6:10:1ff::15) by MEUPR01MB9336.ausprd01.prod.outlook.com (2603:10c6:220:216::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7249.31; Fri, 2 Feb 2024 10:11:45 +0000 Received: from SY4AUS01FT017.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:1ff:cafe::65) by SY5P300CA0026.outlook.office365.com (2603:10c6:10:1ff::15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7249.30 via Frontend Transport; Fri, 2 Feb 2024 10:11:45 +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 SY4AUS01FT017.mail.protection.outlook.com (10.114.156.107) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7270.12 via Frontend Transport; Fri, 2 Feb 2024 10:11:44 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1706868704; 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=fjHJaMHCK3paGHssmIiJzKsN1RmH2J4o07pKGZJaiik=; b=JEoaKptYjkFEMjrgwaveeJDaS2asacNRv4DYPdfiMj+GkDSa5umaNBvZ2RS/jRfJAZJpKJ VNvtaX9gTDYWJu7pXDc0barvr61xGZgc/cknRWDJmGCSIxTlkKXrIfJTz8S//8vxtPOvar 1BwkN8bADHCvHeURnE+zuqwt7tvK6CXTVx8aac89Dv4oPYQ53mhwjllko5NVXJ+3vw8ugL g/Ey1vkrBaRvqhoUMjZYc8KcPkjPNL8JEnZQChaf/TWGYQ235WrAqhBPnLBjWlJcIzXysN uXzgurvbgwhb/xoVQi75V7GsiUYBYSpPwO4EJdyJEW1SPqoIO1K1BE1QXWo8wg== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1706868704; a=rsa-sha256; cv=none; b=YibtaBcdXHbfHg6A7rPwxfyrIj8q5jrOGYWQcdb/56TNXKgYuXWfWUIweZTumVh+vaJJnE Unw8fRNktcWvMvQLd1rwcJyCMS+pUqTEqHl16YfDL6b86iWVgILnsbg3jBvfjZGk3xPK/4 PD+Xt6PTCgsiEYIHwCyFQLAXEAJvrseNSo8qNLJjMc1dmE6UP3RHj4GWVCxo0bd2Cbrewv oaffYWHLqN+ZEeIm4SU+aMpbz4qbiELJvvya1Cp4Ok9rVUUIpVFimYrau0BUUVqvnx2hTO wRk4mQY5EXkQG5B0ApWzAsbrdlGDKz52DOVSlBhAaC0JCSfEJfVyBaFOxoIKEg== 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-25-oFaeaUxHPAK5S1xIKje-WA-1; Fri, 02 Feb 2024 21:11:41 +1100 X-MC-Unique: oFaeaUxHPAK5S1xIKje-WA-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 4TRBPz6XzDz44CH; Fri, 2 Feb 2024 11:11:35 +0100 (CET) Received: from fb04209.mathematik.tu-darmstadt.de (fb04209.mathematik.tu-darmstadt.de [130.83.2.209]) by fb04281.mathematik.tu-darmstadt.de (8.15.2/8.15.2/Debian-22) with ESMTPS id 412ABYZf2860031 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT); Fri, 2 Feb 2024 11:11:34 +0100 Received: by fb04209.mathematik.tu-darmstadt.de (Postfix, from userid 11003) id 5FF965210BF; Fri, 2 Feb 2024 11:11:34 +0100 (CET) Date: Fri, 2 Feb 2024 11:11:34 +0100 From: Thomas Streicher To: Jon Sterling CC: Christian Sattler , Richard Garner , David Roberts , "categories@mq.edu.au" Subject: Re: Fibrewise opposite fibration Message-ID: References: <5aca1a1590406e68498c51bb858d89b5.squirrel@webmail.mathematik.tu-darmstadt.de> <7522ed21-1c0f-4601-8038-b7c7586d704f@app.fastmail.com> MIME-Version: 1.0 In-Reply-To: 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=us-ascii 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: SY4AUS01FT017:EE_|MEUPR01MB9336:EE_|SY7PR01MB9043:EE_|MEYPR01MB6853:EE_ X-MS-Office365-Filtering-Correlation-Id: 7feb0892-965d-449b-3260-08dc23d75bc3 X-Moderation-Data: 2/2/2024 10:46:03 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: s4nN6WC8t/5RcvB3cZfnssYEQqhbQo1/jO/jABePaNYHmhAAYFSLGrs9Qam0cIBXyUMglUZS9nGd0TrjxeW3gIDfSKh1+5gAAZzhx7rYiMRuiKGyc4Gr27jvI4JrCazLhKop7W6Vm5sBPt0Hs4djU/Kcl89mPnyrvsCXmFaSexJsmFTaNQcy5p4ZXloOIRewlNLhNuhqtGwOUF91ConvNvaAkChzapVwDfVRL6bXpsNu64lTTIhboLJhrNeO+DiPURJWYX9hmHVZQGtEo75r1gf5vDTK8gBj5SmpE0bwAMDvjHDhnEqj3jVsURZhwl7hIcqjlYPqxBQZ66KmRYK/3vI16wWKZ97ppt/9wbXdp8rn+w/SV9O9loJREYx87qMf44whldxuY9iokB8sMVx+bd+W3xA5EXFfIXoC1xA6hRuUhgVYR/QTDGv2oA/rbpz0Oir0LwtZH9xw6NOJSikvxBHnbNywWRAjmKNk5rpK2N/uwEjJw0Uol3S3tFVaw0yUdY7y2YojHawKJqFpAQg+mYC5AtXB2UoMVsn9h6ILthvKajPlclR2qdjAA96Lrnu7Ys0h16ZAcQUq2nKc2DyNtlqpq2ADxmNpn9z7jkCCfAv4tyRQmAuAewxj/C4Pl+lXoMRaOTWOSDOWylIHHY4NwyvGWgG1vwMFUrMg1BOlkFOjKchxmj2VBvGGihOAEnkneiclWW9n4uQwGGADBgUg8XmYxm+McO9D/haupk/O2IRVM1lVLpjVj9vEsIEl4Q8DU/Kl+SId5pvmikMBzSvo7j0H3kTpLBFKZ/7QK/gKjTtLaAqRwcsw3Glz5oLbt+WsuFDGz5KrUfC9fj5MDeJ9qh/ZYplwmoeA39k0J+dIzHNVNJ+atKcp2Jfctd7RhsH5 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:ErrorRetry;CAT:NONE;SFS:(13230031)(4636009)(396003)(39860400002)(136003)(346002)(376002)(64100799003)(82310400011)(1800799012)(48200799006)(8000799017)(451199024)(40470700004)(35950700001)(26005)(54906003)(42186006)(786003)(316002)(32650700002)(81166007)(70586007)(68406010)(3480700007)(156005)(8936002)(4326008)(8676002)(6862004)(86362001)(40460700003)(40480700001)(2616005)(6266002)(336012)(426003)(82740400003)(32850700003)(7116003)(498600001)(89122003)(76576003)(88732003)(83380400001)(7336002)(7276002)(7416002)(7406005)(7366002)(5660300002)(2906002)(41300700001)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 7feb0892-965d-449b-3260-08dc23d75bc3 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT017.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 02 Feb 2024 10:46:05.9951 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: 4Pt1k1Hmvj/i5Vdnc7pxiMIYGlydB98r4ryR8boNUlxbWS4iIK/GnNMeWAEbZzBkLO0J/d9WEx2C3AnqS345ZDzKj6bpOTLxThZop3bMrzLQ18YpC7MctRh/npbS+M9k277yHHXVDP0J7Ml4krFDWeq9zKlKvCDac7sGAoIwcruEGroJoGHPB2oWveoLVGt9rkEIV2PAdSRjxJ2lt6zPUg== X-MS-Exchange-Transport-CrossTenantHeadersStamped: MEYPR01MB6853 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: =?us-ascii?Q?DmAnfSVCE1iOlgQQePPss2hBRAdLzjCHgTXaOKdEtagRovI8Cb5LBdKKHfQD?= =?us-ascii?Q?5bndCKti9fnCROZ4cO03B0JIeQffp4GlEs8VMcBYGuqbV6vyUf4aWpTR3SMW?= =?us-ascii?Q?M3ic3CbDkZi47f4nFwIn4KuyU0MtRbCTv/GHI7fOSaE01fuRUiL/4buuhPYM?= =?us-ascii?Q?az8jW4IOyS9BLqF+m3bgNUB1AbSZbl4IefswGLXqH5MCn+Ev5j1rQrH7mmal?= =?us-ascii?Q?9BXtmlp+EcUFylmEw8tdWouhC0BisdIzB3S0Kz7lLBPc5qxSPKa0dV7bbFUM?= =?us-ascii?Q?zuMifu7c3jG+cUTvK4oBGuLIXLNGq1hPdFgC9LPC6Ao0kmJlvZU8uFdvKxTz?= =?us-ascii?Q?jc9mBNrnUUdZmRY2rJW0QfSjSlQ6b531Gk+OXf4EheW6DMRiAYemciN5TqKO?= =?us-ascii?Q?KfewEL+VyuO2Bw4nJTsE5zuPBPllgG5ydvZDvNLQQ+cVTEVO3coKWSyUGo5j?= =?us-ascii?Q?nq8efGclCJejtwRSMDfooHuE1O6lY7mlgjPeIZKEn7YAu+X2krjSgNsUFB9M?= =?us-ascii?Q?cry74SZfu/m7uJr1nXq4v7BBB5I5pE2jYTSUt0UdU0vXjbiFZ0amYHqiKJHt?= =?us-ascii?Q?76uMP5dEfOKKjYmUySRRzht/xzDE1T0EIkGVnbJ0c6962svKodc91MUb5ZFn?= =?us-ascii?Q?SZ1th+RgIeFFOr87vDYyfCGQwWHAsTyi58tSJ1sfKDW8kIDW5HY8S1inrxbZ?= =?us-ascii?Q?O8SQVhvCHAuLKomZyp2CrVR2WfS/c7zyWYsjMEidj868ILtsK6jW2Z+MaHJ/?= =?us-ascii?Q?Ir5elUbzTWeYnn8Vgcdzn1oXIDlWcT1BM3IGapXXze/JE9oeeWJ2eHHtYlp0?= =?us-ascii?Q?gKaluGNziTjCunkAmT1XSGvKQLdomWXOUNChbECJO73wx6tDO/gtqMe54yUK?= =?us-ascii?Q?m24znqFAAiGNlnonU09g+/Igt8OeOJXEDEPO/+4si+X3+ZP2sIc0fIaWHwP4?= =?us-ascii?Q?ua+ZVt2KTwcTUSNywp9+wVEKxXxk4O+qMBcQfhnJEGaNYOOOVe/4+IlplGXX?= =?us-ascii?Q?fPhq5strdX8qWMUo+LekY7yJoXG5+vGHGL2BuTBI8q9A97wDp9gybi7FlSTF?= =?us-ascii?Q?UqIeoHi09mG8iTRxtKJHMuiQG73LpPXJYbujbdYjIyGPHnkYJfAoQwXVfqyr?= =?us-ascii?Q?+Wq7SWHIzk1dFgTZ1hoqWD4f9GyMgFM5NvgRuyQFdLQuou6WXDiiu+8tefOD?= =?us-ascii?Q?ZcHvjMBztrk4/wZLyHmkzn+/sbwD5FmgI/Hu4uSIiq6jFkiIRBVYluO9SF9f?= =?us-ascii?Q?TJ0N6o2Y2CfWfq/nirJ2bQiwGE8t7zdmtYumun9I6JtYZRewmIKsl+WRzspJ?= =?us-ascii?Q?cSclo5r69W7a40V/2N7F4UUpROpsBsBmzo/z9SDJGp6QM4xPweaFR2XsJ7D9?= =?us-ascii?Q?ywGE5/pQ3WfqvW2YG3r69vku9aQc2icKSaWyFG3zdqohda69DaXQaIq5gpyh?= =?us-ascii?Q?4+qFOhvacYAb+x5mM40cmMRJoc4E5vR9T68xnk9e3QCPtd3/PxL4YQ=3D=3D?= X-OriginatorOrg: mq.edu.au >From a pragmatic point of view it certainly works to work with fibrations endowed with a (non-split) cleaving and arbitrary cartesian functors (not preserving these cleavings). And I think this solves David R.'s problem. It is also true that fibrations you consider always come equipped with some cleaving. Well, the fundamental fibration of a category BB with pullbacks only does if you assume BB being andowed with a choice of pullbacks. So from a pragmatic point of view choice is often needed just for restoring information you have deliberately forgotten. When speaking about arbitrary fibrations, of course, this information is not present and has to be assumed as given. But admitting strong choice principles allows one to remove this clutter from definitions and rather to restore them when needed. But this cleaning up has the unintended side effect of getting logically very strong. I have never seen any amazing consequence of AC for classes but maybe there are. BTW Benabou himself put quite some emphasis on avoiding choice in his JSL paper. But in the practice of working with fibered categories you introduce cleavages whenever convenient. I did so in my notes and I guess so did Benabou in his various notes. This is no suprise in the light of the above discussion because it is simply convenient. In any case this issue does not influence the practice of working with fibered categories. There are just different ways of explaining this practice from a foundational point of view... Thomas PS In analysis you often apply number choice without saying. In very applied texts they use Skolem functions more often then existential quantifiers. But not for foundational reasons rather because they find it more intuitive. You really have to be a logician for having a problem with choice :-) ---------- 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