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=DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,DKIM_VALID,FREEMAIL_FROM,HTML_MESSAGE,HTTPS_HTTP_MISMATCH, NML_ADSP_CUSTOM_MED,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-ME3-obe.outbound.protection.outlook.com (mail-me3aus01on2138.outbound.protection.outlook.com [40.107.108.138]) by inbox.vuxu.org (Postfix) with ESMTP id F373E21617 for ; Tue, 30 Jan 2024 21:25:35 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=imRMFXdRvB/Hvy+1Tbm73BxjRbwYPa05z8oHQdyRLWFcrJFrxS9cEKZwbkYQpbjaOnzoT/1/0RLuK4f1lkF+w7nP5AzqbnhTPNfihKG86/zHOFDGyAa4mfbRbeUbfTSyb1NxivWJHLgI8D9cGmGqdWarIAQBRVGv0T97BzDRcl6uv2I7GFLBUzgDhbMRlEmB1cn4SeyMPK8i9cxIEbfa+yD2YDRgxPYM2G+4QG2SZJn2yzkQxK+bdEe6lP68npMiX4XfWVFur93XSLRZMgeerht4BabhjpQih19fJgPqDzSvrJA/KYjfdnNfS7SMVKOT1E3DckTVYOk9SchFsmu0eA== 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=foIGzdTFRXkHmZyy9i88tKrKlA8T3Pmx/E7RlKCugec=; b=bISie+OMlv4qysNbyNLdi4MNwrgtB12KtzbFbZhAXa9KyFyNWQYm84okPpktJ8exvxb7fWYXACS9mA+mKXMqR/2zGD4VgLwN5hd5gIlqsl6HZI+jSXPNC+AEZlhnPMk7RR0Vhap8jXDYGHWl+bZOynhR24OZR6Y9IyXFtG05NxC+Yfqh98LCOweWul8cgk9LUxjky1jO8fMn1uA5orD/zqg+8Gm4IEHmh+dOiY/f1FIskpgRJf7JZyXFsEG8sccy1jlTM7BYubfQV2BPu3lIk6SHlG4qVS21RAoI/KbR+ksjDbX9OQ41kNgT1M6XtjIFyAbjT3mfhgKiqaEt7yjyjw== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.217.51) 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=foIGzdTFRXkHmZyy9i88tKrKlA8T3Pmx/E7RlKCugec=; b=bOYsmonJHYOAYn8wad0Upvin0t48qGHW+z+i7+BiRH1z/2YuJbRhZCKlenDOwbQEXJNetFQC8uZ7k+r437Bt6Iukpqxzv/kvvD+4bsAqRI6F7a2hfVCZvro8Y/btsWzNewbOpVLWgkvanxfgAvSi5/iaGfkpTZXqRBdopUXmuzA+k/+GvXYzZDnqrnczsvRe80fgdu+8EgWd/7k8egYQfNu5XsKoWKt051Iz9BmgNuxTD7ueJMvMJ/om0Zwoe2cqTPy2mKjN3TGsXbirx1scMdIyJQJYZrf7BssYKhdNHirRPbEm1F1zkOexrpsuXpyQlbbT030fgy788X9WoWiX3g== Received: from SmtpServer.Submit by ME3PR01MB8242 with Microsoft SMTP Server id 15.20.7228.34; Tue, 30 Jan 2024 20:25:32 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=RgXubirPtKB1eJa3hKAMyVyOQiT5/vvcHiU1gWzD0KBqMR9Ie8V0EhNj1kwdOoHV/4b3jdy6eukWnugUnAZ/TZpAdkQXOzCkyjXJkY/+y1MbaKVPgsnnTo8aaAlHhdS5wrhwSyKLM+Ejf5GllFwOFz025+8ILaXxCgLKDwEcPIXL0GIAg/xMPAISm0zF5DAe5nZ7nLn76W62I7RUdEKUPJB0FWfanlVPsM2gDTlIO608ixRBKjYtJzTmITQZEkG/BV/IkgDzlYNj8ig9F9NbGfr95WiDxxgQI6tsDhh2/1sZGkuWVrsbRbKmpKMO1L2Va13eqUKUubAhHBWb2pERuw== 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=neYKy8MqJXsVTAnTElFniElMPaV5Pp1NfBbqjW2QEd4=; b=LluQvCVjwdbpz6wZdz2fxraIHpsD1iItOk8KZJdzVKpRJYJGulaFB7tkXKptsMaFyLsgCeHlcQvs+PaQpxjaFp/wEaim6xy+gNsDXiuJqavkBOR31PejCDHI6tyxJ+12xJWAUyD+KAUF7sU3plVK+Q0O+kEw2r5OXElHFO451DzBS4BUvGggk70aPI9S8c3pASA2qxLd9TDo5hcOcn1suNHusQwjc3wL88rakRQmymJ+rNwkXhlbyVycqhSHucatmLGdy148405n1NG6UjcZzCyQiEfBueSC830TRrcQ1sb5DuA7y48JyNEhQe4PE8YqhqSO4o7ltVAcd3reDSqqZg== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.217.51) 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 SY7PR01MB9025.ausprd01.prod.outlook.com (2603:10c6:10:21e::21) by ME3PR01MB8242.ausprd01.prod.outlook.com (2603:10c6:220:1b6::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.34; Tue, 30 Jan 2024 20:25:27 +0000 Received: from MEAPR01MB2632.ausprd01.prod.outlook.com (2603:10c6:201:11::21) by SY7PR01MB9025.ausprd01.prod.outlook.com (2603:10c6:10:21e::21) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7249.23; Tue, 30 Jan 2024 20:25:23 +0000 Received: from MEAPR01MB2632.ausprd01.prod.outlook.com ([fe80::7526:d89d:c5b1:4004]) by MEAPR01MB2632.ausprd01.prod.outlook.com ([fe80::7526:d89d:c5b1:4004%3]) with mapi id 15.20.7228.029; Tue, 30 Jan 2024 20:25:23 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=mk6uWma9VAU3UDzyQ8EA9NOJJVakoDhXGtn51/CuPYcpvBnSeQzFIRC/hBzWrMEjvz2DLVt8yzioX7pIeCutvAmq39PV9ObEsGiPy4xO0n7NnD+OnjERXsRl0D+sb1rwT8Mn1unq2U21a5RA2C7Q+OcurHHiPuK/83v85WLkusRcKYpQDWaQosl0DshiiFCr7RI8n/bY+HilXTR4qkrdF2Aw3SUtTbnn5F1IF9UZ1MiOIyQe3ngT1lNuvDontW0ZwGweTwulWqfhePuG7i3CiAEZcPv+XKIBpKYoAsNVqBUMNK/B6o2yYDr81vP8xV/Cr6SCOJYlcn2x2TL2WOg4Ag== 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=neYKy8MqJXsVTAnTElFniElMPaV5Pp1NfBbqjW2QEd4=; b=bf/8O8khONRsdrWGQvVNQClTxm+dHdhawourlROuO0q5irif/xtdVN+VBddG8e82SjQFwzFnNRZBk2UjMts9RyErkDM1JFCgF0m2WFKANLBXFX4NCfvGG5lKQEQXheY6SY1o3jKbSMkSKwwHhhoKJw9967mZCV9CnSWSALScVjP3ZYmeGSjO5xN7xMScE/BYwzUJ+EadS91wriZYMxGw3iBe194gxVNBKKUuYSsnKLNBnzW+VbVlZqs3UYcMpS8bO5A1ADjJRbVvnCNaAsIYzjhLb4gzmcTgdefUhbMnAzOaOgGrFnIhqLcDygYi6u4C9Op47sMQIzP9IMzbUlWFQA== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.217.51) 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 SY5PR01CA0068.ausprd01.prod.outlook.com (2603:10c6:10:1f4::17) by ME3PR01MB7896.ausprd01.prod.outlook.com (2603:10c6:220:186::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.36; Tue, 30 Jan 2024 20:19:01 +0000 Received: from SY4AUS01FT003.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:1f4:cafe::5e) by SY5PR01CA0068.outlook.office365.com (2603:10c6:10:1f4::17) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.32 via Frontend Transport; Tue, 30 Jan 2024 20:19:01 +0000 Authentication-Results: spf=pass (sender IP is 209.85.217.51) 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.217.51 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.217.51; helo=mail-vs1-f51.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by SY4AUS01FT003.mail.protection.outlook.com (10.114.156.154) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7249.23 via Frontend Transport; Tue, 30 Jan 2024 20:19:01 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1706645941; 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=neYKy8MqJXsVTAnTElFniElMPaV5Pp1NfBbqjW2QEd4=; b=Wj6PlGeauVukjJRhCUsExBogB0qNOsudFDPIZg28E33Hc1rJC21JI/F7cJNFLPHMX3ziac la4eRHPNtrJfj9ou+EihA2I0hR0ECKi+EPAM5Fl1YLbri7xJaojuvuNQr2shPQ9MVpPLKq 1I9IQWq9h8EH2ErxmjY2tCBKhKShjUedJhhlh/qYNsvnCHO7TFhVDMXBUoBrIDqHnkbkDU 7A0Nxzb4gIOZzfMnmxqAaLCRVf1XzaC5zfEGhmNOsLY5GXCqHt8Zb+4AjKXWQqsFfPEUCx JvMctgTfVNq4q3nsNgGeLhrploUF8pV+Z0Qo9339wBA7yjLR0sUOSoKb6FivEg== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1706645941; a=rsa-sha256; cv=none; b=ExbrffRFCGmrxs2VpQnw/WvtaXM9YpeTWSANQ8NPY55nJ2vZeXMPnLbTUPbI9rVkZEJNxy +C+oehdg98+Ii9l/zFHGEgnCKnEogZXcxpgOmEsRTBmZemv90BkiR8ekK5z9PA8ji1Go0W bMpmfV6Imd5IjWRVSAyAVFN7zvokKOU1OdLxkTM51ZET1i+nVRmXr2o0Hww2hfTANG1dKk 94pqnJI4B3HrofYLy26rHr5oqpctxMGe0Eg+/7fzfoJ9dtFva3Dg+ZekF24i3ZSLMyO+Qq M2ejNmZxeCPSEEcUNDQG3zY7CPA68WG+tf/5ebDKyZoFeE++OBekR3AVnLH4fA== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=BIcfdCpZ; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of droberts.65537@gmail.com designates 209.85.217.51 as permitted sender) smtp.mailfrom=droberts.65537@gmail.com Received: from mail-vs1-f51.google.com (mail-vs1-f51.google.com [209.85.217.51]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-50-pgXzKYBoMICUMCyWHkIGaQ-1; Tue, 30 Jan 2024 17:42:28 +1100 X-MC-Unique: pgXzKYBoMICUMCyWHkIGaQ-1 Received: by mail-vs1-f51.google.com with SMTP id ada2fe7eead31-46b102d1080so918149137.0 for ; Mon, 29 Jan 2024 22:42:27 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1706596946; x=1707201746; darn=mq.edu.au; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=9lZxrziLTWRVdjhD6BZDgblgqea6nyPejWeoL0/fobw=; b=BIcfdCpZ32Ae7F+alF3vkXIQWkmY5MR8MCn/Xyl2gS9qzrZIUED69Cin4bpzKhh5+0 80y6xiXeCubgUWXLBxfEH3cHN/50rNF07y/6d97ySrYk0DTKlSB8xBhDBJ8UMGIdnBIf zMu8FpQ0NDRJUbGZVWEzWym3Y+5DZMKJuRK1yl/AEzVAif6ADWyO3uzc86DqLrv/cH5c k8WugbCHgNwYGcwh76O1QNSdZTeZEA68cn0V8MZN+WlHhGVR3vD42T+1qyvaqOty90yd cRA+bY2jLhVq9tJP4bTKxRoX44V0hiFUzIiB8M0CF4OVGbbpvtw4qG4MKhbkU1pxYf+A qygA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1706596946; x=1707201746; h=cc: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=9lZxrziLTWRVdjhD6BZDgblgqea6nyPejWeoL0/fobw=; b=jWCV77Wgin2N4L5P9xGXuxha4TQ0m/CNfNfbz+Pxmp4M4a/FrBenWckjE2zG09dz+1 HYO2T3U5RbP79FdLlEYWylC6xYhFdj+bqt+4Q8VIy/VlG0tXkbEg4/9pXKnGKdW3iIg3 xFF8LSBWRsG3Mr190Eq+CcOrKFJQ3aQlrnQdVQsBCmUEQs7v6uFIU3z3FpZ5tMxTQv+G vQPq0Ge1M+rc9CIYbK5j3wKPwhMVz4/JFim/Wzs5MxTxftfNKOch1Sdl01cdjcnQQaAA 7ZCbkXHurt1DCUvzXMt6ILem6KZqNFY3CRmwJddGizMaoGdmnqtoAFr4bj9QKYiWJCfU d73A== X-Gm-Message-State: AOJu0YyRT6SWDbZEqGxaep+jG+1ls56hzR7jckIlpnZvu2KAlNAZkmpg WM7g6ZMDA46c2cONLTb9h/E6xUWmsKOU+dbzuvp9jf01ANJz/v9BLQ8AjLCP7DefosLo6NQ4R8j oIYwB5QlhUkon8QUTYviRcJHNbaU= X-Google-Smtp-Source: AGHT+IG+UgEQuEm6OP7glrKCeJQuAQ6eZQR7EBZ4bq2HkHSi5F2FYXEJ9IqYjWO3IRj2fpfR968yPkfOCxX9fGp4THU= X-Received: by 2002:a67:fb49:0:b0:46a:fe60:989e with SMTP id e9-20020a67fb49000000b0046afe60989emr3456755vsr.4.1706596945600; Mon, 29 Jan 2024 22:42:25 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: David Roberts Date: Tue, 30 Jan 2024 17:12:14 +1030 Message-ID: Subject: Re: Fibrewise opposite fibration To: Thomas Streicher CC: Jon Sterling , "categories@mq.edu.au" Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=BIcfdCpZ; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of droberts.65537@gmail.com designates 209.85.217.51 as permitted sender) smtp.mailfrom=droberts.65537@gmail.com X-Mimecast-Spam-Score: 11 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=true;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=_12401301742291991" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.217.51];domain=mail-vs1-f51.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.217.51];domain=mail-vs1-f51.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY4AUS01FT003:EE_|ME3PR01MB7896:EE_|SY7PR01MB9025:EE_|ME3PR01MB8242:EE_ X-MS-Office365-Filtering-Correlation-Id: c70ad17d-a92e-4036-94a4-08dc21d0b2a6 X-Moderation-Data: 1/30/2024 8:25:21 PM 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: sIG3p4ulDA2RGnM72EIJuoPHPgcbd+3zrF1HZVFUuOim2nmPHNDTN/IuLtyprjUaBKSnxuDjJE2YKPUzBVYV4LuDAAiS2F2KeJ0Aw1q/u8a7iEO35BAEbdIJrPqYB7qPkiztB+hjqpjZ2qtmtOpQuq3//h0qGOumq5JsYUr3mA4ts5A5CcHQKFBEBTHuXHz9hhAo9KidN3uOSq3Kb873ukck6J23s1Mv2+5hCsBUEVhHatf0nT9S1Q2bGFK5YEiZPC79Kh3ArawBIDW6WKPdT8CuAeZqXCH4SBouOHIjCpytMGmZMyCzZ7NoSgJ+FMIbtmqx2TThjHXgvShLiIxK+RwnXnP4sMDmOJyn1wp+/RFeObSDw40O5p6gtP+O0ybpI51Xt5oliR9GjCKUJvdzZV8ueol5EvShrzcn14HwuUEOdBcjo8SE1JrwUfOyxPmvp1Zqx9vQlJcZhlVboTpfGOVJlEBzf9bmFEsPrA4/6lLA9wxsqe1NI1AYoyl4KsFdr0Y176i38fP8Z0vsfpTiKE1HcRAFqua/6QCRQvCZfc74dlvvgpgTQlO1BtiPgllTmZ/RToBCCj7/1eF9aTcjFG3qL3cq5OLVk7Ex0YmIeJr+kHIkmdMLH1mCWOc9uCzPvUHL/H1YeSyepejlDJDurEUPk9ucHEM6EsMBUXuDREpPE9VXn0zStDsXHqIZkf5JafFN9anAYh2IdP8YDhp6yhnTnnAvX8Oejvy0qZ/5t8UKiFyxMzojGEf+SZy/zuC3cHCjRlg1GJjsTcO5gWuL2lUKyqu44v20nsJnw2VUZlKnZxm+bY+We5gaDsrY2Q9c84HhLiCA/x2xRsJ0Z4wKVPBlyQOQYM9lm3q4h7TuJi4Si7eMOkq2B0wV1GpHwhcO+0URji25Z3h54u2QbdudIZPbz3B5CPZA8iJFVf3w1tUumKGUrhInQa/4uQOpyr0X X-Forefront-Antispam-Report: CIP:103.96.20.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-vs1-f51.google.com;PTR:mail-vs1-f51.google.com;CAT:NONE;SFS:(13230031)(4636009)(39860400002)(376002)(346002)(136003)(396003)(230173577357003)(230273577357003)(64100799003)(451199024)(48200799006)(82310400011)(8000799017)(1800799012)(40470700004)(40480700001)(40460700003)(83380400001)(7636003)(26005)(76482006)(55446002)(86362001)(6862004)(156005)(166002)(82740400003)(76576003)(35950700001)(82202003)(32650700002)(3480700007)(336012)(32850700003)(7406005)(73392003)(70586007)(2906002)(89122003)(54906003)(7276002)(498600001)(316002)(68406010)(41300700001)(786003)(6666004)(33964004)(42186006)(7336002)(8936002)(7116003)(7366002)(5660300002)(4326008)(7596003)(966005)(7416002)(8676002)(88732003)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: c70ad17d-a92e-4036-94a4-08dc21d0b2a6 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT003.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 30 Jan 2024 20:25:23.7005 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: TWPAyJ+NeLxMgUosMuKqOSTfgfPdXvcqK8iV3bb+v+jeDwkEo6HYEyCxoWXjLH56k65w83cKjlb5q2b624a6wC9bRHKUbj22+H1tafydKA8OeNoq24Z2LIAT/MAfURo6JmpDps1boHXXwBFBTX4E12O4hAnKdO7LaqZxDnagVcKIQ7dp1LRGzfWtodmCUxgq X-MS-Exchange-Transport-CrossTenantHeadersStamped: ME3PR01MB8242 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?bkdwU251QkFpSE5pcm11S3lOSVljMGJNbXZqVklFREVaK3dNU2xJeVRkNEJp?= =?utf-8?B?NkxpU0F2NFZWN0NobHZDSERhMnpiOE9ja0NwZXRzd1d6Y3VKOTRhdk5Ydnk1?= =?utf-8?B?Ym42anJzYzBUZVN5ajY4MHA0SWFKQWcveVNaQURuc3Y5azIzMkJldXAzTTQv?= =?utf-8?B?MlpzSXhwY3Q2SDdXVEZkVFNzUmpqSnlTQkVIN05yaVlJY3lVeEZVU2FDcnlM?= =?utf-8?B?anU3NVZIWWRteHdKMXFqYm9LR0lkQ041V2w1K0V1bmRLZ090alVtWWdWZWQv?= =?utf-8?B?d2kwTDdBcTVLcEZIWGs0dVB2RnBvYnN6ek5GZGFndlF4ZzFEVHBPbFpUbEU0?= =?utf-8?B?VnM5TWVtMU9CR1FzNlRqRldlcitXZUJ2QzV0OHVqVFdGZnVCM0pJd2lsSFBE?= =?utf-8?B?alBXR3pldml1aEJPdTN6UXUxUjRsZkJPYW1VSkh2QWVkdmpQVFUvb2lQTWow?= =?utf-8?B?alo5YUhWTHNleXNGQlk0cDBhUzV0YlEwMk5ydmx3V0JvcXhRbk1Bb1VIaWxp?= =?utf-8?B?NzY1WVFLcE03bW5yQmNESE1lUnRDYTZYY2FnalpFVkI0RzgrcXRtMTBJR2pq?= =?utf-8?B?bjF2WjNqTWQ0UVlPandTb1hvdFdaczNqMHNNbkdwSVNqOXJObEJzK1JqMkJz?= =?utf-8?B?bEhyWXhYNXAxeUp1ODhMYXVXS1pHM2V0eDlWcGNkVXFsMUNmazF4c3ErRE03?= =?utf-8?B?ZjRnSFB6alcxUTI2SDVoRno3b09nd1BtMEFHcmlWblVUUXkwYXljTDVXclBr?= =?utf-8?B?MkpCVldpQ3ZIbmc2Y0k5cjlNZkVSWFdIZkdxWmo2Y0IyS2N4dzJxbWV5Lzc4?= =?utf-8?B?dk13ZUZwcWZzQjBRSUdMS0hKeWdhdHluMW95Mlc2eTBzWFZiTDRzdWJaMUcx?= =?utf-8?B?cDBjUmV3YitzSjRiSU4vYjhQZzRnMUIwYnhvVHdlM0JRWXpxR3pJbkdRSmd5?= =?utf-8?B?aXoxM3AxaDFNVWlHV1lCZGZrSWE3Ulcwc3ZDc3FkOGJ4Vlp2cysyb0FCRHdG?= =?utf-8?B?M2gyeC9ONDJwLytBL3IzVkxJdXJDaEZxOWdaWFZXSFJNSmR2WW10TnR2UWd5?= =?utf-8?B?cFd3UWl6NXd5cEpGMzdBdEdrZW40REZGSE9zWjV2TFVWSzRxU245V3duTWVO?= =?utf-8?B?K0NsYW1tTWlpVXNaM1FxVERDazY1VUowekJUUVhpZ0daSWZrd2xOeVdLTk5m?= =?utf-8?B?eUZVOFNpd0hkbmtRSXphRmVOaVFXVWFwYmVtSzJNcDFtZGNhZDVUODhNK2ZF?= =?utf-8?B?Z0Ezd3JOenQ5OUxZMy8velpHQi9aUmd0cDZRNHNJT2dvQ01QV0FTbm5acmR6?= =?utf-8?B?UUZJTFhGVlJMWFcrSm5CVFNVZzg3cCs2UFU4VWZtL2M4bjlITTVLaXpQemEy?= =?utf-8?B?Q2doWS9lb2I4VnNMekdXbW8vUTFZbDdHU1NtdHZzdWwrUGN0R0U5TGdDRFdL?= =?utf-8?B?ZnRYbmNLalNLT1h1b0pGU1hlb0VkbzFZVjNHZHluejY1cmltK1REMERRNGsx?= =?utf-8?B?dkMrU0ZWdXg4T0lCUEgyK21DZ2JZOWExeGtuTzc2R0J3S1hLenlDR2lnamlV?= =?utf-8?B?V1NzZHhtTjdXbWlDaUhCYVBhVGxVem03QW9DSWNONjJoaEw2Y0ZCdGZ3b2Jm?= =?utf-8?B?V2x1QXZxOGRJeFlQTkFySzc1LzJpb0IvMktOY29YT1BKVmxGaGlxQ01JNHZJ?= =?utf-8?B?ZEc2QXlhMWpuanhGR3gyWGRpTTVNbTdPbEZPK1NLTFYxQlFWU3RqaENnSmdC?= =?utf-8?B?SzdZK0MzM2p5cXIyY0xmcTYxcFoyZDRCVWF2N3MyMW44SWI1TEV4MG1GV0Nh?= =?utf-8?B?dFVHV0crT2RqZVpXKzlJR2pHVE53QU1HNGpqOFhVM2xkQ2x5OFpZbFlSVXQ5?= =?utf-8?B?bFEzS0s1amF6cW11TllObUVPbUk4b3ZtZjJRaUhUWnJVL1E9PQ==?= X-OriginatorOrg: mq.edu.au --MCBoundary=_12401301742291991 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Thanks to those that replied. In the setting I'm interested in, a cleaving would be tantamount to choosing class-many pullbacks, where I am working in Algebraic Set Theory, with the base category of the fibration the category of classes, and the fibration one of a number of given subfibrations of the codomain fibration. In some examples there is a cleaving (for instance working with the definable classes of ZF(C)). But the whole point of the project is to avoid global choice, so avoiding it in one place only to use it to assume a cleaving doesn't sit well with me. Further, I am not committing to an ambient metatheory (like type theory or set theory), where I might get some cleavings for free. Regarding taking a quotient, I am also considering foundations where one might not even have something like (or analogous to) Scott's trick, where you can take a quotient by an equivalence relation on a proper class. Saying, for instance, that a morphism consists of a collection of things with conditions assumes one can collect those things! I don't think I need to quantify over fibrations in my intended application: it's constructing a single fibred anafunctor between two canonical fibrations attached to a class category. I'm pretty sure I don't need universes anywhere in what I'm doing. I agree with Thomas that this is really a curiosity that it's on the very short list of things where fibrations do not give a clean abstract picture. I'll have to ponder what is my best option. Regards, David David Roberts Webpage: https://ncatlab.org/nlab/show/David+Roberts Blog: https://thehighergeometer.wordpress.com On Mon, 29 Jan 2024 at 06:34, Thomas Streicher wrote: > > Dear David and Jon, > > when constructing the opposite of a fibrations one usually takes quotient= s. > 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. To take part in this conversatio= n, reply all to this message. View group files | Leave group | = Learn more about Microsoft 365 Groups --MCBoundary=_12401301742291991 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8 Thanks to those that replied.

