From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.0 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 24565 invoked from network); 22 Apr 2021 10:36:17 -0000 Received: from mail-lj1-x23f.google.com (2a00:1450:4864:20::23f) by inbox.vuxu.org with ESMTPUTF8; 22 Apr 2021 10:36:17 -0000 Received: by mail-lj1-x23f.google.com with SMTP id w4-20020a2e82040000b02900bf1f739c0esf4522296ljg.15 for ; Thu, 22 Apr 2021 03:36:17 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1619087775; cv=pass; d=google.com; s=arc-20160816; b=mQN9ZAmWIFt7KvCPSpiuna/afehFFImQkl6s8wlWfNcVDLwGim7/3Ww1JYgjL6FK8c IpohZnL+Gt1MBib9jm47Ues4ht4e0yyGCFHPfPFNuJJKpJqarbKRkp5+EAr6HiBNVGW8 om3Z/ADJ5Ka+0pPiEnaQ8Z64Yea32G2aADHkkk3iGlb0/j5YLCRAtWuDF0+STBOd1cMZ LMjpEcN7J4QncJCrccm/Wz3XJSpArev0DShH6zDDLgskVXzO+P5zxbBL3fgxx9bz/Xz8 HLaJb6+3FuEjC2/sBlxXhlNpR6UNUhgB55cvfDz8EWOyxOjvxeJ37hK6R4PivEkilFzW ECPA== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:mime-version:content-transfer-encoding :content-id:content-language:accept-language:message-id:date :thread-index:thread-topic:subject:to:from:sender:dkim-signature; bh=Hkgtxab9DFLqUc9N3/FKMEEdX21F6kdYMXUxiVV1pAk=; b=T1XOuGufOVHkjx80IwsJ9z2z0FLtkNhozLmsMYZWUAERSijVVTR9Cs+ABYG+vzByj1 AXwIxUxh+lt3LPfvFj+azrIbjqhfkbBjHvYVsMD6atUwi5gMsW4bJelzNRKeLU90YSbM kHi7Ctf2SS5Ft7kM1coWK7WZXJAZJGX006AYZwKEbjlxvZa/ktV1XIawDeA1LwO5s7br fNPFAD0YL6CnpAaQ32rObhSsKbktXL2amFRdlEZIykxQVS+xyvyYuGsvH9yo/Of2VkWx 5+yQgkjOqgPVWrycl5Ts0Jv2PzCrBsXX29yibTHDT7vwrQPiWwOJfrCM18f88Y+5rpRC vP0w== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@leeds365.onmicrosoft.com header.s=selector2-leeds365-onmicrosoft-com header.b=bCyHdS5Q; arc=pass (i=1 spf=pass spfdomain=leeds.ac.uk dkim=pass dkdomain=leeds.ac.uk dmarc=pass fromdomain=leeds.ac.uk); spf=pass (google.com: domain of n.gambino@leeds.ac.uk designates 40.107.4.59 as permitted sender) smtp.mailfrom=N.Gambino@leeds.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=leeds.ac.uk DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:from:to:subject:thread-topic:thread-index:date:message-id :accept-language:content-language:content-id :content-transfer-encoding:mime-version:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=Hkgtxab9DFLqUc9N3/FKMEEdX21F6kdYMXUxiVV1pAk=; b=Fyptsn6uAcpNxxpU3AeDYTR6lZq42+Td3vJmJOTJfo8hakoHbvVUCPUyVwRO19TCRm ZknHiefdWSZ+dBhqH3jSCW5Bv9ddDS41zlO4rkEUFqzdjippGTvuADbF0aFqFTlHxP8N mXA6UdmS37Wffu8tTHfe6Hsyvp4JcrrrdBEzMznkenwB/oAVzRpn8kHdvEUpoQlk2cAJ Dre7eHy4s333Nb1lrWbWd7k7OClmPIbNhUiw8h4lDhmz6fdaexxQS5/D/Gd5p9ueEPbo 7RCpusKXCO7vnTRg9laNhNyGupiPaKX6OQxeVhlN6XKn83GhiFw8oM+LTzc1TagRbmZ/ okqA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:to:subject:thread-topic:thread-index :date:message-id:accept-language:content-language:content-id :content-transfer-encoding:mime-version:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-unsubscribe; bh=Hkgtxab9DFLqUc9N3/FKMEEdX21F6kdYMXUxiVV1pAk=; b=FHKGesorCnRJokmhRCF5jPIB8viNRE1lLXTt/TQ6DvlSjIJIWcAfb00lQxL7EjaKCJ sQSNWH1EKeKY7zauSzuypjqf/z7y3a9kp/Et7sq8QtGmzulMIQXjYxqW5PcjD5tetrNz Wu9o9QKvWIjvrBmU48kqnhW0DZ8Wf18kD41jGfLH5puoH/VNV7tJJtv/Shg5PR1cDvr9 x6X8+6YvC//uDLq7OOw5GNEDTTwxFW/gqM+dTTOhpsbS/r2F9PW5oKBNBAebUXy54a7m 5+B+OLtT8cMp8tQWa6cnZvmTIVhm3zZt7Ds+QyI8+SaflXwUtxzKhSXqsobewVYmaMM6 8fLw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM533kAZe2O3WXAxMA8ba0iQyFh9FOsBJaKhGB5xb2U+DhK0O+1VOj vtyfdFqPuxJfxaEhZWIX94w= X-Google-Smtp-Source: ABdhPJw9PRwPr2abbe4kwScx6/2+EwA19YjrgbNqQafZRVsUngKNosae2Mde4uq1kcLlukko3YCTTg== X-Received: by 2002:a2e:a3d2:: with SMTP id w18mr1953851lje.457.1619087775214; Thu, 22 Apr 2021 03:36:15 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a2e:5c07:: with SMTP id q7ls1331604ljb.11.gmail; Thu, 22 Apr 2021 03:36:14 -0700 (PDT) X-Received: by 2002:a2e:5347:: with SMTP id t7mr1978011ljd.263.1619087774166; Thu, 22 Apr 2021 03:36:14 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1619087774; cv=pass; d=google.com; s=arc-20160816; b=bWVRx4cXw7x1XdOjDBse8bHb8tk1HRmU5qkWNvVS13261EKjFmX3QBO7A7OUFRHF8t RKrfJTKBmzEPgGGL+BoE6Lt/rOc2qYXX13ia8bkdHNhh6YB9dpOX5oN0Jd7QhaJoGCTj O1FDuYMBOsMxyDTb/adEwb3AsRVr8QcTMWTe72z1dcAyVCk1e/tsfacf3awnvK1RD1hp /ItFhq+swkL3uyg+iL2HZhtZw/Hwc9B1DBKGASWdX7x5eVbIMdxIDVbZt1jrGLBsBc80 7U7EX58qUJlx1QFz16tMahQTXZNSppGrl5Hm1QY8hsLNpNuT+fKFtWJ067czdeFqbALg sTQA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-transfer-encoding:content-id:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:dkim-signature; bh=5RUzPsq+LZM5dXFc1rROnq0UJN0yHXpwyisKL2ACpo8=; b=pAVDUJhTSxpnm08WWK7ijeV+iM8Vw5P2PIyC6+/x6RVCiK4Qz9DgjzZHx8yJiKAdzv 99TqrAsUNTOxktOKPBErkELxdKmCNikeghnIKgHjCI+FKiYun1yLZPOa4ZxpdiDn/1YY mOvOracPi0Xkz4e7UJUKHjEpZVzHCJUIewEQh7SW/21qAzmWmUoe1cgL3m6SOx8EGaA4 Mfc8YsT63N10ADOxJrli1CmA5/+oblQch70ZdMDdUJHqBDjq2z8hlrr6+S6+Qr/NUiCn LswFgEnrBN66aKAYPXXTj0b7ZCCPZwTY0vv++1TPOa8rotG2SXszKgrOCmhqQ1yfeqTb 6wKQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@leeds365.onmicrosoft.com header.s=selector2-leeds365-onmicrosoft-com header.b=bCyHdS5Q; arc=pass (i=1 spf=pass spfdomain=leeds.ac.uk dkim=pass dkdomain=leeds.ac.uk dmarc=pass fromdomain=leeds.ac.uk); spf=pass (google.com: domain of n.gambino@leeds.ac.uk designates 40.107.4.59 as permitted sender) smtp.mailfrom=N.Gambino@leeds.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=leeds.ac.uk Received: from EUR03-DB5-obe.outbound.protection.outlook.com (mail-eopbgr40059.outbound.protection.outlook.com. [40.107.4.59]) by gmr-mx.google.com with ESMTPS id b12si258419lfb.3.2021.04.22.03.36.13 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Thu, 22 Apr 2021 03:36:14 -0700 (PDT) Received-SPF: pass (google.com: domain of n.gambino@leeds.ac.uk designates 40.107.4.59 as permitted sender) client-ip=40.107.4.59; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=h5h6Mz3kfONE8UbqLCnjOZFzrbn3Mokb2IuKjMWtjdH4ZXnFu60F4uVTWlFcNCcTZod38teeN7hu3q7l17IVjDtEktHRfoJRKsQj4fFzgqCfgGDEbfyirnQEA2FCEMa2s/YqAby1qYjr/IX59G0YN32iQVVcNO86jfxEg0VEfcz9BEx2cXj2rAAL8QtPoohgGgy21MVPBkAkXTodoD1YnP2F5SCMRAsF+Lkj4KgCJNVNJCnlGjom/4C76/fs8iOL1Y1qXnHLSphxGK1FvqwLWCPpy417Ox714BrWjLBO4RzlXmK2r3T4sBXS+wZ/1x7M+5RHG2LXew/61nIYmn/j4w== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=5RUzPsq+LZM5dXFc1rROnq0UJN0yHXpwyisKL2ACpo8=; b=jIE/9+Uq2/Xw+nM2m/6PdxDJ6vKqwZaExeQycdfZnf15pAScOI0TExhpqcwqjKjkycOWEJXsevobRPxmaj4PaoqzY140ZPc6s441XEucidwMU4bDyaU9aL6NPf8bHgbaYzB1MyztxY7xpEaA3QmV1aMqtoayTJudfTC4Rnix0nxmid0ovJFngjfhSEbyooqwrz4yIbgmN8L6VNW/d44093sfSyBCOsOz/a+L/uNLhrey6Ae24qRUEeaBoaQHdPeizJol2M4AFGR4X6CwA5kxQKn3aBpWAfFeEIsEZ+Bn61VenAjUPI4SugaoZ1wUn+cxnatiVuEQhNtCqQec55FbRg== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=leeds.ac.uk; dmarc=pass action=none header.from=leeds.ac.uk; dkim=pass header.d=leeds.ac.uk; arc=none Received: from VI1PR03MB6334.eurprd03.prod.outlook.com (2603:10a6:800:138::20) by VI1PR03MB6448.eurprd03.prod.outlook.com (2603:10a6:800:17d::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4065.21; Thu, 22 Apr 2021 10:36:12 +0000 Received: from VI1PR03MB6334.eurprd03.prod.outlook.com ([fe80::499d:dfe2:554c:3920]) by VI1PR03MB6334.eurprd03.prod.outlook.com ([fe80::499d:dfe2:554c:3920%5]) with mapi id 15.20.4065.023; Thu, 22 Apr 2021 10:36:12 +0000 From: Nicola Gambino To: "homotopytypetheory@googlegroups.com" Subject: [HoTT] YaMCATS 24 - April 29th, 2021 Thread-Topic: YaMCATS 24 - April 29th, 2021 Thread-Index: AQHXN2NQfdJXSgR5x0Kdpq3tzEq8vA== Date: Thu, 22 Apr 2021 10:36:12 +0000 Message-ID: <1D982A50-EB3E-4D35-A5E3-1C0373ECB9B7@leeds.ac.uk> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-mailer: Apple Mail (2.3608.80.23.2.2) x-originating-ip: [95.151.149.130] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 40207fa6-54d8-4545-f191-08d9057a734e x-ms-traffictypediagnostic: VI1PR03MB6448: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:9508; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: umYsJTaE6agxhBrfx5hjME/g7WSLTf0blqFt7RGPBBqreTOCC5hqVIhafFxioP95SpLNPV8BnubYUUg5/iKFmv8H/VusOgBlQYo6F2pSMjLG9Hpdkq4enrVBNeCv5v4IttGPeXkhg2t+QquyscMpvleCzXzIMRZP8Zb/v5bi224sf7IVSMmfz/CLGF9lSDCT0IXOXMK9iGZGo0hgbRvix0/IP5SwIgr288e/XZQ131L+ox52HBkr+AV+XQt9xZ8g3z1bfrI6NYIaiuXzpxj8I/QspfkeI1ii66wlSzz4kACH/lYmabLNY1kpW/uvVT19Hf1s3GBFscDN4uEoBa3O1LxBGhqoxFxHYo4/T7gThY+2sF3uCIb16VEFbrPFUczNLf+64sDJ9EwJTG6sd02FW5gIER7eVSEg84+IUbWdBN5J6VtQ5IA2BC+3NygiGzPB0d22ZIVUCGO5BBvyc4xo4IcKZZuBsQU83+AP+IhIL+VSFU0NVHfJ5cBin8toBuITqkMJyQEA9c7U16/Bfq5tZCFIXtbpWKYJ0TdaHrEi3OQfGM1mgDnNwm3UMPc+aNHEUSHW1zC+IMQcq76jrX68t13WXDgWCu0tniCTx+Wedtv9aCMUKjsmFPhMG7aoNvZTrS1FfDOzdQt2VyCUg/DyWJtabyWhtB3UzDxgdYA+LjLATo3dbbOkC3IF3YVCy3GXZ5zunYD+0Cgbp0rqcFjcAW5E1x61qbpkjMZPiJuk9YGDepvoCp9kiNNESU1DhAGs x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:VI1PR03MB6334.eurprd03.prod.outlook.com;PTR:;CAT:NONE;SFS:(39860400002)(346002)(136003)(376002)(396003)(366004)(83380400001)(2906002)(6916009)(122000001)(6506007)(316002)(66574015)(38100700002)(786003)(8676002)(186003)(8936002)(26005)(36756003)(6512007)(2616005)(5660300002)(66476007)(66446008)(64756008)(66556008)(478600001)(966005)(6486002)(86362001)(33656002)(71200400001)(76116006)(66946007)(91956017)(45980500001);DIR:OUT;SFP:1101; x-ms-exchange-antispam-messagedata: =?utf-8?B?OFp4WTlVcWpUeTBtdUV0bFZnTG0rSUJIbEc3WUY4NHB4VktEWWY4UHpZZThL?= =?utf-8?B?RnFoS2o4aGx6dkRKSDlvU0s5djBmVmQxQzVmaCtLelpTUzlnZlo4NEVydUNt?= =?utf-8?B?M25LUzN6K1F0VXpReUU3blNONUI0ZTUwTzd5bU80dHFBMHZxSUV0Zm5VMGlQ?= =?utf-8?B?bzRHY2dFcGJRTXNKdThkZUV1eXpoV24rZDE5ZUtIRGtwVURHTmxXamx6UTN0?= =?utf-8?B?WTJQZDgwTFpxekxYZU4xMnhYeFhNNkVWODlCazZZclVWU01iNUtzUUE3RWRQ?= =?utf-8?B?RUIrMGR5SU94OVNMOTBsOU9pbEpQa2VGMTNHcUgzQndlenBIQjRBdm16N2J5?= =?utf-8?B?aWkxZlBKM0lDOGUzOUtDQmVqNEhpZHM2L3BwTkxvc3JjTUhKbzBaczc1dldp?= =?utf-8?B?TkZiV1hITjN4eVJ3WXNuSlZ5SjlDa3F6MTh2SUFrd1BEd00xU1AybWRyM1or?= =?utf-8?B?amN3Q2hWZ0NHeHNWY3Q3MERkSCsxYW1nUmI2cVdWYmplNTFuUDFwbWQvNVVn?= =?utf-8?B?cFhOVDh3b1VFcDBqaTVPU1RmdUdLbXUwYU5xSkRlMUpFQ01WZllKZjlnT0lS?= =?utf-8?B?SEo4VlV1dWQvWGMyWWtGdmZFREVoeVQrQWFOTEIxWit2eEFkTm9OUW1TcFF6?= =?utf-8?B?SUo2M0NiWEU3eGl5QStoc2xiMkxVWlU0ejNxUzhka29kRXoxeXd4Z3JCdFB5?= =?utf-8?B?MVBhSk53SXhHNkdObTd2TE5TVnFOVkcxSzhtaWFqWXNMQzVNOEpkbXFXeGJl?= =?utf-8?B?eHc2ZStzQXBlQ3pyQVYvTkpPR3dCbmJWZlUxQTFUMFNuc3lIdXF3bzM5Qzkr?= =?utf-8?B?NW95cFV2TW9TejF3TUNnZGJ1c3hUTEI5TlFrQjZpcTlxa20xZlJFSWJZYi9Y?= =?utf-8?B?MXc0NlZSMGhxYUlkMzVYMytsZHlPb2tUc2pyU2dKYnY2MksydXlHRHFkdlNk?= =?utf-8?B?N2VlT1J5RHVvODg1bzB5d1Bjd01ScXUyQTB6ZW5FUHYrT2VieExWU0hCaTRo?= =?utf-8?B?OTRtUnZkUnNkN0p2TFVVZGowWGxZbTRtYVdHbmtGQnVFdGtQV0gwMUhiZWpY?= =?utf-8?B?dER2UWZ2RTZFNHNNd20vdlpUWENzdGp0NGg5NnlUYlpjcEFtQnROYkx0YTRE?= =?utf-8?B?NkZuY2M3aHM0ZFpGUnBNR0JVTllOMjM0UkR6ZFliUXQzL0MySSt3UjJiSVoy?= =?utf-8?B?RnVXWjNqWWxQNW9rbnd0R211cCt4Zm5yTjBTcDRZeTc5UjAwclBUclFIWU1q?= =?utf-8?B?aTlVRzJIbytiZFhURVh0L00zb2tYZ09oQVZ0RTM3dUpIN0lUMUE1ZXJnZVBh?= =?utf-8?B?VVhJZkN3VjFyeE9xSDNBblVXOEF6YkNmVDRXVmtNaUlNUTVPUHk4WFFNVC80?= =?utf-8?B?WXNMcmxxRldhaENLSzU3V0plcGpkTm5RTzFrbTE4ZC9IdDRZMUZZWURkd0My?= =?utf-8?B?R0sxNk1iU3hEU0VJTU5Vd2gxbWdzRk5iT3NNS2VCUGcyMWlZMjU5a1AzOUhS?= =?utf-8?B?NDBiVUdrclI5TU4reXh0TVNYNVFUY2dqQ3hnd1BpMW5wOEdRaCt2V2lPNzN2?= =?utf-8?B?MG9LRitUT1A1b2RBOHNwaW5OWVl2NFVJV2hnUFgwVTJRQjN2ZGYwNHlHemFP?= =?utf-8?B?Q3dlOS8zTmZ1blZzZTd1bXpBNjZkU0NKQTNvQngxdnh0c1ZyNkNTaDJsZjBZ?= =?utf-8?B?b09UZFVIVjVIMENrMEIxVkJlbVZqc2hnYWR4TGxtVFFzU3hEeHBpU0lYYms5?= =?utf-8?B?OGEvblAyTGFqOU9xNkN1SlY3cjZNb2lSZFdwSjQ5bWhrQTFGNERvWCtIOXRY?= =?utf-8?B?RllzV0lDaElUWDlEb3VPQT09?= x-ms-exchange-transport-forked: True Content-Type: text/plain; charset="UTF-8" Content-ID: <8D6B80D8E5B5314A8C839D81E3247C56@eurprd03.prod.outlook.com> Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-OriginatorOrg: leeds.ac.uk X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: VI1PR03MB6334.eurprd03.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: 40207fa6-54d8-4545-f191-08d9057a734e X-MS-Exchange-CrossTenant-originalarrivaltime: 22 Apr 2021 10:36:12.6994 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: bdeaeda8-c81d-45ce-863e-5232a535b7cb X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: R6bsx1ZlJAa6csv00wehdAabVOgb2lzSVUzi3Kroe84qrMoz4e2AxKngX5rBV5Wo9y+Rs+XJbXTntsOZEBEd9A== X-MS-Exchange-Transport-CrossTenantHeadersStamped: VI1PR03MB6448 X-Original-Sender: n.gambino@leeds.ac.uk X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@leeds365.onmicrosoft.com header.s=selector2-leeds365-onmicrosoft-com header.b=bCyHdS5Q; arc=pass (i=1 spf=pass spfdomain=leeds.ac.uk dkim=pass dkdomain=leeds.ac.uk dmarc=pass fromdomain=leeds.ac.uk); spf=pass (google.com: domain of n.gambino@leeds.ac.uk designates 40.107.4.59 as permitted sender) smtp.mailfrom=N.Gambino@leeds.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=leeds.ac.uk Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , *** Yorkshire and Midlands Category Theory Seminar *** Thursday 29th April, 2:00-5:30pm (UK time) *** via Zoom Dear all, I am pleased to announce the 24th meeting of the Yorkshire and Midlands Cat= egory Theory Seminar, to be held online on Thursday 29th April, 2:00-5:30pm= (UK time).=20 The program will be as follows: 2:00-3:00 Karol Szumilo (Leeds), Infty-groupoids in lextensive categories 3:00-4:00 Anna Laura Suarez (Universite=E2=80=99 Cote, d=E2=80=99Azur), The= category of finitary biframes as the category of pointfree bispaces 4:00-5:00 Ivan Di Liberti (Czech Academy of Sciences), Formal model theory = and Higher Topology.=20 5:00-5:30 Tea/coffee Please see below for abstracts. The Zoom link is=20 Join Zoom Meeting: https://universityofleeds.zoom.us/j/88049499094?pwd=3DUE= VyTEdDWnZyV2NNMGNwaTBaaDlSZz09 Meeting ID: 880 4949 9094 Passcode: Z*9qfq Please do not post the Zoom link on websites.=20 With best regards, Nicola =3D=3D Karol Szumilo (Leeds), Infty-groupoids in lextensive categories Abstract: I will discuss a construction of a new model structure on simplicial objects in a countably lextensive category (i.e., a category with well behaved finite limits and countable coproducts). This builds on previous work on a constructive model structure on simplicial sets, originally motivated by modelling Homotopy Type Theory, but now applicable in a much wider context. This is joint work with Nicola Gambino, Simon Henry and Christian Sattler. =3D=3D Anna Laura Suarez (Universite=E2=80=99 Cote, d=E2=80=99Azur), The category = of finitary biframes as the category of pointfree bispaces Bitopological spaces have found numerous applications: they appear naturall= y when dealing with uniform spaces (already introduced by Weil in [1]), as = well as providing a particularly elegant view of Priestley duality (see [4]= , but also [3]). We explore the theory of finitary biframes, introduced in = [5], as a category of pointfree bitopological spaces. In particular, we com= pare it to the existing theory of biframes ([2]) and the more recent one of= d-frames ([4]). We illustrate some of the advantages that finitary biframe= s present when compared to both biframes and d-frames. One of the main stre= ngths of the theory of finitary biframes is that for every finitary biframe= L one may construct a finitary biframe A(L) whose main component is order-= isomorphic to the collection of all quotients of L. [1] Andre', W. Sur les espaces a structure uniforme et sur la topologie gen= erale / par Andre' Weil. Actualites scientifiques et industrielles. Hermann= et cie, Paris, 1937. [2] Banaschewski, B., Brummer, G. C., and Hardie, K. A. Biframes and bispac= es. Quaestiones Mathematicae 6, 1-3 (1983), 13=E2=80=9325. [3] Bezhanishvili, G., Bezhanishvili, N., Gabelaia, D., and Kurz, A. Bitopo= logical duality for distributive lattices and Heyting algebras. Mathematica= l Structures in Computer Science 20, 3 (2010), 359=E2=80=93393. [4] Jung, A., and Moshier, M. A. On the bitopological nature of Stone duali= ty. Tech. Rep. CSR-06-13, University of Birmingham, 2006. 110 pages. =3D=3D Ivan Di Liberti (Czech Academy of Sciences), Formal model theory and Higher= Topology.=20 Abstract. Motivated by the abstract study of semantics, we study the intera= ction between topoi, accessible categories with directed colimits and ionad= s. This theory amounts to a categorification of famous construction from ge= neral topology: the Scott topology on a poset and the adjunction between lo= cales and topological spaces. This technology is then used in order to esta= blish syntax-semantics dualities. Among the significant contributions, we p= rovide a logical understanding of ionads that encompasses Makkai ultracateg= ories.=20 References. PhD thesis, arXiv:2009.07320. General facts on the Scott Adjunction, ArXiv:2009.14023. Towards Higher Topology, ArXiv:2009.14145. Formal Model Theory & Higher Topology, ArXiv:2010.00319. =3D=3D Dr Nicola Gambino Associate Professor in Pure Mathematics and Director of Research and Innova= tion School of Mathematics, University of Leeds Dr Nicola Gambino Associate Professor in Pure Mathematics and Director of Research and Innova= tion School of Mathematics, University of Leeds --=20 You received this message because you are subscribed to the Google Groups "= Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/1D982A50-EB3E-4D35-A5E3-1C0373ECB9B7%40leeds.ac.uk.