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-me3aus01on2133.outbound.protection.outlook.com [40.107.108.133]) by inbox.vuxu.org (Postfix) with ESMTP id A9427249C2 for ; Tue, 23 Jan 2024 11:30:16 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=O3+cMR0PyO0W8DFQGb6KmxN6+7CpXxACC4ryal1ZCqObc9tNPvwhwwcnpjjWhzLz6pmyLA2vUKjx2+OHx3ilFhGiiZatOjJEzI7zQLq1l0tCq06XflPb4lNcZ+1FgOdN8O2emtYzpQy3SUjYDBd6ihxKxL7Jvps3rH2sNiaw4GWw3WVr1QWYYDJIoOwqxdImO7x76s5YuwYw+DMct1LklOBlx3IV8yJ63EhJ0yVe+kMtWygQih2QMNiH1X58jTIwmRS1lGiPfbjC45uZv8aKXiTJYjjSmdTSyDYxozjjttgwzWsI7wKj7juicUCHWoNOa4OVFycqe2H9ivtH1sqHGw== 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=RfkgB43EjqItIX4s7T4S72KqG3SNF7+gKBbxcMV+amc=; b=hMF4zJbXnXfafOse5oYKBfhNr+PsCTH21wTQfe+0tqToS2fWOMSawlw5JsGFXhuFLPucWS/Gq0nhkh6+J9UwGPZ/b90PG2Qmonfpn45TYD5WXuSvjrhfMYc8y4qAtZ/I6oLx/3VhhQOqgW/S8gIFz0YFWOEge3k3BXUQatoB5KRAobiRELxz/Y8witztgyhsLnhhVzMwBdljPWaxW8zdSfjXh+vpuj5/uHfTF8nVoHfP1lClu8kAhJ0rnJ3UYMAKmJQuCTWlT2uCP51rT3LKiZIQObpFefwVzeQdahw1Fe2RipaoFPw0bybLv+9IZBK4h+L6ngDiUaBq0LXOtyYzPw== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 130.83.156.230) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=mathematik.tu-darmstadt.de; dmarc=bestguesspass action=none header.from=mathematik.tu-darmstadt.de; dkim=none (message not signed); arc=pass (0 oda=0 ltdi=0 93) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=groups.office.net; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=RfkgB43EjqItIX4s7T4S72KqG3SNF7+gKBbxcMV+amc=; b=p59in+vzM3NFLbL068eZxAFyewGF4+w+n9nCU8f7JJkPqxZ72jf9lV2o4yHjMLMongDfcPyBEMV5VQWhZp9dQF2DnBWfL0BZ+5bZXOS9wsFT2LMRZyi+7UXvxWYMXuGblgwxhnkJlKoyqzLpEwK/YgzPVrKpNt9GOnQVGluDhYPA3cRtGoTaAIH5D5zeb4J19xIBuvmd3Rt49+BVCYV0xQaJY1au6SgnsTkBj+rN0YQBpicbSZ+pHXSdRzh6/Vp0hjCb2vBC42LnOzw6oLU7kzf8Aqlop63Ux6Y3toMPT2h2qUnpUl2agiaPjJaGcYYLhL6ju5w5IhphRgKpKRQd5w== Received: from SmtpServer.Submit by SY4PR01MB8069 with Microsoft SMTP Server id 15.20.7202.37; Tue, 23 Jan 2024 10:30:14 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=ZmNe/9l7Xe9fVcsOzIc2PXpjO11sxboTcTMIF8tYMZlSFZm/DClG2BskOECmTZ2R8PczN98CGlTTZNBnoIT4r/ANZzUo4vLhXHMhYZ9O1fdDO8Ptt06QyAW6PjTfsMIgZDo8J9HwuwhJu1PbRAubV58XDoFySBSkkyd4/qwrOiBDLh1FE59Q+tkvRuzrsQ2Nzfs0w4jaFP82GnVBHNRuPFj+NacZVujxGnys7qkl4IKCkK4pZdNbU83QITx8ZHE1ef8D50xiwHqE86IqrAqPiO+KUsIobStn7dVcrZzkKiI/dmh2pRLHgQ2j9Wm/xL3MKn29pps4Ktkk+Loo4Bsl1A== 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=zY2AtxyresL6rB0ymu969Wy1HTNREsiTxg3lQEHmXY0=; b=aYBqH4KXxazgEOtq8uVsEur3gK8ZE8IYR6q6ih2//eE/GAWd+Y0jluczqMSKA8mRmxHiIiAivBA6UXB4IZt0zRFR0Je0LUueucPrb+rZJeDv2rahZRxRqoO2bOS3psWiwHOyKNANJoOS4gf9r9UAANa+fORZxhWjWq5dg7Ely/qvrIdIoI3wvhJAxnretyEXRZJgaa5xeaBkJaSdcfXbqGqUJCfBPgKGJGuSizej/Nlpi4xo66jC9O+9Iu1LJA8mU/QkeH7Ge8R/FwsSdFesIC8AQ3cLKTMCWalK9RF/YNltVSCI3GylREgS1uti7KxGt5kKhNJ7LH3HE+DFSSxvHw== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 130.83.156.230) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=mathematik.tu-darmstadt.de; dmarc=bestguesspass action=none header.from=mathematik.tu-darmstadt.de; dkim=none (message not signed); arc=pass (0 oda=0 ltdi=0 93) Received: from ME3PR01MB5621.ausprd01.prod.outlook.com (2603:10c6:220:ce::9) by SY4PR01MB8069.ausprd01.prod.outlook.com (2603:10c6:10:19a::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7202.37; Tue, 23 Jan 2024 10:30:08 +0000 Received: from MEAPR01MB4486.ausprd01.prod.outlook.com (2603:10c6:220:3e::20) by ME3PR01MB5621.ausprd01.prod.outlook.com (2603:10c6:220:ce::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7202.36; Tue, 23 Jan 2024 10:30:05 +0000 Received: from MEAPR01MB4486.ausprd01.prod.outlook.com ([fe80::3c9f:2731:25e0:17c4]) by MEAPR01MB4486.ausprd01.prod.outlook.com ([fe80::3c9f:2731:25e0:17c4%3]) with mapi id 15.20.7202.035; Tue, 23 Jan 2024 10:30:05 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=hPNldHu2jVqOESwXOGbshp1ubXG6ZPVwJwnL5WHn2pIJDc8JbHn8hhVSfj2KQAMvZgn9/GRdnTgQT/WLlqCq2G73/Lvgg2k1P0XYMzdJkr5lcdgET4Efugew/rWnAsJJfHUjhdGKWZMIkqPatHg0ZER5NZ+YqYICCTpXBoWCxQB8xsBMeWVPMe/NMPZpxGkNlKwBT9Vx/nRtozODfNeFisbIQdj9WZpYrsFIr88yFVJVdDjIo43+RLdZyXRH6wE2kInrKPxJh4++Z2Z11qzjLS6IStYRNcolqJt6Gpc81Uhtu7/sNNPmlmKNsDrNtJXRUvF0aouFLw98AKWvJ314XA== 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=zY2AtxyresL6rB0ymu969Wy1HTNREsiTxg3lQEHmXY0=; b=RRwW1eH7qlp61RPkkecUvRP1NGfKE6cIlm3jEP+HRHgl26qLPlwnUgKV4qDFNZRREuQRCg+PR5wMi7I7S3SumxJJ6O0A0g/a9rwB8iPguekJok8IkSpamqr/+UOKXB9m1ViqEREniBcjxMQ6QmDXBr/9lMGl3if58VPI98NjPEjve0cyzBXj3ufMMQrmnyCxDjqH7vKeLIIvc7Z6fvDFIIt5YHYVtc72vf2uHCjqzMHmFXj/r8nxA5Veu0VHhNDo1Pm6Ggb3sGtnCSUpWTTYDRBBo5yxJz+MmMGugw8qb2z7/aeyMl6zofEhOYRxCPRDRRvk8XGtrx2tuqXpYlkzSg== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 130.83.156.230) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=mathematik.tu-darmstadt.de; dmarc=bestguesspass action=none header.from=mathematik.tu-darmstadt.de; dkim=none (message not signed); arc=pass (0 oda=0 ltdi=0 93) Received: from SY5P300CA0104.AUSP300.PROD.OUTLOOK.COM (2603:10c6:10:248::29) by SYZPR01MB7706.ausprd01.prod.outlook.com (2603:10c6:10:169::18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.22; Tue, 23 Jan 2024 10:12:53 +0000 Received: from SY4AUS01FT010.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:248:cafe::b8) by SY5P300CA0104.outlook.office365.com (2603:10c6:10:248::29) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7202.34 via Frontend Transport; Tue, 23 Jan 2024 10:12:53 +0000 Authentication-Results: spf=pass (sender IP is 130.83.156.230) smtp.mailfrom=mathematik.tu-darmstadt.de; dkim=none (message not signed) header.d=none;dmarc=bestguesspass action=none header.from=mathematik.tu-darmstadt.de; Received-SPF: Pass (protection.outlook.com: domain of mathematik.tu-darmstadt.de designates 130.83.156.230 as permitted sender) receiver=protection.outlook.com; client-ip=130.83.156.230; helo=mail-relay230.hrz.tu-darmstadt.de; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by SY4AUS01FT010.mail.protection.outlook.com (10.114.156.119) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.21 via Frontend Transport; Tue, 23 Jan 2024 10:12:51 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1706004771; 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=zY2AtxyresL6rB0ymu969Wy1HTNREsiTxg3lQEHmXY0=; b=St7sZlSNy/95A6wh+gGqA0QQ6yLkw2twDTNHF6YyEAYad67ZYTmQZ+YSmSYd4ZirI609Sf ZQDfZPiamLFOIhKvEZudJAiytUKEfdy6K6iK2d51gnON9ryGb+Aqhl1QK0QqXxAQNNhVgj wJzr3yVcYfCG5aTejQ8QPSd++nh1pZ9gS4bGIQ2+/UiWJU92JZQiId8lSjDtqxvunZgSK4 zuPYJ0XsuS7uwv0e8RXB4GunMc0+pejWNYxp583/ALjHE9nQLH8ndn24cJRCA0h8Mlvsc5 vblI0RPUZfEDw7fgX+tPxcLvNFjFtsHjjWC7/Gp5gdJLqZMCVZcIt1FrWFO6VA== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1706004771; a=rsa-sha256; cv=none; b=IY1IHgMj/3Rjdvy6RglHCZOzE0P7SHZ7AR05ONzwve6DyjCcBok57RmVVVb7s68iHr9h4c Qqm/QKTfDOiEFPjgoljnzh/VU6YF0NUAgowHV0/afqcs1Hfc4wcYHFKPqVSHypiM8noWdY z7cJUJxJlUz9eubsycMVcWKJCCc0xkgGXyAYa+3Yb2IpVxAcHlj+VHT6etzwg4Q45XnTJ5 jx/DPsH2fTMJ/Dg/l8we1klkWcVPqOm8KPBC+A+eEbPbJPoDCh/o30MovFkxO3/bo1n3YN YoECg2dMyWV+r71DUUBE8slNapHJWnTOH6llJo4G/+rF24PNA2MsqK7qiUdGSA== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=none; dmarc=none; spf=pass (relay.mimecast.com: domain of streicher@mathematik.tu-darmstadt.de designates 130.83.156.230 as permitted sender) smtp.mailfrom=streicher@mathematik.tu-darmstadt.de Received: from mail-relay230.hrz.tu-darmstadt.de (mail-relay230.hrz.tu-darmstadt.de [130.83.156.230]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-26-0tX7lz_CMZm6YD4Wb4KxIw-1; Tue, 23 Jan 2024 21:12:33 +1100 X-MC-Unique: 0tX7lz_CMZm6YD4Wb4KxIw-1 Received: from fb04281.mathematik.tu-darmstadt.de (fb04281.mathematik.tu-darmstadt.de [130.83.2.21]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mail.mathematik.tu-darmstadt.de", Issuer "GEANT OV RSA CA 4" (not verified)) by mail-relay230.hrz.tu-darmstadt.de (Postfix) with ESMTPS id 4TK2vc0qckz43tr; Tue, 23 Jan 2024 11:12:28 +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 40NACR4Z2448412 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT); Tue, 23 Jan 2024 11:12:27 +0100 Received: by fb04209.mathematik.tu-darmstadt.de (Postfix, from userid 11003) id 47206520466; Tue, 23 Jan 2024 11:12:27 +0100 (CET) Date: Tue, 23 Jan 2024 11:12:27 +0100 From: Thomas Streicher To: Dusko Pavlovic CC: Francis Borceux , "categories@mq.edu.au" Subject: small global sections vs definability of 1 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.156.230 as permitted sender) smtp.mailfrom=streicher@mathematik.tu-darmstadt.de 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: 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.156.230];domain=mail-relay230.hrz.tu-darmstadt.de X-MS-Exchange-ExternalOriginalInternetSender: ip=[130.83.156.230];domain=mail-relay230.hrz.tu-darmstadt.de X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY4AUS01FT010:EE_|SYZPR01MB7706:EE_|ME3PR01MB5621:EE_|SY4PR01MB8069:EE_ X-MS-Office365-Filtering-Correlation-Id: db08c600-b306-47c0-e868-08dc1bfbdbb8 X-Moderation-Data: 1/23/2024 10:30:01 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: 26gjkLACBIFThDF7zyHAtP3nI1A+7u/2Ja+1jYrNTBOTBKfAnKBjcA4yc9/FBn5cki3FyVwutbN+6G8WJUo2SVhG9ZvZ0vCZ9AJEZF/ijZ2JUKFbgTcXbQXLPPHTFjzzf/ANn33XJoJHKi3tDJs7VU7wNUumgJc+hKOzAII5yZNnW+eqxW6HJzdKhNQd5rHiKOsBgUaJ+mM6x+QPviGE3d1myROv3nO1B9KnX9NX37EYbWSAiaeMOeMfhgelPROYeV5nGaMz7t/N4ntib3b8p6Acscq/uCMy5IA7VH+cixNeacxi+5+B+q+Rln9YpLDT5bAOW/RSXf05ijjdmBT3xQLNj20pClLxbDZl2LnQceVtLFdRhVFckRDcOOIsTpmLURgbv8ID+e2MHNXiJAbPhuYeqk8gFXQyoWDQLOlWFuMHxM7zQfIMVGfmoGOcc4dlrxCjZJsDhORxWjpDpMBEWHxtePZ9tmVMJAlRFm8WCujTTkZkJoEVY3j3Tddg67RBRnf1NyDVOVjshLKUXbS5GRcq8PbpJ+H5EL73v8aQ2ju0Wx54DeNVWuLJS18oPMuSc6Su+h9Ke5xcKWO4wm1zw38glqFrWiNsDbuQpK5NGHUW0QkgIKAgKBMqVh3UzjkyoOkwuxdiGXlaZk5SP+daa6hnv2Ml9rjkhTiB1Ngj6x6N38hRe1gH/Sh3U8WoMMPtEhtKo8T6TyCVqCosHMFLwYxxpZnkgA4EBtLsa3E8UpQE7F6IGXl1JCvXxBAZpH7dxtl9T3ZroIQ7IlWDJnUWK/64vTu7j5kdt+uZXkJXYkANcq7AgsjaVMpBfDFzFdSiffeEHxZ7S7V97NYDtsmvBLEqP24ylJuri1sTzamEotdW7M0P0zIxUoJCi+fpM6z9bXUZ4FeqWhkNqqFdL1f/3A== X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:DE;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-relay230.hrz.tu-darmstadt.de;PTR:mail-relay230.hrz.tu-darmstadt.de;CAT:NONE;SFS:(13230031)(4636009)(376002)(346002)(136003)(39860400002)(396003)(48200799006)(1800799012)(82310400011)(451199024)(64100799003)(8000799017)(40470700004)(40460700003)(40480700001)(68406010)(6266002)(8936002)(2616005)(426003)(336012)(83380400001)(8676002)(4326008)(5660300002)(316002)(296002)(786003)(6916009)(54906003)(498600001)(76576003)(88732003)(89122003)(70586007)(42186006)(26005)(32850700003)(7596003)(7636003)(156005)(82740400003)(7366002)(32650700002)(7336002)(7416002)(35950700001)(2906002)(7406005)(7276002)(41300700001)(86362001)(67856001)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: db08c600-b306-47c0-e868-08dc1bfbdbb8 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT010.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 23 Jan 2024 10:30:05.0889 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: MCf1cPyMGEGBY4G71/kYFJhR1nRTWBBF9a4bhavEN99FYYJiykRdu6GbbgDAllqoxtNzBAFT3uyHB0bQJqXX/1PDT24XaqLw7aVc2o3GdZVBoSKTY9nGe47ns6pCyKOWGiMQXZjbqN5OwdXcoUL0nYTAjW4DuhcJBbtyLPpuodVXWzu6ShGKl9eaTi+OAgPi X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY4PR01MB8069 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?YIgnv4esl5TkVev4FKEW1iJpvNfOMnnaXKqWqbntMOjA52in0HYLrUjD?= =?Windows-1252?Q?OTF46ZGozPnNRq8GbHfurj9YEe/8J0Vt02hXLK2nFDOhZpGX2tG0NXUA?= =?Windows-1252?Q?pf3SfGwPAL17dl849suMY7Ru854/tayatnIGQCGm/XlIFGpM3bMTfDXn?= =?Windows-1252?Q?FViC0q8vlcHG2SAdj3QsZdx1gVuXbMKs6plpnwcNN7i2CM2gMqvRLCkU?= =?Windows-1252?Q?3gFnmLQgSav9ZAaecyJElbRuYobVGQuVKNyMtfP8+m+WAnrrNDDcO+Aa?= =?Windows-1252?Q?xbJSa72erq8HhVUuQ8wY9dvquOO6aqs2RCNW7Jbp140vER4KZktLcGu2?= =?Windows-1252?Q?7GstNUYiEi+Q1zRVDHmsL91yoFvI72uviiJK/RlUmczVzYtPE46Bp/qI?= =?Windows-1252?Q?CaB73s0oN6DHhOgOM3Iq6SvH5QdTkOoYrzLOCGKjwkqFs/NxG2rmY0dL?= =?Windows-1252?Q?MzUnZ9ZZzTovjvpBg8CVIbTwqI6qbj9BhBd+898WH9bLhghvf1+CkrCk?= =?Windows-1252?Q?rQ58hMLXzjTkcKeccZTWP/Jmnki/tygQO1Bvsh5d9+Z8wsm9hvtT0/P+?= =?Windows-1252?Q?sLHhmJbbmdoTQu5iMh67jWdGv3TvkL5e63+Yx4dQyGEj65oatyJEM3x5?= =?Windows-1252?Q?zisUBMvEmgbcnAHXfA0q1oZn8GKGbHGgsCvY8YlwRdtQlEUUbv4bqgYQ?= =?Windows-1252?Q?AzU/YgQYdZxGJWdKFc7mcJiwdJFDbeF/pm1jSeG82mVlGEbUpaUzoGAg?= =?Windows-1252?Q?Rd6jaI7Lz9Cp4oDH5cdn8TaFiP7QE5gMw3rhZh/3hmhm/GDa13zkui0T?= =?Windows-1252?Q?c5qyUQ7SGytrR5WWa380yr5nrHot+PTFsMGEs2iT4VtUtCBf6rtLB0k5?= =?Windows-1252?Q?wfGWAyAQ85Uby9gM2GbjcdkIQcGZWRsG4PbOD0t4r6tFqsNvl1KSQn+A?= =?Windows-1252?Q?ook1U5aF+OwS+xPp5ByHDXaHg5CWZKvrW0IcLN3Qk382Nyn94PQX+4CD?= =?Windows-1252?Q?txiA4qmZxsy2rPwseJpCR40XNSaC4sMqaDIrEOHOLqwRfOgl22Eys0L8?= =?Windows-1252?Q?E2tTWNaKI74pBx/JcJQnTchyq+BdTfolJ92tE3gqehpk0fTDiAjI4pe8?= =?Windows-1252?Q?YnP2+X1q+1ZXznX78GrBFPApqIbCLaIMVIPeVtmPOayDOar4uXHk3TC5?= =?Windows-1252?Q?hI/HO3poTJRNET1nqzo4g7wjVimFYlwVgnxjqydCkO57N+q/Ba6Dqygi?= =?Windows-1252?Q?sqV/dXPlXUWm51EhYoYX2BY6IbBcw5P5FayGZIXVqiIPoGVFkQu1BWPS?= =?Windows-1252?Q?UndPfJnwHhhC+x01Jncf/wAzvns6MvC+/bkT0uHeRknXGbax069cWh+N?= =?Windows-1252?Q?oHr1Jhms8+ruBQw8ZfXSvaEec70fetqNN8VVnNrgTqmLpzAeYV/UGv3B?= =?Windows-1252?Q?4ySs2FvdNH/ZrAp+ko2wjWP5s3Pk6aEUV/wRsnBiUAgkOWLi8E5Lzq2K?= =?Windows-1252?Q?g/DXnlfbaO0yi011h4Bh93nGGkSqkmDgrW0q1BgynMxEEye2CbwjSLpE?= =?Windows-1252?Q?9pM5Aq812Dr9+qFz?= X-OriginatorOrg: mq.edu.au Dear Dusko, I think in your mail you confuse small global sections and definability of 1. What I mean is the following. Let P : XX --> BB be a fibration of cats with 1, i.e. P has a right adjoint right inverse 1. Lawvere"s notion of comprehension means that 1 has a right adjoint right inverse G. The counit eps_X : 1_{GX} --> X of 1 --| G at X has the following universal property: for every f : 1_I --> X (over u : I --> P= X) there exists a unique \check{f} : I --> GX with eps_X \circ 1_{\check{f}} = =3D f. This is an instance local smallness for for P in the sense that GX =3D hom(= 1,X). This is more general than Lawvere's notion of comprehension which assumes that P has also internal sums in which case maps f : 1_I --> X over u : I --> PX correspond uniquely to maps \coprod_u 1_I --> X. But f also corresponds uniquely to \check{f} : I --> GX with P(eps_X) \circ \check{f} =3D u . But all this has nothing to do with definablity in the sense of Benabou. But one may consider Id_BB as a full subfibration of P via 1. This being definable in the sense of Benabou would mean that for every X in P(I) there exists a greatest subobject m of I such that m^*X is terminal in its fiber. But notice that P(eps_X) is not monic for Lawvere comprehension as considered above. But for posetal fibrations P(eps_X) is always monic, of course. Indeed for posetal fibrations having small global sections may be thought of as a kind of comprehension. But for non-posetal fibrations P the map P(eps_X) is better thiought of as the P(X)-indexed family whose fiber at i \in PX is thought of as the "set of global elements of X_i". Thomas ---------- 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