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.3 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: from AUS01-ME3-obe.outbound.protection.outlook.com (mail-me3aus01on2120.outbound.protection.outlook.com [40.107.108.120]) by inbox.vuxu.org (Postfix) with ESMTP id 7382122A82 for ; Sun, 28 Jan 2024 21:06:12 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=I9A5Kce4Fycc/TR0bOpDRQ8+dpsp+nd2ZfoH+2Zaix2DKRxop+OLus9DvI2q4LmqyTU6LdlrTVEZZ8ZZOciS9jVEXeaGClEDeHqEbtNwYCNlUHp46k662IaUg1dsQT6Z34rFY61F7CMoD7JaLYgkvW6+EQK5dNPdCejJIJ91+VCts74tVuD07mMsomAmhYTEslqDxVl2FV3CM7JDMUG3vC3QUupffYWywpXQsZ+yqCVcK4HUbVZ4CLbVs45K5HYHiKdcBMCXG2h96mXfaUGFcWkBB+XxWzthce8SuGKULs85jG/3dLay+kXhks1rS7vgbWfuzzY43AHBHtgQoURArw== 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=DRQIbuJ2IxBclXzyhpJcE8ngZIyVhQviSThmvw/vDus=; b=Yt4sZl5Q5sbxDHLq7YHowkIl3ut80WMw/EEtynOfFZDPK9ySLR1JMDv2UgIjBcSxFfnBmstnx6bN3WTY3EsXIh8QqzVdZdBMghHtdH9y1SUnpjIJWoI8xIh32L3ydg6Z5bL1pX4bth1vGXQjIhkmPbOmJseqNJ3GuO83QBvy4L1NvphXOvq8pvQ2vR3mytQs7jvNbP9LeqEZRZQSkV81z0VCcLJFQNEIFBghYK5We/K4ruLhKx0oDJWl7jfOOl5xberNR70fIgmCUDlAnu9DMQoj53D2SLlNkOrAqggfAJ9irLKnkBKUb0Bu1jkCgvYhgB8igMwwuuqXPDViOowf8w== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=temperror (sender ip is 130.83.252.150) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=mathematik.tu-darmstadt.de; dmarc=none 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=DRQIbuJ2IxBclXzyhpJcE8ngZIyVhQviSThmvw/vDus=; b=eMlBjEEc94wOheDoXCjjuLrN5ZXqzsMbEDIo7VbYDlhvPrC2roedNIQ23hdATgA/xK7VfwHVOhZBnxjwU1mBoEUZsaFDFBtrDJZokeebNt0RecJaUdthAaf8yxpGx5ESImisuTVxcNWqUc8XhLEL1rx2cIy/YoHC0flNUvmBfJ1CNhtxb1YAowP8Rq8ITDWoJUjcwXTUdDvcofHh99QLSOkcRrGOTGlVqYUpPwwEsLDqx4CpRZD3qX1EjoKkofEfCrFsakb3//dCNX3lDVnfELEP7S38mM88/1oNNfoXdLU3YZtDl/f9g8VzMw9KbkpJXStHYQRk2pFSjNaeWQOc9w== Received: from SmtpServer.Submit by SYBPR01MB5935 with Microsoft SMTP Server id 15.20.7228.32; Sun, 28 Jan 2024 20:06:09 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=YylWq1k5EZ1n80pcRSG7cBKjZS2JVDP9eBVOA1XhI0kzxIEZZyb3yIvMgaLxFZrznZVgE3TepNw9FrOACFvV5cV6ykB17ji9QhRSmqL/NCXfYJjbhOM0qHOyzB7YiuqFvQqaTMkQqosAqAjjh6zl1PtGO+Fuk2MdGwRh5MpCiQV8RbmAQ+QpfXu2DA+/lx5SzXX11cUZF7rNF3BQT5NMjL5IAECzaNs6wF8l8PlaBXozRXa601+9xO9Gy2EgFmlT5N3DYXtlyfiG8FOLjad5i8RAyoayCuMuC5to55YZudtBNkxX70F/SjvJfiZFTj4XPchyPwSZJePh7i/FaYxpng== 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=l2xiQZCH2ZO2eDINfjXx2rZd9b7vgcNtkRLOzGunOys=; b=F9tGGfDPTaU1mrGIJXs797Kdjj3GNeE/Mi0C1kOtVADeB6oc/WyNUbikHItneiDR6CqGoeWFXuiSFlQwLpNKqOfZ7+0xhbi+fFijWO33mOJ8wpc4GrU/2360d0cPNZ8U22vGy1HKusMvxvdZiMyR3eS9uDdsVzYb9enxa3tG/wl9+KmDacl3U4KCdGOJOVF6ZYU4GWCQmZsToqVZHJO2dLGi2Ag+GZz62MpzLNt+tgdnMeAj09cq2l8F/F+9Cs5QHwZqfs+VbjJ89kcwB0piyDVxZGhGhZE+13yTCAIQrdECxtUjSKwo3Ahc47++7yE/9JwpZ5zsuVyZkIm63JPg8A== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=temperror (sender ip is 130.83.252.150) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=mathematik.tu-darmstadt.de; dmarc=none action=none header.from=mathematik.tu-darmstadt.de; dkim=none (message not signed); arc=pass (0 oda=0 ltdi=0 93) Received: from SY4PR01MB5915.ausprd01.prod.outlook.com (2603:10c6:10:f6::9) by SYBPR01MB5935.ausprd01.prod.outlook.com (2603:10c6:10:9a::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.32; Sun, 28 Jan 2024 20:06:04 +0000 Received: from SY0PR01MB9149.ausprd01.prod.outlook.com (2603:10c6:10:221::18) by SY4PR01MB5915.ausprd01.prod.outlook.com (2603:10c6:10:f6::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.32; Sun, 28 Jan 2024 20:06:01 +0000 Received: from SY0PR01MB9149.ausprd01.prod.outlook.com ([fe80::5c72:2b78:170e:af65]) by SY0PR01MB9149.ausprd01.prod.outlook.com ([fe80::5c72:2b78:170e:af65%7]) with mapi id 15.20.7228.029; Sun, 28 Jan 2024 20:06:01 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=TvPFcrO35oeg5sqO5g4XzXIKJZqwgGGvaXyrLd3Q7bNN1kU1stnx8GR2y5TG336XasYiIy8kbm04V5TS/YnppPqaD2f0rdAHHka1Jmeq7Vatbx5CMXef9R4ylYQhXBUCyh59XISYy6u79xTOCPOylejwbg1KLdD0EGDCdrCJKltltcPz+DTjxCmebz14IJWNtNPmcX4ztI+HrM3hrZyAvlKnS7x1769bLi9HuL6k4FNRweXiJk8mYDPmulHJ1iDV1429v3vypFLAo8EG49Ch9gMN560r8I4I4bppox2PuChgxCo/7gNjAPk8s8oWB/GSOiHMRLVqq9p5Qevnf+LC0g== 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=l2xiQZCH2ZO2eDINfjXx2rZd9b7vgcNtkRLOzGunOys=; b=HeXmd0FmXxCNwe+a1Bi/C6WbRNd53t7OBS9c27LqKVOh7+Pf4bFanaF1Yam0EcdvVuSFenYRYDcBsf936gTuZQ87nJaUmg7kQRxhp2G4OYq+Ax06ZjTza8C8ncRg9MgY3H5s60qKvPpUVLxUPeNPMZIblC1ivUJqNaE02y3wAL41a45nP6ZcGVZhhIuwG0SShQ+XzCmV4NqRNfhtUDOe+jwD5ni0Jb7b+SzL8WxPSvQmsWIQqAI+J7FQqOxmSesTAHShEtwrcxelbM1jiCrEZldqQLc3IrVMCi1JeSaVJ5yPE4ZB7ljPacm3Kt/ynGCoud0VUTN0esdmeUzul9oqjw== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=temperror (sender ip is 130.83.252.150) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=mathematik.tu-darmstadt.de; dmarc=none action=none header.from=mathematik.tu-darmstadt.de; dkim=none (message not signed); arc=pass (0 oda=0 ltdi=0 93) Received: from SY5PR01CA0095.ausprd01.prod.outlook.com (2603:10c6:10:207::20) by SYBPR01MB5936.ausprd01.prod.outlook.com (2603:10c6:10:96::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.32; Sun, 28 Jan 2024 20:04:07 +0000 Received: from SY4AUS01FT022.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:207:cafe::66) by SY5PR01CA0095.outlook.office365.com (2603:10c6:10:207::20) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.32 via Frontend Transport; Sun, 28 Jan 2024 20:04:07 +0000 Authentication-Results: spf=temperror (sender IP is 130.83.252.150) smtp.mailfrom=mathematik.tu-darmstadt.de; dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=mathematik.tu-darmstadt.de; Received-SPF: TempError (protection.outlook.com: error in processing during lookup of mathematik.tu-darmstadt.de: DNS Timeout) Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by SY4AUS01FT022.mail.protection.outlook.com (10.114.156.137) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.19 via Frontend Transport; Sun, 28 Jan 2024 20:04:06 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1706472246; 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=l2xiQZCH2ZO2eDINfjXx2rZd9b7vgcNtkRLOzGunOys=; b=SIUnBaM8ANtrYjlsXJnQd6lb1JwUY3ixjWyFHVuKtn2OExEIhnDh7oGgRGOmM2ZGCHD6oH YGGi7MJdpWJQWDIS3nSLK+SmAVOcHse4IejhPvooLb95HCUtA25ngiLnfn2NZAyQFmQyFM YuFQs7ePaZvCGj5+5IRRZAGG9VeO3plCr6kRuzioB7nfBDyqRtTJX4/DlL6s6HdqJb5ja8 GmqIfCkEP+esWqqRBHOi0wSP5RufOBJc56qXnQMraJ7/+auDGxupuORG/gn8rzAaacsPuo X7RM1ACbqiliNimyr3UVcvGR0XZBKQwdW4q0h7UFDW+VpYytPJyijqOfNZuqRQ== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1706472246; a=rsa-sha256; cv=none; b=rVjqWHexH0ddWmG+X6ze/MBf+0B/coV+XrrVYuDbax2b7iiVVOJDMTwjZz5ChbscgL4wzr M8yVq0yKb2fl+yPDJeLS2nHMWPuKav00ea+9PpD2EFP4z18L8V4BHXXZFtL3Dy73A3u4Pz bG6Vc1HVEL+k7zOVeGR3AWIMJoNXFXpQkhYGOlwtYkD9rEriz/Zg7KQa3/IQDRezvORq1h o2pYrndsTZIgIAU0hy1pZcxJqV4E8X1gco+hAQi72zP0fmnirPobeOCqKVuZDmK3mGCMaQ 16RYs+RzdVfu39RxFNJVegJMbNA74ceKFV5kv6ODLyYzm6tL1dB3ynIR97iTTA== 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.252.150 as permitted sender) smtp.mailfrom=streicher@mathematik.tu-darmstadt.de Received: from mail-relay150.hrz.tu-darmstadt.de (mailout.hrz.tu-darmstadt.de [130.83.252.150]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-53-Ff7bfZwSOg2BJO8DU0OezQ-1; Mon, 29 Jan 2024 07:04:03 +1100 X-MC-Unique: Ff7bfZwSOg2BJO8DU0OezQ-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-relay150.hrz.tu-darmstadt.de (Postfix) with ESMTPS id 4TNMnq4gwyz43tp; Sun, 28 Jan 2024 21:03:59 +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 40SK3vks2660833 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT); Sun, 28 Jan 2024 21:03:57 +0100 Received: by fb04209.mathematik.tu-darmstadt.de (Postfix, from userid 11003) id 819385203A4; Sun, 28 Jan 2024 21:03:57 +0100 (CET) Date: Sun, 28 Jan 2024 21:03:57 +0100 From: Thomas Streicher To: Jon Sterling CC: David Roberts , "categories@mq.edu.au" Subject: Re: Fibrewise opposite fibration Message-ID: References: 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.252.150 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.252.150];domain=mail-relay150.hrz.tu-darmstadt.de X-MS-Exchange-ExternalOriginalInternetSender: ip=[130.83.252.150];domain=mail-relay150.hrz.tu-darmstadt.de X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY4AUS01FT022:EE_|SYBPR01MB5936:EE_|SY4PR01MB5915:EE_|SYBPR01MB5935:EE_ X-MS-Office365-Filtering-Correlation-Id: cc86443f-534d-4211-3d68-08dc203c48b0 X-Moderation-Data: 1/28/2024 8:05:59 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-MS-Exchange-SenderADCheck: 2 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: NvrK0CXqtks0J2LM9x3/lGiWoKD1vvcmRVY5NogJzaSpfQnqyuFY71SCRl8cjzvGTg+Arok84afRw8Wuy/Ca39slQrgDhC6GHcyANohWfSaJxb61b9d4SlW++hdeE5BloRm+r39X+TKj9dmylk/Xg3g1JVqI9X3VKhxVugl6kXjtGHgJOl7j3s0/nAoxvM8N6fzPfcp8VBdNgi6SMRUoGrJcC1MmKDsKUGx/465DlbEAe/rzwxGBFQMo8Sqmr4LgfHAtor+57Ub/fmP7BZ3C4Q1x8dr/RT7oe8HLUheg0cngbBkWxspFgfe8plh33ooBwD17TTstek4AiNNSxyIKgEzpJAz73dKasaadKmEkLq8WoFKfVdoibd1YwQmYMHYkz0O0T6RbmxP8Z2R/sD7Di2fFtxOsKcZK7E6nO4tCNGYXUyiuM7CXDogEctI3Q6QMkwVEujGdVXY62ooBF/gp4RAGCNw97ZK/JLbuoD9pXFdHkmVf3OoJnqasBeUmiAWc8cCgTzmjsvQTHbhOtLAZCQNYUO5Xk7kAaQd22ggwi5i1GKp10IROQd6Me/vMYeQ9/g0EYvePDP8RVPinHBmHQDpb1elUVU5kLcKFfByBh/Pkd0S9M05tRoE+0j5tmMeIdybHJh/IDuu4OVmi0CJnYOyNpE1t8+kNyKsWbcBIsk1OmkkCg+3rcpgYuMn2ZqPmtvlA1t6UG9nQe8Sy5zMYN+I1NPsj8tALZWnydjecpvEkGdm9THiUtEizGZAJUk7Bxd+KEdLNkB4Oofwn7zltQOZsocqH+92lHbiRVQvIiBgUPh81IlVFwJimJOG7BVzsETwXbqq5go09V9Lw30j8sqDiCIAgBB2OU3opnC+EZeEeRKXDRbYL316tYpm1hmFScNTgFln3H4Bx4pmeDxyTsVFSAugX9n0NTSLt2rX/eoA= X-Forefront-Antispam-Report: CIP:103.96.20.101;CTRY:DE;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-relay150.hrz.tu-darmstadt.de;PTR:ErrorRetry;CAT:NONE;SFS:(13230031)(4636009)(396003)(376002)(346002)(136003)(39860400002)(230173577357003)(230273577357003)(1800799012)(82310400011)(64100799003)(48200799006)(8000799017)(451199024)(40470700004)(35950700001)(86362001)(316002)(786003)(296002)(2616005)(83380400001)(70586007)(68406010)(54906003)(42186006)(8676002)(8936002)(6862004)(7116003)(4326008)(81166007)(156005)(32850700003)(89122003)(3480700007)(88732003)(76576003)(498600001)(32650700002)(426003)(6266002)(336012)(26005)(63350400001)(82740400003)(40460700003)(40480700001)(7276002)(7336002)(7366002)(7416002)(7406005)(5660300002)(2906002)(41300700001)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: cc86443f-534d-4211-3d68-08dc203c48b0 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT022.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 28 Jan 2024 20:06:01.4880 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: 3kKDtdFe6ECfp/i5jY7jqJBAUmouOdozskpVxy8RQbzI7M29339c2wUs/fiXnJ7KJUDn3pp5haU8IyEEEXVqMwluDTt4q12U97oAnkFBzMfvpVsR1LpDM5yxUI6bOLRoVisrc7fnILUGdPpp8PLFY3/SPqc+PNLtHT//TLcJWJMcA9W2r0VjnlnMwvcUM5Xy X-MS-Exchange-Transport-CrossTenantHeadersStamped: SYBPR01MB5935 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?4oYRyLZHDtSKarH/0kjgaRHSzS4DVGE4ZZsvcNJw2zU00WEsmsG8y4F9?= =?Windows-1252?Q?M2Bn6uKBoQCOqPkOvWSRhSRfOFth9FwdP3FhEwxm3D7vD1caROZO4uKt?= =?Windows-1252?Q?U3X8FANmF7wsaAjsjmJyalk9NiblkmtlckLchhQbbVppCxpnL5EOmtpb?= =?Windows-1252?Q?vbR2cHYqGuC0yBaiYTbOzxr+/+V7q86cqdW7fBHP8NEpMA2szv93+QRb?= =?Windows-1252?Q?Bq5d73svPZWp8S3b6pBN2VWwVWGgV7Pqvqpv0HKE/ufBU3Il+/kdZ+00?= =?Windows-1252?Q?9E90uE69RdOB0gaJUTrLxgTid2QaTtlkgu771dDAZh6nwR+J4bNt5/t+?= =?Windows-1252?Q?m9Jfe//8NvXqQmnEov8NPiuG4fiXM619HU10HAefn0IPP09qp1+0dpGk?= =?Windows-1252?Q?QXmSPPZY+7kVCAo7QJOM5+5/z8ttOxq1jtYOJ0T+RHUmc0tv5jasjpB+?= =?Windows-1252?Q?4VKT3rhyT6kL+Bssn0CfU51Anl94uJvYOgkRTnZggN/H95zb9NqUWDqV?= =?Windows-1252?Q?duOUcRRYjjHZ6lKfxh3geOQKJF+ogncg9Ta6vnyf1iOvinudemH8lO4m?= =?Windows-1252?Q?93ztfgd0oJ9IQksZEY73bvzBQQSjWK2ax6/BgL2VOAU4aC1LsebT9I99?= =?Windows-1252?Q?CXFTQdxL3KP7r4kXNdXCljzcNXMiMg21NXuEanhD7FrQwr5oj3R1M/8Y?= =?Windows-1252?Q?rJDDzwD3fi1p56HDb49dDLyJq9ZYtnJeD0yloTyJt7BXk/87Lhrdcqv1?= =?Windows-1252?Q?6qMQjp76sKiNfU0t6F/qJ6tuGs23U5kQtrfsbybqVkbG+GmnOAjWToEx?= =?Windows-1252?Q?3F2aKJBUZ2OWkMDnQWf1UNL77fzji/Uj9rO1mr35M3eYntAy6iPsVr90?= =?Windows-1252?Q?XaLf1TZOCPBIojliMjFx3BOqmvArrqAqGrwg19MNHnsJwTlI31qgnQQa?= =?Windows-1252?Q?Qsp8ecNHxv4XkIlUADFogcC3ukP6v2meCe8ZpCUTrL96ncgPsL8Ka8bb?= =?Windows-1252?Q?Ro/+OgsObSJ4rEeKOwRbS7p23RSYI2m+4bqDSGS9pSen7fN2nf0e2C1W?= =?Windows-1252?Q?mQWBgVtOFCRj50/hGeYFK++XjVeHyVTaQwrlmzLVAiDM2xMd1Tdcp7jS?= =?Windows-1252?Q?DRQDsSF3WcVNeIH2YorGIZ8AqC4rA5WOmSUGw/zPoLbmRxmyQMZ2LG5U?= =?Windows-1252?Q?BDY3eEs/YT628a7yjnd3D5Yb2He10Y8GCSMR8rYcFWOZF9CVywXTaPbI?= =?Windows-1252?Q?0bois4o5WTBw92d+9nlT3VlK/StIUxvyehLgp7P3xNBTq9ORImQdOtXN?= =?Windows-1252?Q?/lrGeFhXc7K6DzHaXPP5mzrJb7AoQwcGH7x2uiWSTWpYu22eQt5uBcpM?= =?Windows-1252?Q?7Q9bJTOQzjX4DpcpezmBSCByiMTbTMyescQYiU22wel1PZMzTgqfcoza?= =?Windows-1252?Q?bgvbahTSa0QOMB9BFMGWC+2/WYes0G93JxOxPLR+F/XnSmMXXdQILn7z?= =?Windows-1252?Q?GFMOzCn6JibHJUR4sFzh/HiBQZT/Iz9Fkrlq0CAzouJbQJHLDz8z2WzL?= =?Windows-1252?Q?6H6k4aRzcqGr6lQF?= X-OriginatorOrg: mq.edu.au Dear David and Jon, when constructing the opposite of a fibrations one usually takes quotients. But isn't that harmless in topos logic since after all toposes have quotient types. However, when doing fibered categories one hardly ever studies only a finite number of those but has to quantify over them. So when proceeding formally one has to adopt some universes be they Grothendieck or type-theoretic in nature. Most constructions are easier on the fibered side. Taking the opposite of a fibration is the only example I know which is a bit easier on the indexed side. But think of facts like closure of fibrations inder composition. That is sort of impossible to express on the indexed side. Of course, for split fibrations things are easier. One obtains fibered categories and cartesian functors by freely inverting split cartesian functors that are fiberwise ordinary equivalences. The spotted problem with the op-construction is thus not unexpected. Moreover, it is the only thing which is easier on the indexed side. I rather find it surprising that most things are easier on the fibered side. Technically at least. And for intuitions and motivation it is quite ok to work on the indexed side. It is also ok to choose cleavages when this allows one to express things in a more intuitive way. Thomas PS Maybe the following metaphor is helpful. In topos theory one performs some arguments in the internal logic and others externally depending on what appears as more easy. But the external reasoning is more powerful. For example one cannot express internally something like well pointedness. For indexed vs fibered I rather have the impression that fibered is more flexible. At least emprirically. One usually has no problem to reformulate indexed as fibered. The other way is less evident as exemplified by closure of fibrations under composition. ---------- 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