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=2.3 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,DKIM_VALID,FREEMAIL_FROM,FREEMAIL_REPLY,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-me3aus01hn2234.outbound.protection.outlook.com [52.100.209.234]) by inbox.vuxu.org (Postfix) with ESMTP id 42D4829BDE for ; Fri, 9 Feb 2024 02:39:53 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=XNGpBH7ivHsrYPakanZ4WCqTFym1RtriIw9KcjRXlNeeskk1sOh7SF0SwwVsRY0AAZJ+yMbQzYKTtK73yWk4mKptwOySJ6YUz5mo8hJnXubsCBrbSz+leVrWLTnjegWkJagHB14Xh0hbRiKCHErx/zu9IvF/6SxAHrE7sHQrpZyW9qrqFQ2qo4OI3oq1AxUaSGPeGzK2zCMyH341O6GReEQBeXi6FTQsK88v3bJXiPMezz1CUV31+1wPaxLDxlmgL2KTuuPSU9crdbE/7DFsiVRr8p3EhcP0biSZxl/BHI/ZH6bcqEPik965HBU74gnAmC66fr8S7qwkh89wbaymKg== 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=ySX/uZ8GF/wkAa6lVGegR0GwgflXpBaf+yjqgL00Iw8=; b=BiUqq/1gjwG1zz8rC9824CK3GZlc4kkA2zQrr3XWmAwXvmzfkLNHFonf/AFRYEhkfLVo9ZPAr278ixTGB6DCnBzt1upcNUhAyrkXK9At5BGoWWYzMGsz5aU8lu1Zn5vIizEfT73sY7pU7Ac4/OFarC7iZq5WABoFxY3dlea8IXxsNaZk23zMoJ5v1D2UCBxxIV2Ph+EucOzfVdFIlMNgcrHn+2zc7zebZSUHgKCdfPXYBs8EpWbu81ycxFno20yGIx6ndGugb8Bc+hG+4b3EsctfXD8EZbrodss7xZwi+FL0JFHmjmWgqJyBZNw6j5J1iznRYj/mFmz1OvGyMXkcuA== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.128.180) 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=ySX/uZ8GF/wkAa6lVGegR0GwgflXpBaf+yjqgL00Iw8=; b=W5RifbTcIcgXbfGDbU1dcyHW4ulQw1W+GRLhLYL20k7IsKznttZ/ILHPGbFAWejkEqoWbWeC9oxbmPhgODr/WsBYFfSBs3HFZtKPs/7n04Kl6KV1Rftxv5VP+wgQbUYSnFNmFf1PDs8F3NY2J2FBAMoYFAATgWGpo60JThHC86AU9VqBG3QGAzsj70Da/RyUh/NpyL9rO3zUXf6Kb00aBG1ou9LyffJiFQyT87h+/iKLYnwhl00COsHyKlcB95BBJbtVDiPn9kzkZODTKfk7C7/M+rb9VcLITc82qC4Dg5HmYvjAHNoeBmQt9mF2BMGm2+yCvUgJV5VaTe0KFcvuew== Received: from SmtpServer.Submit by SY7PR01MB8223 with Microsoft SMTP Server id 15.20.7270.24; Fri, 9 Feb 2024 01:39:50 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=hPT7m0H7Kxfke3i+RV6rX+djaSijFMMC4AJPK0eCOYHBl17jzPFpEmVGwLpexI64DgLJG3DbMJGG65L1iIX4s6cLBbfjdHwZhp53W3U6dDhr+SHH6nYejY4pNxSpQUraJWQa1MFdwmrrUFiO0B2pdNWpJBO55k6+ukx9U+Q8VrABnPO1MgxTQlOZWEAmbFRYc0pmxTU4C6/gpO4QnqssLo7QmUPOhUllaOo2KpMeEt3ouxLS3iIsXdljxYQHEG0OF+oQ4O+MAoDOSo3Gbu6sUfHLjx92oGF6GaFFAMnzUEd2HJmVDhunQTFO6+oMmTE1wuwxyxqYCMCdDiu6p/4CAA== 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=1yo8uh2/j7SCEveT/94XVZfsAYH3x3WLvsDqWzcuKYs=; b=aWfctkPrf9d/kf1d6jdKsKaGMmW2kS6vBXRSAIKx+FH3PdOwBOsCBV5D5cF4lD9NJH2YiwF8Bukbin3437v7cvFUjXhaHYJNUeZv/D4os84a9Wzm/EWO5b0Pxek6ifU4YaHzapRvYrzb52nt/MzFYpDUpmHgVv3urhhNJOdPEvH2gxgTSzcip6pOF3OsQtwit9owm8JBQBQvjDAieVukHosq/ALp4o2N+Uu2CvmqTdglXn1f5mI/okGVaV7OTrTyQPq8wF2/JL4gkbBABRCc80hui5+Gc5OE7XY0lBN43yt6uWsEOAtXxXn03l8Z4pADOb1gqpdgC9IlkXT/VJ0B7A== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.128.180) 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 SYBPR01MB7946.ausprd01.prod.outlook.com (2603:10c6:10:179::5) by SY7PR01MB8223.ausprd01.prod.outlook.com (2603:10c6:10:1ea::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7270.24; Fri, 9 Feb 2024 01:39:45 +0000 Received: from MEAPR01MB4358.ausprd01.prod.outlook.com (2603:10c6:220:16::20) by SYBPR01MB7946.ausprd01.prod.outlook.com (2603:10c6:10:179::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7249.39; Fri, 9 Feb 2024 01:39:41 +0000 Received: from MEAPR01MB4358.ausprd01.prod.outlook.com ([fe80::4d8e:cc68:e08b:d0e]) by MEAPR01MB4358.ausprd01.prod.outlook.com ([fe80::4d8e:cc68:e08b:d0e%6]) with mapi id 15.20.7270.024; Fri, 9 Feb 2024 01:39:40 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=X5cNwjkOLKofOSVguvvaTWzUtR0hrPINcErwS2PmSgDmc9oACULWd29MTnLidNiVEWL81Xv5wWpuvk0mICyHrH84GugK1v6xCGRi+pZKzs9rCB7II6FStAafMgi70FLI/vTHufHA6ezy+M/VOhpUUP/BORcnOY7ZhlbQybNPiFE9rp76GDDUGrPb2XxPpwkOTjPV0t6VNkehwfRkWAkEg85x/ay3sEldDB+7vL6NzcD8xoCfPh66oDGHjI0PcJ0aOft1l3SUlgN+FsiSP4yTghEo8MLkRK/IQK0Tki6FxUPHU8l1moiYjH/VAqYbQSw+UQen6XJUJBSvTz5YCP0o2w== 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=1yo8uh2/j7SCEveT/94XVZfsAYH3x3WLvsDqWzcuKYs=; b=ivxoH3qtbE7gk4cxB8m2ofF3LImyPAy7ZWFiv5IurtpG7mJZlj1jgET/2I2p6D0HMcHS2T19hXxt2zmAoGuGdRA8BTHfKH4Luza9k/APE/tUj/oNUTBwyGsP5AnAL/vIRHm1TIzwsxli2S+nHhIOmgLPvJcSzEyPeRXndZ3NygkdxtoWnCmhh6aNUIAdb3oxPO9xI8bZaFvRG5PlAtjiTsKtmrieZ3+nPbgv4f2qEcBf8mjfptA41gczian/CHsZ6DrZl9ENI6wbyj/Lk4O8ZQoYDsOguVsa4zlu55oEzaNK0Wn0tygdKuaB+OeLh71STNzPrNEHgY+f+EUChaFnTw== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.128.180) 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 ME0PR01CA0028.ausprd01.prod.outlook.com (2603:10c6:220:210::27) by SY7PR01MB9323.ausprd01.prod.outlook.com (2603:10c6:10:237::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7249.39; Fri, 9 Feb 2024 00:03:02 +0000 Received: from ME3AUS01FT018.eop-AUS01.prod.protection.outlook.com (2603:10c6:220:210:cafe::87) by ME0PR01CA0028.outlook.office365.com (2603:10c6:220:210::27) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7249.41 via Frontend Transport; Fri, 9 Feb 2024 00:03:02 +0000 Authentication-Results: spf=pass (sender IP is 209.85.128.180) 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.128.180 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.128.180; helo=mail-yw1-f180.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by ME3AUS01FT018.mail.protection.outlook.com (10.114.155.76) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7270.24 via Frontend Transport; Fri, 9 Feb 2024 00:03:02 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1707436981; 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=1yo8uh2/j7SCEveT/94XVZfsAYH3x3WLvsDqWzcuKYs=; b=WS0IKyYLQaf2W74X0PDS3CRtaSbh2txL8H+1JLuwwwDHC4PuNB63rn/q9zXjI5IBBAOFHx K/cPV3HI6YfPFf3YR4qaMwVex1VzGgFc3vw4QfQ0CYKcJXLPmCFR8OmmJIj2ZTZzmw3fa2 dLz0CBBjELYnWwd+6XWeTQMlqX2a9S082d4eUfzSwN64rU4TO+BKEb/EO2B0AAiD2FU1LZ JWmb7VozC5OauYe1I/TSdxcyVoaLatqfB5CnvsahTuI13PHHmOgkj1/fhfaLj2Z7n3hae/ NC5JGOOU6Xj+ShIUPVsoF6e+Mp84e7GLgGY75/dY+RTuD4yiuIqcUIxMz8e+RQ== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1707436981; a=rsa-sha256; cv=none; b=keNV+foIAdkmXn7COv9fIeeHBhpp7bPTFj/tl7tDohS0qYoJw5E6t9/8aCRgWHDticBlkq SU3i1HLMM8/hazueLwU4c9sgJU7kYrGPX1J5N6BTKZbQkDXoamgAIlGrcwaSGPTRColmmC T8qDKgDanzcr8kizt2DX7nSlEL4M2rTSDC6olqOeni47Owtd3WnxTzkGpqV94Nrd7vZc8n bbRLxP9ZFICtqsiF6iI7d9MjJM1UYdjx9S91+eu92b8d9UUVcwoGiVOVeEA+Ehel4PEOiM 1zD41tHJ8AfvEfi+1aznO5KvGhenBzcO70f/o0HRSy8iWM6SqUHRAtnnYpzvhQ== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=nXuOVpYK; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of duskgoo@gmail.com designates 209.85.128.180 as permitted sender) smtp.mailfrom=duskgoo@gmail.com Received: from mail-yw1-f180.google.com (mail-yw1-f180.google.com [209.85.128.180]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-96-3q4skRllNO6tZvRabb8Maw-1; Fri, 09 Feb 2024 11:02:53 +1100 X-MC-Unique: 3q4skRllNO6tZvRabb8Maw-1 Received: by mail-yw1-f180.google.com with SMTP id 00721157ae682-604b2c3c643so5580467b3.0 for ; Thu, 08 Feb 2024 16:02:53 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1707436971; x=1708041771; 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=v39JSKI9VCsCBzymIvyl6F6jKRZzX3gFwrQsg1axC2g=; b=nXuOVpYKb7HnP+pybDeWlT6XUOcap5kWJh9goENOXzwhYjBoUJa5WdircPxit6RQP1 igbBB+TXpTcqd/ujC6yST3T39bk63IdaP7wJLhQnNzZo3dwxKZLsljFAaSvtMyPQ20M+ 2vuaFgcf/qf0BhxSpRGzWin0HN4GCayZ+MhX7EpFgbxopSD7yQoVDZK7Fw4UtKwjIcnj iOwRi+65Y9ndAvrK1ZZJmZ7uI6PcSpN0GdcHN8ccPJv5Vi4UYRBq0GaK46AOouNgWxwF VDDqk06SFulkrmJVyUOq1uxI27f/oFlQXHtamjUcnVqPGBEi5pxYmAgytn9/fdaYm0cl Apqw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1707436971; x=1708041771; 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=v39JSKI9VCsCBzymIvyl6F6jKRZzX3gFwrQsg1axC2g=; b=r9YnrmjxKrZBmDknKUn7pB/fEl/ytgzsBQ27FHTOBCZ350SAAMafTXP2yX+D7Vr21c ivHLmFuW71OylzHBL++zllrqovoU1/oS4jR60ORWSzNTzEZvU07zEUztIRE42q7FSv+g nnv7v/SIObHSx3kgt8S6H+x2+VsfPVIUv4Gpwuc5TBWwQd9G89oN5Ik4i+e45NTGzNDS xVHxEJW6J7A3tsMr0lePqRMoAZAiDN05LGDIWWIF1SJKhkWOUlNIXOLEfS+szjOq5UZy 508SilcaQT+zGyVeH6Yf+lknSPtOaIz+vH7sOfIqvzpjNUVWQq0Sr+uTSb3QTf2+b8JH RgNA== X-Gm-Message-State: AOJu0YxpQ1mT3l1tF01iIXZmA0KeUs5WgvWBkuj89Nmmu7YpKW/lpx9K gBOMG/LtGyXB1lWjNOn50oEYnR2K7JY/+9XVc9k+CnmU6IxXBaYk145KMPjQhm6ria96UvSsIE5 jorKi+x0vIYFtaa+JrkT/Y9+V1WI= X-Google-Smtp-Source: AGHT+IHRcmSXRjQpLGJHNAMb8WwWq6QP7PDWtqYojFGtToDsReIX/T8Cp70l0DWVnD4dzJ+HPSCx1gTDvqgSNtXzAQU= X-Received: by 2002:a0d:c004:0:b0:602:b697:dc60 with SMTP id b4-20020a0dc004000000b00602b697dc60mr819335ywd.50.1707436971201; Thu, 08 Feb 2024 16:02:51 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Dusko Pavlovic Date: Thu, 8 Feb 2024 14:02:39 -1000 Message-ID: Subject: Re: Fibrewise opposite fibration To: David Roberts CC: categories@mq.edu.au Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=nXuOVpYK; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of duskgoo@gmail.com designates 209.85.128.180 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="0000000000002517510610e7a6f6" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.128.180];domain=mail-yw1-f180.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.128.180];domain=mail-yw1-f180.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: ME3AUS01FT018:EE_|SY7PR01MB9323:EE_|SYBPR01MB7946:EE_|SY7PR01MB8223:EE_ X-MS-Office365-Filtering-Correlation-Id: 7d97fa31-6156-49a1-2038-08dc29027bc2 X-Moderation-Data: 2/9/2024 1:39:38 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: o0oO8P/iA1jTJKsxDJv4x80M51hLmiD5GKAQ+IZMEiuDpb9QUzSwa+tFbI2Pkf2ExteJCWXb7I/ilzv4MxkCYbSEKdYJSQk2HjQwRI8p3FEP6gdTJaNqzFzTESO3WEIg2CthlHA6jrEYBKkawXfpe9r+BMwdvB0hm6nNRTlzG867q/2L4jJ3YgNIc+/z06shTJBupwZo8mEGdjO/+2LqdLVuCfsZUHrgSOkp0eAQ+SwO/3F0AN7KYYvxZsJ6z7e3c83HrhKFUmNHjgDVGizVa2M6xyGhikQHGZ1rgpAHp6rVyvznsifwAPCEx8FUg7LJqCJoKkr0G9paRhrKe7ini4v+WslUcYkHq2p62/kraKgwFkVpEqh3wGJpe896AA/FetMjmcDIELg+7b0cAI7A4vu5SO30/H8fUtqNcUAqYGQujgeuUOEnpW4569EXKOskGKM3eggDZl++gitqHfDX8i7imTn04D4aegCivjn1+LTaPUXuGu6yTaKOT+8Hrz8Gwq0sItMiNIAIcmI6CqJMlcHRFo0Aijl55zlME+Jrj4I6VRKdvk3beJV19FXAMZqFCvaURf7QNe0d070FFMlaPCXoHI5Fd8N/18CTFsFBtiIBzUqwV99ixgzd6r6g1YT2Pm/LBXz3v1MIiVy2WB12ax8WyWYKc913E1lfxfL0HxS/BF3rTYOBEAXszIMRhERzTDcNxh3yKvnLVjyni3vCsg== X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-yw1-f180.google.com;PTR:mail-yw1-f180.google.com;CAT:NONE;SFS:(13230031)(4636009)(376002)(346002)(396003)(39860400002)(136003)(64100799003)(1800799012)(48200799006)(451199024)(82310400011)(40470700004)(41110700001)(45080400002)(76482006)(41300700001)(7336002)(7406005)(7416002)(7276002)(55446002)(7366002)(86362001)(166002)(82740400003)(2906002)(5660300002)(7116003)(336012)(6636002)(82202003)(26005)(66574015)(73392003)(89122003)(88732003)(76576003)(966005)(498600001)(8936002)(4326008)(42186006)(786003)(316002)(6862004)(156005)(70586007)(8676002)(68406010)(3480700007)(7636003)(7596003)(6666004)(83380400001)(53546011)(33964004)(41080700001)(41090700016);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 7d97fa31-6156-49a1-2038-08dc29027bc2 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ME3AUS01FT018.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 09 Feb 2024 01:39:40.7291 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: c1DX29h3TJ/PGXpsltNosxRygMdGEaeHefjIJo4bqmqXjO08jXj2/SWfnd5HyOMZuJLjihwAVu0lkT5N6obFx9H1H6f/WYRM9yORLkjQ9t7I8Ax8qS9IAV6PE0T0IRe5ztjuAK3i42wnw7g0Ak8C1UcTgM4nmJ78CXBSsEfycerh+ZelnFYwQK6aJT4clwob X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY7PR01MB8223 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?ekF0aUErdUlXQ3NQWldZWFZML1p4TzJsaWVlclIzUXFmYVlzYVRRaFBNUzda?= =?utf-8?B?T2tLQm13Q1poWWFQNmFLVUJQbU8yTmtFanZzU2JoSWhxWnlEa3hGRE5ucFRy?= =?utf-8?B?ZVoyMWxqSkVLQzQwL3lYQ0JsanduYTQ2SkFrNzhabjNRNjBmVWpsOVMzcTFh?= =?utf-8?B?cHFhZkNlU3licUR1R1NBV1p3ZTdCQVhvaHM1TWlVZFNyVm4rcFZCV0p2dFZB?= =?utf-8?B?R2hRbTU2VFNpRWg0VWQvSzB2WnZPaDZ1RDYwcWxXeVdaRXZqcWhYWlR4V3I1?= =?utf-8?B?REQ5WE5aZWNlR3NHMnFOSktXVENVYVlWV2NJS2swS1I0SlJ5K2FjZ0pmZGx4?= =?utf-8?B?eUFZWW1LNnBMSzlFYnV1TjhCdUZldUpPbFgvbVVweFhJNEhlc3FNNk4rREN6?= =?utf-8?B?MTdqa05UblRkNnBKVWpsM2ZLNjhwTEU3c2FaVldHS2JFODBFNlIxUE1FR2Qw?= =?utf-8?B?YWIvY2hPMVRTVGhzMW5FSDBwRDB0OFMvZm9BZDdQYnlveldaemJDSS9TdktY?= =?utf-8?B?Rklpc2Q1SjNndUFwd0RuODRPUHkyK3NPV25RY0h4L2QrcU1sSzZiZ2RtZ21R?= =?utf-8?B?bnVmY0tDamxtYkRmM29naEJDY3QyTEdiZVVvMTRibm5zb1h1Z2s5Y01uUWM0?= =?utf-8?B?OWw1dUs4Zm9UczZnNDJXYmZNSElyRUYvWHM0c1BSejJsaEFEMGgyZ0RPUGpk?= =?utf-8?B?T3oybGVKT1gvak1mOGs2amdqRE8xeC9maEhsa0tjYjduTmFyVGVySzZKUFA0?= =?utf-8?B?SkdtNUhzTW15U2hkYUFvTmJKcUNaeTdNR2FEYzFtejZsd0dtUGx6dXd6dXd3?= =?utf-8?B?VFYrSU5hRU5jRFNadHBCTEhsemFZRTJHeU1ydk9nWnNsbEREZWFKS0RqaDh6?= =?utf-8?B?YldyU213U2ZNWDh3MFFXRkVHeGNoYVJ6MU5uSXNCQ0FsVC9IZmNIdVQ0WmhB?= =?utf-8?B?T25HOHdGZXJCNTRjaThkcHlObnRldllyYWpMSUxkb1FCVEt6UU8rNTBPVWs5?= =?utf-8?B?TmRYeDEybC9oenVIbVdYdkpVVG9RdXhiR1FwN0g4aUdEbjJ1UnF1TkZLV1pp?= =?utf-8?B?TnNsSnpUbzZMU1lPK2dJbDRrMUpxWUVUQzUwQVQ5SnlNcG93cjEveE14QWFX?= =?utf-8?B?ZFB5VEcraFlFSnF2WnU1eTN4V0dZNHc4dHFjRE9UMmVPSFVQNllzSUw4WUx1?= =?utf-8?B?Z3ljL1FzSlpRTW5DcDY5aExuU3FNWUJHU2RHa21MV05jbFhOMTVxOHVMOTJk?= =?utf-8?B?TlRsbFJMVGcyR1hpOVUxOTJCblJhaWpYbUhtMlltQTE0eThzS21RcHRoTG1J?= =?utf-8?B?bGg3cnN0TGxtRnRPWnhKTE9BVlUrejhZdFFvL0VaQWFjMkR0QUY4YmJGVW5G?= =?utf-8?B?S0hJVEFVbmJGMVM5cmF3MEg5aENMYVAyVWtQdmNOalY2cW9QNGEvVE9pUHVZ?= =?utf-8?B?WXBJUDZrR1ppb1BYdlZXYVFWeUdxaXZ5c0xSOGgwaC9TY0U5TkY5MWdqTnhI?= =?utf-8?B?WTFKRGVXakcwekZXT0o3ZHpKMldTQkFidGZneHhtVE9BNmtMdEZVZnNURExZ?= =?utf-8?B?YlJHVU5UYm9wL25SOWVDTlhob3ZqTFhvWUlybEVSV3R3MXJMdE9TNk1YVDJa?= =?utf-8?B?VENPSWk0eitjRzhaR1dXYzhYVnJlUG1WWlZVbTgvaXQra0UyT2NRbEEyNGZH?= =?utf-8?B?VEoxYVdpUExqY0pYVDFqbEpCL0xhRGxpd1g0b3lKZUxRcVBUMGdzeG5DeWlj?= =?utf-8?B?Y2lNa01qV0I2bk0zN0I3NDZkbk9KWUw0Z2lMdXpLSVVUaVdMcGoyQk1NcUha?= =?utf-8?B?YzI4b2R2NlBVWHpDRm0yMkhyV1VCaDJ1WDBDdmZBeVFZTlZMZS82UkhOSTRU?= =?utf-8?B?b0Y5TldVUTl0c1VkZXB5UUY4cU5wQWpmWGtLYkVMV3pGZ09NbTROazBNdlZC?= =?utf-8?Q?DgJ1p29wHWqCmBvp/NNCdOwUyTdne7n2?= X-OriginatorOrg: mq.edu.au --0000000000002517510610e7a6f6 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable FWIW, the history of problems around choosing representatives of equivalenc= e classes may very well be a completely self-inflicted artifact of academic= politics. if it were up to young cantor, sets could be taken with well-ord= ers and any equivalence class would have a minimal representative. in the w= orld where math is done in collaboration with computers, everything *is* we= ll-ordered, and cantor was right. if a fibration E is computable, the equiv= alence classes of spans that define E^op have minimal representatives and a= re effectively defined. in lawvere's words: if we don't transition to cardi= nalities but stay in a boolean topos with cantor-bernstein, all surjections= split effectively. but dedekind convinced cantor that he should yield to the great professors = and not assume that the reals can be well-ordered. then dedekind used canto= r's basic construction in Zahlenbericht (with a reference to cantor in the = manuscript, no reference in the published version), whereas cantor spent 10= years trying to *prove* that all sets can be well-ordered. enter zermelo t= o edit cantor's collected works, to criticize cantor for well-ordering, and= to packages this problematic idea behind the second-order quantifier in hi= s own contribution: the axiom of choice. so that we could happily choose th= e representatives of equivalence classes ever after from behind the second-= order quantifier =3D& but it will be like max planck said: the new paradigm will win when the gen= erations suppressing it depart. in the world where math is computed, zermel= o was wrong, cantor was right, and equivalence classes have minimal represe= ntatives. OR if we develop category theory categorically, the dual hom-sets= will be effectively definable... :) -- dusko On Sat, Jan 27, 2024 at 7:21=E2=80=AFPM David Roberts > wrote: Hi all what with all the discussion of B=C3=A9nabou and fibrations, I have a question about what happens at a foundational level when one takes the opposite of a fibration E --> B fibrewise. Call this (E/B)^op --> B For reference, one can see section 5 of Streicher's https://arxiv.org/abs/1801.02927 for the construction. The point is that the morphisms are defined to be equivalence classes of certain data. However, in a setting where one cannot necessarily form equivalence classes, it's less clear how to proceed. The point is that I don't want to be assuming any particular foundations here, just working at the level of a first-order theory (in the way that ETCS is a first-order theory of sets, say) The only thing I can think of is that the construction actually describes a category weakly enriched in 0-truncated groupoids (or whatever you want to call the first-order description of such a thing). You still get a functor down to the base 1-category, and perhaps one has to now think about what it means for such a thing to be a fibration, without passing to the plan 1-category quotient. That is probably fine for my purposes, but then you have to worry that taking the fibrewise opposite again should return the original fibration, at least up to equivalence. The original construction with the equivalence classes gives back the original thing up to *isomorphism*: ((E/B)^op/B)^op \simeq E, over B. So now one has to think about what the fiberwise opposite construction looks like for these slightly generalised fibrations (enriched with 0-truncated groupoids), and one would hope that this gives back the original thing after two applications (again, up to the appropriate notion of equivalence). Note that the construction in the literature (eg Streicher's notes, or Jacob's book) has the fibres (E/B)^op_b of the fibrewise opposite be *isomorphic* to the opposite of the original fibres E_b. In this fancier setting, one might also only get equivalence, but I haven't checked that. Has anyone thought about something like this before? Or any pointers to anything related? Best wishes, David Roberts Webpage: https://ncatlab.org/nlab/show/David+Roberts Blog: https://thehighergeometer.wordpress.com 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 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 --0000000000002517510610e7a6f6 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
FWIW, the history of problems around choosing representatives of equiv= alence classes may very well be a completely self-inflicted artifact of aca= demic politics. if it were up to young cantor, sets could be taken with wel= l-orders and any equivalence class would have a minimal representative. in the world where math is done in co= llaboration with computers, everything *is* well-ordered, and cantor was ri= ght. if a fibration E is computable, the equivalence classes of spans that = define E^op have minimal representatives and are effectively defined. in lawvere's words: if we don't transition to= cardinalities but stay in a boolean topos with cantor-bernstein, all surje= ctions split effectively.

