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-me3aus01on2112.outbound.protection.outlook.com [40.107.108.112]) by inbox.vuxu.org (Postfix) with ESMTP id D626421261 for ; Fri, 23 Feb 2024 03:10:23 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=c8tKNnd4eprT//bo5SOfXMQY9swBk92OP5I6Bh8lCfWdtC2bc4OBP6KEWirFcqRG7X5GVVUgDFXhv8sBnPEsW77yIuftuy/xn95MDFcjANtxcxF/q1iHVtaSb4SnCk0AwiQPA0J+Ut0KOr85XYtZVEZph6buHGST4ZP+sE+rJRb7xoJJo60FK+aszBC62tMBB6XAhSqPlbW08aonpQlXmyD5ZFBgOK/rQBVOX94gkqJiSmjVKdf1UnqODyL50WwiKVApikPD/3OYsxym3HGllnFZxdHLHNB5MmyVbAdsvU81/kO+tcEr2yUbJpvQ6HyOBY0oD5PMG8ikqIL/3AQwog== 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=HE/ksqEd9SCpF04k6oO0Dh7+LA+bQxzF/Ur0wWYLKs4=; b=Hw2Vli/dn/U2ZiYPwifc/FtV8CxQGGSRd+xajC0P6CKIA/NlWgfA5jfW6qi2EWeZyNE7g6Bb4tQBWEms9dpaCRjgkdZD8D66aguU8TrR999m+fdUjyt2Yo27QRfxB4SuB0GrIDp7OAjm1nRRi0ccf1J9R13unp0MwEMB19D3Sb6f5uegDK+gnlU2TnDuI3forS79qqXpy/n5Zi13I7a8twc+klSTiNF5KaTWdZre6fjh5ED7xGDz3zab1mAHyUqcBj8iFvX8YIW43XJx8BBf1TQC/vZ6ol33zDiaJSix5odwjci8/jlkYvgLZAtky76WVkJHIxqXKWUT/ZbYA1BfOg== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.128.174) 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=HE/ksqEd9SCpF04k6oO0Dh7+LA+bQxzF/Ur0wWYLKs4=; b=aAwI6cFXN+M4WHBTSEYjC3gNIxJ1JMMkVxHu9pQhyFP9GV5xVU/lsmZlazRDwupYIdZXCq44OL5oV30ta1kHA/+UIv/0Gkm6xLVvZd4hJY4jvrwvKUgvTiJp2P0lz8viwNQD3jhlYug7Jgg47ZpOv7463/scCYEdirpvAONzmmH3wnQ7cE0j1QnQUqX4TQhrAMrNZ+WaXTkElgO5wHep1UvdBA4CbIyIzDsVIjTQXVn445bzAQDJSgf0/ZE+pESwOGzcjzc2yiZl50Pcd3A5NGvN500k2FQbXNfoAtbBr10YTErMTPk3HTxFDLUxuetBsdPyMVFZMwlev6AG7wa2/g== Received: from SmtpServer.Submit by SYBPR01MB7962 with Microsoft SMTP Server id 15.20.7316.24; Fri, 23 Feb 2024 02:10:21 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=dVKiR7fDAFeKK0pYQ0D8DMgdsgeCNsEbfJ1XS4FJyQf0BXzbu3iLVESNdTzlJj/5cCVZWlZU5T8EDdmABKhlx1Xl0lQPbgEaxZnAu16sgJHL8ELl9kaZUE40n+6mbd6cVFAT1oIyEAv9EiwjJ/QtbW3OrT44v5h+d/oGhGCQBiJ9yFCA/THpgD7Sqx7Yssvsl98SceEyGh3FcOerTV+r1Q+o0Pf3rEOpuVV6m9D7Ais2rc3oAPXHokJOXI3m25CSeDMkfrJ948VKqBjCi3v5sOFIfyqwwRMZl6XA+zEVqaPfBnas8iBeOrzLVABIKZ2DeqtCCtpEHc0PENFSNs2wUw== 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=HE/ksqEd9SCpF04k6oO0Dh7+LA+bQxzF/Ur0wWYLKs4=; b=chx8nDQ+LpK/2vDOJpikOWzYW66hcKpbQDwafUP5dAOBY1sDMmK2v/Zf8TfHuvB8hvxwLDi+owZdAsLH1JJpwPNPXjRv2M43oeOjMiYfAF0W1Jy2AuCT8bXLyiwfPTtvAISLJ8mxTJ7U6Ja7sUcgDIBYL0WUGgc5u4lvpglOUjee4Yjp+SNNvLym4B3jS76197BAExICuAOlyJfhKms1bsao1ds4yJd+J0RpJ52Lk1AfvQvmn/V3BCd1s7QkX9XC7CuiLeWUJVAg/5PjvFTCMSLeMTprgvL2TxFIvPkCKyzlV0cO7T2+z0pURdXPiPck2nUJdYstLnQsJtGvhND9SQ== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.128.174) 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 ME3PR01MB7094.ausprd01.prod.outlook.com (2603:10c6:220:16b::6) by SYBPR01MB7962.ausprd01.prod.outlook.com (2603:10c6:10:179::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7316.24; Fri, 23 Feb 2024 02:10:16 +0000 Received: from MEAPR01MB2632.ausprd01.prod.outlook.com (2603:10c6:201:11::21) by ME3PR01MB7094.ausprd01.prod.outlook.com (2603:10c6:220:16b::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7316.24; Fri, 23 Feb 2024 02:10:13 +0000 Received: from MEAPR01MB2632.ausprd01.prod.outlook.com ([fe80::569f:557e:80bf:e3dc]) by MEAPR01MB2632.ausprd01.prod.outlook.com ([fe80::569f:557e:80bf:e3dc%3]) with mapi id 15.20.7316.023; Fri, 23 Feb 2024 02:10:13 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=ETzU+3iWc3g3ZqIUXxd9EJfy0tKlf51RhD/KmrfVYan8B7MjqV/TF90g8QEOsa2KykhP06v8LOJreEcQwF7sQrHtQgXEmI00yVHlH2sxrgLFcPs7NdGtQiGwZeNsWIVFDmNpkxRS6qdfNP8yhBroZ2fu33NPTAj9JvOYNVDt6TvyaOnOb4uNcNWJW/nZDbGWhSHeXPZW/rDclLD+AwbtfdMvk981wJ7+3HvUHU8dEly77QmBadDLNdwMr6OIcU+swjhiv8cmxET1fhAEYkNE42U85dKcmBAOvEBNhcTXwB5Ey9u9eeS+BM5rMwP0UtNLPef510pjXFD+lzR/38icKA== 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=HE/ksqEd9SCpF04k6oO0Dh7+LA+bQxzF/Ur0wWYLKs4=; b=YbbQUAxjAjhG8O09r24WCzR3ozEhZuyArrRE7lLRaoqGa8U3vNFBA9jG/zi2jZQ8pOpztSkIuTlqf65hKoKNyOMZ4ou27K+gPZOEU8lT5oJRllmv1JnhQnzICB5GSdH213dqBLNvDqt1mg9Utd/R/els2Jwe9eNjHNCYwIEyc2r5FLpI5mOwkoZBwqKT/nQki0qr90xRtbil53zxusazB0oD1DPh2EeHCQ0mvftOgNT7kuS964uFvSGPR0QVfUShcos4pR2Qr4/x2zE8U91dpxe4IVwEei/EDFMiY6OaUWERCRVtzb3Vf9Ev+fp2xkC0wsj9P/QaVAMqbzw8whJhhQ== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.128.174) 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 SYCPR01CA0043.ausprd01.prod.outlook.com (2603:10c6:10:e::31) by ME2PR01MB5730.ausprd01.prod.outlook.com (2603:10c6:220:d3::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7316.24; Fri, 23 Feb 2024 01:50:48 +0000 Received: from SY3PEPF0000A724.ausprd01.prod.outlook.com (2603:10c6:10:e:cafe::5b) by SYCPR01CA0043.outlook.office365.com (2603:10c6:10:e::31) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.45 via Frontend Transport; Fri, 23 Feb 2024 01:50:48 +0000 Authentication-Results: spf=pass (sender IP is 209.85.128.174) 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.174 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.128.174; helo=mail-yw1-f174.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by SY3PEPF0000A724.mail.protection.outlook.com (10.167.241.20) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.25 via Frontend Transport; Fri, 23 Feb 2024 01:50:48 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1708653048; 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=HE/ksqEd9SCpF04k6oO0Dh7+LA+bQxzF/Ur0wWYLKs4=; b=nS7uFiltTVYYFcEEvasJQmenXznL2I6NooqDrQog4C9dm4Kmsc/U1C1jKPlLzrI5LfJUHl haBz9PofBr6DUpfpVdOsVCjG/8R22vkhRdSOpH95z2gjbROEPrHrS6ZBUr4P5obL08Ekqg lipmfM6zjUaE8/lRKCBVZo0HKtIPvh4zvW67W4ip0CsjgXdlb2xIdVXSsR9Dp9wwwriHZy gFQdReFIunQ3fwlqK9VkLpd+5R1oUXpUHefLwgFb+DRbvpajxxNzSa1qLHlAwYTToQgbir I2nP1WqDvkKt901ZGz0LCGCBG8gqaL3jZnEsMSMweQ+PB41PrLKFKU7sb2bVyw== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1708653048; a=rsa-sha256; cv=none; b=U9cyf9aaFyTBPOUAEOZD3BFnHbSVpozGFdXmWDZykdzPI/yOdGhz4zFRTE+BgzJ6qlvDmi LkbiO3gN/ImZ1bAb8PqA/o90ru+aXXl8yAxpt7dYpX0NFEldLPRLmDmSxlZb+Y+oSK6tlM w0ORlt1UH+aVzsAXeAY6d16pVPj/h/GIFjf+et5vJ2WVA4ZY+6o9QvjOFTbr3jL9eODV8a GvgyJsfUdo29Vm2Nwz2rmm81q/m8OAT58FvNPfHPbsLVJqLMsu81UchbdyPSQN++OYAdkK ShlzrJZDUdy+Bm8WlA673rpy921OlemTsYgIEKE7KUin8Aqf/lnkynV08ht7Qg== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=fbeVExWG; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of duskgoo@gmail.com designates 209.85.128.174 as permitted sender) smtp.mailfrom=duskgoo@gmail.com Received: from mail-yw1-f174.google.com (mail-yw1-f174.google.com [209.85.128.174]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-28-E5jZnlDcMIixbLg5MhoAtQ-1; Fri, 23 Feb 2024 12:50:44 +1100 X-MC-Unique: E5jZnlDcMIixbLg5MhoAtQ-1 Received: by mail-yw1-f174.google.com with SMTP id 00721157ae682-60879e3e3ccso4270297b3.3 for ; Thu, 22 Feb 2024 17:50:43 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708653042; x=1709257842; 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=z+gyn31HdESc5GaRflWDdySG3auijoA+rre/WvmJ+TU=; b=fbeVExWGpF6u7s2vObYnYtTq8YZ1UxD6MzAVvFC41P7/jFVOvo0kc7rs/MO4pHVZRa nB4FuyCE8//Uc1CV9TDSLNX+dxepIJRTKVdXbbkdIL25zHJkBi+1ffL++0F8BCUReQoA zspUCbTF/Sz4N18hJaOfrXbEWWWUxGsYyTX1FUd5uaPmeVm7jhNTYbbnghKA+pmho9LL 4H5n0BSQB/GJt+Z2SZBbXsJHiY5fspY6AqeFWcZRwIOJyJlqfC+XQWXiddzQ23BbTZSO +EdgMNKHJmBfSJybm3cwxzFfm8Pm9viSP/soRu62Coiwb3OuEJS4yVGM96XAWS4Re6bk +DIA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708653042; x=1709257842; 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=z+gyn31HdESc5GaRflWDdySG3auijoA+rre/WvmJ+TU=; b=VsG24TJS3U71CdC+PMGdGJZHEzDfqBCduL8nZLxibgAurFjIn1dzMQaT6A1fpTjMY8 FczavJO1fCXRLVkGxJxnPAALKLwQYGgF4WZCUjIn2TUVvJ0ctfJezbWmkkaBj9bHboV4 F/+KeAVHaCH98dBAsVEW287OhHpc7WY09cQeVT36TyT60WxIohWQc0WPbeKB3udpLzh7 /J3FaPtN5/9ZMTBC7b1Af3QTpXK9uUZaLZefZrV5+ZFTNjDDn/T/XI8SkRkkK+u/i1rX MR4tEl/YghYVX1hGBKlBqWD/8rHAIjSj2aTDJj2+aIMlSeDoiI+IVBFmCppAULrMRAm+ ZOFA== X-Forwarded-Encrypted: i=1; AJvYcCWKEqPGmZdNeSl13xWUPe1+IxlhTz2hJew+o/1AWCE8NTnopYl3vfR8O4kRwbANeSEhIxhLgsokLudqAZoE2MOMs9YK8Q== X-Gm-Message-State: AOJu0YxI8/PsYNX/M4mvH/sO1pyArLVJd29BA6WnfKL9h/6hQRHubjvD ZByDkRnfY29REZuQ+0cMhNXmra1RdWLlwCS65ZuKoBgWyX8TsfLRQ/HQq+QPE/4DTMcTyFW/Cqc CTPgyjCuLcpFFUfE7nmSBReQxFro= X-Google-Smtp-Source: AGHT+IEKNk2HFV7SZdsIMZBL6q/NOQBqxscmoANlnWHHXGDXL/Is0V62lkqaWYYGohWR5ChwVGi6ts3BjfmHxBNrdgo= X-Received: by 2002:a0d:cb56:0:b0:608:7b43:621c with SMTP id n83-20020a0dcb56000000b006087b43621cmr989222ywd.3.1708653041968; Thu, 22 Feb 2024 17:50:41 -0800 (PST) MIME-Version: 1.0 References: <6b040ec8-db78-40fe-99f7-8dc5593500be@gmail.com> <8aed544d-1082-4a75-b571-aadfadfc29e0@app.fastmail.com> <516757e7-073f-476f-b4af-55b622892a90@app.fastmail.com> In-Reply-To: From: Dusko Pavlovic Date: Thu, 22 Feb 2024 15:50:30 -1000 Message-ID: Subject: Re: Fibrewise opposite fibration To: Thomas Streicher CC: Jon Sterling , Nath Rao , "categories@mq.edu.au" Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=fbeVExWG; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of duskgoo@gmail.com designates 209.85.128.174 as permitted sender) smtp.mailfrom=duskgoo@gmail.com X-Mimecast-Spam-Score: -4 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="0000000000009c6c72061202c90e" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.128.174];domain=mail-yw1-f174.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.128.174];domain=mail-yw1-f174.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY3PEPF0000A724:EE_|ME2PR01MB5730:EE_|ME3PR01MB7094:EE_|SYBPR01MB7962:EE_ X-MS-Office365-Filtering-Correlation-Id: a06ab791-5cc6-45f7-e598-08dc3411dbc4 X-Moderation-Data: 2/23/2024 2:10:11 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: rl5BC1bv6KyO342jhVRqwp+jnmtY9rRzvlDICpq1gGPze2bizmYLysm9jv8ZoebXOE74YDA7RYRgh9dbraOBfDUCB7uXBqRgyaXghcs++AbHySVqhIXP4xB3cHCuFEQEjK2m8t7s3cSBZIvxIOJGMR1rCgZog7LVLvdNhwjY9Tt9pznqeZwBe/jQTsu4u12VCpbYf4bLp9Qx5F7agtFR6adNUGVo6LNIrWDVGVnUxa3vUmCK0Q0OIgP3kZuxoU+Tcma+lpfEz0sckpzUGgf+wtgMZL9wimf3E/uSYG/agtCdFl69+2YlnRihniBcJLMSqFM/NDtC9aSLqTx9Zl1Vbcc8HXYMXyOqFDCPGt/1Z0noEqDPxUxwI9m072PNUBIxQvGdN7LIU0evN35St4MdXrcjSH02acuoorJXAwxj8vCYH83ZlAwy/9Rf4EpVmxjr24VcfTglypsJdh31KcNWeZla3PcIT3Lpm5ipSnmIY1tDEFQeIIdFbLJ9NQzwy5eKpZofxqPetFtTlU4wj9pGXu3UqfdV6kLt9GI7egxcHsDRJNiFcPcMSJ0dDLb2IrRlxN1FqGdwDC3jUScY4u8vguu1/6jN2qEjr8JHi/Z5Yk1vV8P1MCgt2Rev+0AthKt+zWtK8OrU95NSLTVSn43bWw22dlt7A0hEtzaKwrJX8xLxJl5ApRaDopKB8jP31NBYX8hVZH7IgRG23tuKA3KA0XqwcQyoGmt+CJn9IYxqLAlF/HjYKm527C2KEa6+xspv X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-yw1-f174.google.com;PTR:mail-yw1-f174.google.com;CAT:NONE;SFS:(13230031)(35950700004)(32650700005)(40470700004)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: a06ab791-5cc6-45f7-e598-08dc3411dbc4 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY3PEPF0000A724.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 23 Feb 2024 02:10:13.2710 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: 49LALc3Sb+2PgZ/3ueBcww5JjkxhX6a2AVcYlfTwZctg0RzOqd59UvK3PhIMcmcsx4UZymtfQ7tXEjH/dev0FEViDhm4oVdKqVCSA3RduNuVjh8SHXroYXn1K5mtLLhZDd3wdh38ZZ9VtpamUT2gVDg3z8WEo6vNgXeFDfRjQqibN3LMkGPynS2d6o39+2E2 X-MS-Exchange-Transport-CrossTenantHeadersStamped: SYBPR01MB7962 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?VnpldktpVUVILzlUMlh0Z0hvdEZWV0Jsa3Q4eVAzVStmRU84N2dFTWtvOG11?= =?utf-8?B?OWQ2ckx3eWVJZXNLbjVmaXRkdnNaNUlpWldVWmZYTFV5ZnVRcjFvUkVva3Vk?= =?utf-8?B?VG1HMUdodWw0NU5EL2M2dlFvM0hwRm5pY2g1RmFSTVBmL0FlRkZnV1FSZncz?= =?utf-8?B?a2cwd1ExTDB1VTVxRm9vWHlGcXVRQ1VQRENqMXNIRk5wMVBaVWt6cmlXSnhI?= =?utf-8?B?TUNOekRXT2JQbXVKN204RVhVeUQ4aE1XS1NIOThCY3VOSW1GWk9GaUJVeVNX?= =?utf-8?B?a0oybHZQT2FVQm1BKzdJeFB5ckFtNHpyZCtGNXh1OGkzeUdqcEY1NW9KZGp1?= =?utf-8?B?UWFuRUgvd1plNENyQWg2TVVtMlZVNitLSFNNaVdCRXVicFhaU3puSURMUzRm?= =?utf-8?B?YTViaXE0UVlHazZXUTkwK3Z1a1BrNzhkYzk4T0lZbjN5MlVLeWxzcEI2YVZZ?= =?utf-8?B?SFZlSVJSNW80aXJJMWVnZDlpMFNPVUlzbll1dDhiNUtOWHQ3Mmh6K1BkZTdu?= =?utf-8?B?RTFTbEdZaUtpTmJYT05GT2pWdC9RdDE5eGUxbTlpczVZM0cwZDJwTklZbW5H?= =?utf-8?B?aFgycUY1QnVBYWtyUHJIazREdjRSOHlCQUxYQ3IySnY5NFhiWTMxV0k0R3JH?= =?utf-8?B?RS9xakM0aXZnTUU3Yzc0bUNxM05GdnJiNlYxbEZrenRFTjFTQkFiQkZsbE5M?= =?utf-8?B?VWNuNlA0dXpUbHZINzF1ZWRkM1UxVFFQTmUwbk44N0VuZW9HQ2NZZWVBNmZ5?= =?utf-8?B?S2pBaWhpRVliNkoxQnkxZ2M0ck1xbzQ0aG9FMGpMdFRmMFZ4c2k3SWNPbGNq?= =?utf-8?B?bWNDT1kxUk1Cbkdhb3N2NDJYS2g2UFBRTStCNjd4aDFWU1dJNWJmSEJRcHM2?= =?utf-8?B?YVlCa0ViTWs2WGhCRlNrNFVpVUZFTExUQ2xZcFpkakNSYUpwcHBPZWpUeXNi?= =?utf-8?B?SFZGVXliMFZNV1RqSnRoWitrYTdEeHpkTnRIQnRVSWpkaVRmQ3RvZ3BPbFZz?= =?utf-8?B?Y3pSMXVVamlwa1VDdmxrV1NBNFA2enk5c1ZlWmQvQlBKNmo0RXNvU0ZjNWln?= =?utf-8?B?NlowN0NMOWlmU2NXMjR3OUt1WU5mbVpNTGxPL1VpUGVhVHhvSGluZ3o2NnlK?= =?utf-8?B?NG4yVDFCUjFKc3JUL1NMalJoSVhBeE41ZXNnRU9GNjhVdkorTkZvdDNza1c5?= =?utf-8?B?eDdwQkxrdW9ObzE4VkYyVk5hdE1yK29kZjNNdVpVNzZLRXRTWnlFbU1TdmQw?= =?utf-8?B?eS9XbDNjMkNVRWVuek5UVzczVVJ5T3RzYlRhaSthdUFrUmVpa2JaSzRtUTNy?= =?utf-8?B?aTNhUk84QWNXYkxPL2hIYWt6MTVRcTBlZHFHcThqNnB2MkhiZnZvaStIK29I?= =?utf-8?B?SFR3dDhhNVVuai9lR0NwSWtjbXdYamFtZkFBV0x3b2tNM1FUSnZyd1JjSHhq?= =?utf-8?B?OEE4S0JNRjVUNWpoeDNkU2tHZmw5MFdBUklNT1JDalUwOXV4YWpTd3o4ZER3?= =?utf-8?B?c0VscktWcURaT3MvZUxqLzFkSHlzNkd2T0RCRnVLdmdBczRyMGZRQ1Rva2tU?= =?utf-8?B?SlFSNTEyNE9GRWx1eDIwdlFKeGsxbzZkWUVBdk5nNnE0TDFFcm9zK2IycUxX?= =?utf-8?B?ZW8zOHE2ZkdyclMrNm53RWdIVlBSVWhWRjh4RUt5Vlo0Y3dRVmNwOWtWK2FO?= =?utf-8?B?RENUa2ZuRlFGbFozVFcvTFViaGp4aFYvaCtqOUlCQ1lwSk94cjc5RTVFWVdr?= =?utf-8?B?Y0lRZXFHZUpCWUlwakxmTkZhZjA4NFZCMUJ2NzVzaEtxdzZ4OEdBay9nRkFO?= =?utf-8?B?MjFWWFA5ckJNSWpBTFNQZ3ozeDV6ajA4TEp6ZWtuT1REZno5dVlyelh3Qmpp?= =?utf-8?B?QlRlRmswNis1MXIrOUo1Y1hRYWFianRIYVRBTVhFWW9wcUQrdCt6dTlEajBY?= =?utf-8?Q?5ZEMuYgDv6EDRUrgC5dzJgh2DvtIMsSa?= X-OriginatorOrg: mq.edu.au --0000000000009c6c72061202c90e Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable sorry, i first lag behind with reading, and then rush with writing before i have read everything that was said. i hope the first paragraph of what i wrote will reawake confusion. it is just a slight variation to what thomas said more precisely. sorry about not reading first :) -- dusko On Tue, Feb 13, 2024 at 9:16=E2=80=AFAM Thomas Streicher < streicher@mathematik.tu-darmstadt.de> wrote: > Have sorted out off line with Jon Sterling what I meant. > I am working in ZFC together wit the axiom that every set is element > of a Grothendieck universe. So I do not use class choice at all but > instead choice in all Grothendieck universes. > > What I meant is that one should not reduce choice to the first > universe but instead have it for all sets irrespective of the universe > they live in! > > I always found this the most convient setting to work in. But not many > people do it. But if you work in it then there is no need for class > choice anymore. > > Sorry for not having expanded my general implicit assumptions beforehand. > I do see that my view is not the majority view. > > But it is the most convenient setting for doing category theory in my > eyes and it is weaker than real large cardinal axioms that set theorists > study consider. > > Thomas > > > > ---------- > > You're receiving this message because you're a member of the Categories > mailing list group from Macquarie University. > > Leave group: > > https://url.au.m.mimecastprotect.com/s/JYQgCE8wlRCr3MGkHNht4i?domain=3Dou= tlook.office365.com > --0000000000009c6c72061202c90e Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
sorry, i first lag behind with reading, and then rush with= writing before i have read everything that was said. i hope the first para= graph of what i wrote will reawake confusion. it is just a slight variation= to what thomas said more precisely. sorry about not reading first :) -- du= sko

On Tue, Feb 13, 2024 at 9:16=E2=80=AFAM Thomas Streicher <streicher@mathematik.tu-da= rmstadt.de> wrote:
Have sorted out off line with Jon Sterling what I meant.
I am working in ZFC together wit the axiom that every set is element
of a Grothendieck universe. So I do not use class choice at all but
instead choice in all Grothendieck universes.

What I meant is that one should not reduce choice to the first
universe but instead have it for all sets irrespective of the universe
they live in!

I always found this the most convient setting to work in. But not many
people do it. But if you work in it then there is no need for class
choice anymore.

Sorry for not having expanded my general implicit assumptions beforehand. I do see that my view is not the majority view.

But it is the most convenient setting for doing category theory in my
eyes and it is weaker than real large cardinal axioms that set theorists study consider.

Thomas



----------

You're receiving this message because you're a member of the Catego= ries mailing list group from Macquarie University.

Leave group:
https://= outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?sourc= e=3DEscalatedMessage&action=3Dleave&GuestId=3Dce331909-8de8-486a-9d= 80-27c4c94f0c9c
--0000000000009c6c72061202c90e--