In the setting I'm interested in, a cleaving would be tantamount to
choosing class-many pullbacks, where I am working in Algebraic Set
Theory, with the base category of the fibration the category of
classes, and the fibration one of a number of given subfibrations of
the codomain fibration. In some examples there is a cleaving (for
instance working with the definable classes of ZF(C)). But the whole
point of the project is to avoid global choice, so avoiding it in one
place only to use it to assume a cleaving doesn't sit well with me.
Further, I am not committing to an ambient metatheory (like type
theory or set theory), where I might get some cleavings for free.

Regarding taking a quotient, I am also considering foundations where
one might not even have something like (or analogous to) Scott's
trick, where you can take a quotient by an equivalence relation on a
proper class. Saying, for instance, that a morphism consists of a
collection of things with conditions assumes one can collect those
things!

I don't think I need to quantify over fibrations in my intended
application: it's constructing a single fibred anafunctor between two
canonical fibrations attached to a class category. I'm pretty sure I
don't need universes anywhere in what I'm doing.

I agree with Thomas that this is really a curiosity that it's on the
very short list of things where fibrations do not give a clean
abstract picture.

I'll have to ponder what is my best option.

Regards,
David

David Roberts
Webpage: https://ncatlab.org/nlab/show/David+Roberts
Blog: https://thehighergeometer.wordpress.com


On Mon, 29 Jan 2024 at 06:34, Thomas Streicher
<streicher@mathematik.tu-darmstadt.de> wrote:
>
> Dear David and Jon,
>
> when constructing the opposite of a fibrations one usually takes quoti= ents.
> 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<= br> > finite number of those but has to quantify over them. So when
> proceeding formally one has to adopt some universes be they Grothendie= ck
> 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<= br> > 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<= br> > 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<= br> > rather find it surprising that most things are easier on the fibered s= ide.
> 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<= br> > 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. To take part in this conversatio= n, reply all to this message.
 
View group files   |   Leav= e group   |&n= bsp;  Learn more about Microsoft 365 Groups
 
--MCBoundary=_12401301742291991--