From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.28.144.196 with SMTP id s187mr1934655wmd.29.1507710962845; Wed, 11 Oct 2017 01:36:02 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.28.145.14 with SMTP id t14ls185145wmd.4.canary-gmail; Wed, 11 Oct 2017 01:36:02 -0700 (PDT) X-Received: by 10.223.163.215 with SMTP id m23mr1347399wrb.25.1507710961916; Wed, 11 Oct 2017 01:36:01 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1507710961; cv=none; d=google.com; s=arc-20160816; b=BQxc31sEXQc9Qd4ZnCr7kTRZfTSQ0laE03CY7UK8IsnFo+dGqLb9l7YEiVqsJGfyV7 DB+wd/kHEgg/7IcyJXc0Ocd8GKgakht3MJx9vjSwWHC2b0x9kXoC45T8aatRhXQrB36L LPLuVHL9urff3RgQsdJEJf+5qp/lBJWHWdVQ7GDs8U6FU7J36Zbv0cloArMAByLP4g0m VDlup6uUSAVnjr1RR6tb/QC4KszN1/kQ6iWu+dLs9P1H+4nlNPGcYxqU9zBIccGdtjqc BQx+pvRUlkkZwi0dZwyillvC0/M9ma0cJvr0o+S1uc3cwj5fmAF7BPhX0U+la/fL8HN5 DxEg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-transfer-encoding:content-id :spamdiagnosticmetadata:spamdiagnosticoutput:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:dkim-signature:arc-authentication-results; bh=AqLJbltqIlpCwOAX4WuZaX6rkZMaH/oiY4eKdIcpqac=; b=fMgMvOscn7jeSSe2O0s2XqKotRKl0/yKM/WbmrRTSWUb+gkMMV5ChFbIHb5JWxdWH+ aofkqQPZ/e5HRPJc5d4FO0vfnq8w9uElrbT2L2vh0BN/XygHYIkUSd+LNRn/wrSQd7+O FTUacTE+K43ioH1QmU40VOePl5+0DnCIvlUnqoBKe59pV0Lwr62wf3fqPObHzY/4RDT+ HKdHXdYz4W7EjxbFGl/SUP1YTgh5lnsSPTGezBpkBGcZaCclIUj0kriRM2w16Ot7Ncq4 ehram5dSkDdBxV86aqYrTmg9jycmNdB/5SPvTa8Sj3g357IesI/T9qNrrJ+C9ruh1gal 3DYQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@leeds365.onmicrosoft.com header.s=selector1-leeds-ac-uk header.b=sh9gJrHW; spf=pass (google.com: domain of n.ga...@leeds.ac.uk designates 129.11.76.154 as permitted sender) smtp.mailfrom=N.Ga...@leeds.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=leeds.ac.uk Return-Path: Received: from mhost02c.leeds.ac.uk (mhost02c.leeds.ac.uk. [129.11.76.154]) by gmr-mx.google.com with ESMTPS id m74si1260183wma.0.2017.10.11.01.36.01 for (version=TLS1_2 cipher=AES128-GCM-SHA256 bits=128/128); Wed, 11 Oct 2017 01:36:01 -0700 (PDT) Received-SPF: pass (google.com: domain of n.ga...@leeds.ac.uk designates 129.11.76.154 as permitted sender) client-ip=129.11.76.154; Authentication-Results: gmr-mx.google.com; dkim=pass head...@leeds365.onmicrosoft.com header.s=selector1-leeds-ac-uk header.b=sh9gJrHW; spf=pass (google.com: domain of n.ga...@leeds.ac.uk designates 129.11.76.154 as permitted sender) smtp.mailfrom=N.Ga...@leeds.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=leeds.ac.uk Received: from APOLLO1.ds.leeds.ac.uk (apollo1.leeds.ac.uk [129.11.5.4]) by mhost02c.leeds.ac.uk (8.14.4/8.14.4) with ESMTP id v9B8a0JG002702 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NOT) for ; Wed, 11 Oct 2017 09:36:00 +0100 Received: from APOLLO8.ds.leeds.ac.uk (129.11.6.119) by APOLLO1.ds.leeds.ac.uk (129.11.5.4) with Microsoft SMTP Server (TLS) id 8.3.245.1; Wed, 11 Oct 2017 09:36:00 +0100 Received: from EUR01-VE1-obe.outbound.protection.outlook.com (213.199.154.243) by outlook.leeds.ac.uk (129.11.6.119) with Microsoft SMTP Server (TLS) id 14.3.195.1; Wed, 11 Oct 2017 09:36:00 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=leeds365.onmicrosoft.com; s=selector1-leeds-ac-uk; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version; bh=AqLJbltqIlpCwOAX4WuZaX6rkZMaH/oiY4eKdIcpqac=; b=sh9gJrHWQ9tlsSBCEWx6y9d0bL+PnypO2gkzbAOYiCU+/Ufe+57ketnWmQCC8UBUIUMRXo3WLdyfHsyW0eb6ldJe8GYBBuKy2DucDvUNXAKw2AekL/ypduPioNPy9p0kiBuQfleE0EPLwIhyteyZ0AMb0vqto8JZ4dUXklR1WKo= Received: from DB5PR0301MB1959.eurprd03.prod.outlook.com (10.167.227.19) by DB5SPR8PMB104.eurprd03.prod.outlook.com (10.166.170.143) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P256) id 15.20.77.7; Wed, 11 Oct 2017 08:35:58 +0000 Received: from DB5PR0301MB1959.eurprd03.prod.outlook.com ([fe80::f087:2a21:c0bf:1409]) by DB5PR0301MB1959.eurprd03.prod.outlook.com ([fe80::f087:2a21:c0bf:1409%14]) with mapi id 15.20.0077.019; Wed, 11 Oct 2017 08:35:58 +0000 From: Nicola Gambino To: Theory Homotopy Type Subject: Research Fellowship at Leeds Thread-Topic: Research Fellowship at Leeds Thread-Index: AQHTQmv2gT8s1p8zYEuJYAgdJMVNdw== Date: Wed, 11 Oct 2017 08:35:58 +0000 Message-ID: <79801035-3B8A-47C1-A915-87038DE80A7A@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.3273) authentication-results: spf=none (sender IP is ) smtp.mailfrom=N.Ga...@leeds.ac.uk; x-originating-ip: [95.150.150.57] x-ms-publictraffictype: Email x-microsoft-exchange-diagnostics: 1;DB5SPR8PMB104;6:4CFJx3qrc0kv8TdxJUmmLVoN5StOF+JJckgNOii21PS8cUP3MlLqhY84D2T8URk+QVcDrP24HYWurrW9/e9mcJ9AVh8BIK2ixWq3PYkjChzHa5qgWRr6WZRd0WIJj+IRHxLl65cyibXLA+wwCCArat2gbMUukpYB01SEjGynnkqHLTLusmyvFoxuf1Hk9pbZZw6Vq33F8jID8S9ISTEWe5LH7+cvdwcaKtTDY6WCulmL9R0W9SmZ0OYSfHw0c5mvbhPiFtSItRjU4L0oayaiuTqT8OdV2HNtSAptsmOicCLyl9GJivrHKh7nzZ4SymmyHkIbtayCGTQGlIN9GOuZyw==;5:7nN0Vo3shZ9GifgDd4hvQsGSCj8N42AZljkfu3XhDVveCIjQeVf/d9yvTDQTpfUJvxCKc1CZ1H7C8M6dkPzOgR3CBQODZHRvtGF8Yxw9XS7XY0KaRIOOmSGeTiamkMLHrKPHNXyZ9TO8s49FHjKVJg==;24:jjmIzg2jrTO+sz9A7X3OJU6FRaUiYAA804+XpLeoWlG1/bo0B591G8cOU26AdaSVrmwG84AbiQa0oCeQgmFNPYHlx735xjJwP0XUdFcvajA=;7:AGk4udf9zCgNl5tgWMXest07hOwGGq40GVFvIwqYJgagRB+60QF/Myhx6e2U/Y0he/QEPJwWuOgT+19RI8bcunT02VX3GgI41F78BiEF7REFolc3Ag4Bi4aiurp0yZTk1GFgnlITFWdJNWTCjkSMs10CXDtJOTSAIVQdDqtQbLTpeaPZgYIRQECSy+Bf1Mqc2r+1md67vdUX9nuXG80gGdu9DG7FFXjawIf5Tn552Rk= x-ms-exchange-antispam-srfa-diagnostics: SSOS; x-ms-office365-filtering-correlation-id: 517a4d48-fa32-4c9d-34a2-08d510831905 x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:(22001)(2017030254152)(2017052603199)(201703131423075)(201703031133081)(201702281549075);SRVR:DB5SPR8PMB104; x-ms-traffictypediagnostic: DB5SPR8PMB104: x-exchange-antispam-report-test: UriScan:(278428928389397); x-microsoft-antispam-prvs: x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(100000700101)(100105000095)(100000701101)(100105300095)(100000702101)(100105100095)(6040450)(2401047)(8121501046)(5005006)(3002001)(93006095)(93001095)(100000703101)(100105400095)(10201501046)(6041248)(20161123562025)(201703131423075)(201702281529075)(201702281528075)(201703061421075)(201703061406153)(20161123558100)(20161123555025)(20161123560025)(20161123564025)(6072148)(201708071742011)(100000704101)(100105200095)(100000705101)(100105500095);SRVR:DB5SPR8PMB104;BCL:0;PCL:0;RULEID:(100000800101)(100110000095)(100000801101)(100110300095)(100000802101)(100110100095)(100000803101)(100110400095)(100000804101)(100110200095)(100000805101)(100110500095);SRVR:DB5SPR8PMB104; x-forefront-prvs: 0457F11EAF x-forefront-antispam-report: SFV:NSPM;SFS:(10009020)(6009001)(346002)(376002)(189002)(199003)(68736007)(81156014)(5660300001)(102836003)(2906002)(3660700001)(6116002)(2900100001)(50986999)(3280700002)(81166006)(53936002)(966005)(97736004)(6436002)(3846002)(99286003)(478600001)(6486002)(7736002)(33656002)(86362001)(82746002)(413944005)(305945005)(3480700004)(101416001)(72206003)(74482002)(42882006)(106356001)(105586002)(6916009)(6506006)(8936002)(50226002)(786003)(25786009)(83716003)(4743002)(316002)(5250100002)(36756003)(6512007)(66066001)(57306001)(6306002)(189998001)(8676002)(14454004);DIR:OUT;SFP:1101;SCL:1;SRVR:DB5SPR8PMB104;H:DB5PR0301MB1959.eurprd03.prod.outlook.com;FPR:;SPF:None;PTR:InfoNoRecords;MX:1;A:1;LANG:en; received-spf: None (protection.outlook.com: leeds.ac.uk does not designate permitted sender hosts) spamdiagnosticoutput: 1:99 spamdiagnosticmetadata: NSPM Content-Type: text/plain; charset="utf-8" Content-ID: <18CD9D6AA266214D...@eurprd03.prod.outlook.com> Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-MS-Exchange-CrossTenant-originalarrivaltime: 11 Oct 2017 08:35:58.7918 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: bdeaeda8-c81d-45ce-863e-5232a535b7cb X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB5SPR8PMB104 X-OriginatorOrg: leeds.ac.uk X-UOL-RateLimit: userRateLimit[a:n.g...@leeds.ac.uk,c:0.08010754317724483,l:500.0] RGVhciBhbGwsDQoNClRoZSBVbml2ZXJzaXR5IG9mIExlZWRzIGlzIGFkdmVydGlzaW5nIGEgUmVz ZWFyY2ggRmVsbG93c2hpcCB0byB3b3JrIHdpdGggbWUgb24gdGhlIHByb2plY3Qg4oCcVW5pdmFs ZW50IHR5cGUgdGhlb3JpZXM6IG1vZGVscywgZXF1YWxpdGllcywgYW5kIGNvaGVyZW5jZeKAnS4g DQoNClRoZSBkZWFkbGluZSBmb3IgYXBwbGljYXRpb25zIGlzIFR1ZXNkYXkgN3RoIE5vdmVtYmVy Lg0KDQpGb3IgZnVydGhlciBpbmZvcm1hdGlvbiBvbiB0aGUgcG9zaXRpb24gYW5kIGluc3RydWN0 aW9ucyBvbiBob3cgdG8gYXBwbHksIHBsZWFzZSBzZWUgDQoNCglodHRwczovL2pvYnMubGVlZHMu YWMudWsvVmFjYW5jeS5hc3B4P3JlZj1NQVBNQTEwNjYNCg0KUGxlYXNlIGRvIG5vdCBoZXNpdGF0 ZSB0byBjb250YWN0IG1lIGlmIHlvdSBoYXZlIGFueSBxdWVyaWVzLiANCg0KV2l0aCBiZXN0IHdp c2hlcywNCk5pY29sYSANCg0KPT0NCkRyIE5pY29sYSBHYW1iaW5vDQpTY2hvb2wgb2YgTWF0aGVt YXRpY3MsIFVuaXZlcnNpdHkgb2YgTGVlZHMNCldlYjogaHR0cDovL3d3dzEubWF0aHMubGVlZHMu YWMudWsvfnBtdG5nLw0KDQog