but dedekind convinced cantor that he should yield to the great profes= sors and not assume that the reals can be well-ordered. then dedekind used = cantor's basic construction in Zahlenbericht (with a reference to cantor in= the manuscript, no reference in the published version), whereas cantor spent 10 years trying to *prove* th= at all sets can be well-ordered. enter zermelo to edit cantor's collected w= orks, to criticize cantor for well-ordering, and to packages this problemat= ic idea behind the second-order quantifier in his own contribution: the axiom of choice. so that we could = happily choose the representatives of equivalence classes ever after from b= ehind the second-order quantifier =3D&

but it will be like max planck said: the new paradigm will win when th= e generations suppressing it depart. in the world where math is computed, z= ermelo was wrong, cantor was right, and equivalence classes have minimal re= presentatives. OR if we develop category theory categorically, the dual hom-sets will be effectively defin= able...

:)
-- dusko

On Sat, Jan 27, 2024 at 7:21=E2=80=AF= PM David Roberts <droberts.6= 5537@gmail.com> wrote:
Hi all

what with all the discussion of B=C3=A9nabou and fibrations, I have a
question about what happens at a foundational level when one takes the
opposite of a fibration E --> B fibrewise. Call this (E/B)^op --> B
For reference, one can see section 5 of Streicher's
https://arxiv.org/abs/1801.02927 for th= e construction. The point is
that the morphisms are defined to be equivalence classes of certain
data. However, in a setting where one cannot necessarily form
equivalence classes, it's less clear how to proceed. The point is that
I don't want to be assuming any particular foundations here, just
working at the level of a first-order theory (in the way that ETCS is
a first-order theory of sets, say)

The only thing I can think of is that the construction actually
describes a category weakly enriched in 0-truncated groupoids (or
whatever you want to call the first-order description of such a
thing). You still get a functor down to the base 1-category, and
perhaps one has to now think about what it means for such a thing to
be a fibration, without passing to the plan 1-category quotient.

That is probably fine for my purposes, but then you have to worry that
taking the fibrewise opposite again should return the original
fibration, at least up to equivalence. The original construction with
the equivalence classes gives back the original thing up to
*isomorphism*: ((E/B)^op/B)^op \simeq E, over B. So now one has to
think about what the fiberwise opposite construction looks like for
these slightly generalised fibrations (enriched with 0-truncated
groupoids), and one would hope that this gives back the original thing
after two applications (again, up to the appropriate notion of
equivalence).

Note that the construction in the literature (eg Streicher's notes, or
Jacob's book) has the fibres (E/B)^op_b of the fibrewise opposite be
*isomorphic* to the opposite of the original fibres E_b. In this
fancier setting, one might also only get equivalence, but I haven't
checked that.

Has anyone thought about something like this before? Or any pointers
to anything related?

Best wishes,

David Roberts
Webpage: https://ncatlab.org/nlab/show/David+Roberts
Blog: https://thehighergeometer.wordpress.com
 
 
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 g= roup files &nbs= p; |   Leave group   |   Learn more about Microsoft 365 Groups
 
 
 
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
 
--0000000000002517510610e7a6f6--