From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.237.60.35 with SMTP id t32mr10328315qte.27.1477926925204; Mon, 31 Oct 2016 08:15:25 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.36.98.197 with SMTP id d188ls1659731itc.5.canary-gmail; Mon, 31 Oct 2016 08:15:23 -0700 (PDT) X-Received: by 10.107.134.193 with SMTP id q62mr4251446ioi.18.1477926923873; Mon, 31 Oct 2016 08:15:23 -0700 (PDT) Return-Path: Received: from data.hamecon.telecom.uqam.ca (mail2.uqam.ca. [132.208.246.165]) by gmr-mx.google.com with ESMTP id i84si1908766ywg.0.2016.10.31.08.15.23 for ; Mon, 31 Oct 2016 08:15:23 -0700 (PDT) Received-SPF: pass (google.com: domain of joyal...@uqam.ca designates 132.208.246.165 as permitted sender) client-ip=132.208.246.165; Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of joyal...@uqam.ca designates 132.208.246.165 as permitted sender) smtp.mailfrom=JOYAL...@uqam.ca Authentication-Results: data2.hamecon.telecom.uqam.ca; spf=None smtp.mailfrom=joyal...@uqam.ca; spf=None smtp.helo=postm...@Message.gst.uqam.ca Received-SPF: None (data2.hamecon.telecom.uqam.ca: no sender authenticity information available from domain of joyal...@uqam.ca) identity=mailfrom; client-ip=132.208.246.209; receiver=data2.hamecon.telecom.uqam.ca; envelope-from="joyal...@uqam.ca"; x-sender="joyal...@uqam.ca"; x-conformance=spf_only Received-SPF: None (data2.hamecon.telecom.uqam.ca: no sender authenticity information available from domain of postm...@Message.gst.uqam.ca) identity=helo; client-ip=132.208.246.209; receiver=data2.hamecon.telecom.uqam.ca; envelope-from="joyal...@uqam.ca"; x-sender="postm...@Message.gst.uqam.ca"; x-conformance=spf_only X-Cloudmark-SP-Filtered: true X-Cloudmark-SP-Result: =?us-ascii?q?v=3D2=2E1_cv=3DWODfJiYR_c=3D1_sm=3D2_tr?= =?us-ascii?q?=3D0_a=3DzdVg5ADNf/sAC0uRWyjItQ=3D=3D=3A17?= =?us-ascii?q?_a=3DSgJDDHH=5FwjgA=3A10_a=3DCH0kA5CcgfcA=3A10_a=3D4RBUngkUAAA?= =?us-ascii?q?A=3A8_a=3DpGLkceISAAAA=3A8?= =?us-ascii?q?_a=3D1XWaLZrsAAAA=3A8_a=3D=5FfNFAngmtlpt-pjZhRMA=3A9_a=3DZEZe8?= =?us-ascii?q?DGaoyBoikz=5F=3A21?= =?us-ascii?q?_a=3DvyqTqtv8nhXeXlbJ=3A21_a=3DQEXdDO2ut3YA=3A10_a=3Dc4S9Whzb7?= =?us-ascii?q?AQA=3A10?= =?us-ascii?q?_a=3DFflA8fuuItXl25MUKigA=3A9_a=3D9ivlyXciY6=5FgU9zQ=3A21_a=3D?= =?us-ascii?q?JuvwgBCTHyOChpIt=3A21?= =?us-ascii?q?_a=3DxsWGdsXPRVfQdZjz=3A21_a=3D=5FW=5FS=5F7VecoQA=3A10_a=3Dfrz?= =?us-ascii?q?4AuCg-hUA=3A10?= =?us-ascii?q?_a=3D=5FsbA2Q-Kp09kWB8D3iXc=3A22_a=3D6kGIvZw6iX1k4Y-7sg4=5F=3A?= =?us-ascii?q?22_a=3DnJcEw6yWrPvoIXZ49MH8=3A22?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A2BCBQBZXxdY/9H20IRcHQEFAQsBgnM3A?= =?us-ascii?q?QEBAQEfWH0HAYM3oHWDEIROjmcdAQaFfwIagW9DEAECAQEBAQEBAWIohGIBAQE?= =?us-ascii?q?EIys7AgEGAgQJBAQBAQsdAwICAh8QARQJCAIEAQcHBAEHFQSIGQMXDpMMnTaIa?= =?us-ascii?q?w2DaQEBAQEBAQEBAQEBAQEBAQEBAQEBARcFixKCR4FSEQEeBg8fgk4tgi8FmWM?= =?us-ascii?q?1hjCGUQGNN4V7iHWEHIQCNR8thUVyB4VZgSABgQgBAQE?= X-IPAS-Result: =?us-ascii?q?A2BCBQBZXxdY/9H20IRcHQEFAQsBgnM3AQEBAQEfWH0HAYM?= =?us-ascii?q?3oHWDEIROjmcdAQaFfwIagW9DEAECAQEBAQEBAWIohGIBAQEEIys7AgEGAgQJB?= =?us-ascii?q?AQBAQsdAwICAh8QARQJCAIEAQcHBAEHFQSIGQMXDpMMnTaIaw2DaQEBAQEBAQE?= =?us-ascii?q?BAQEBAQEBAQEBAQEBARcFixKCR4FSEQEeBg8fgk4tgi8FmWM1hjCGUQGNN4V7i?= =?us-ascii?q?HWEHIQCNR8thUVyB4VZgSABgQgBAQE?= X-IronPort-AV: E=Sophos;i="5.31,575,1473134400"; d="scan'208,217";a="165828989" Received: from unknown (HELO Message.gst.uqam.ca) ([132.208.246.209]) by data2.hamecon.telecom.uqam.ca with ESMTP/TLS/AES256-SHA; 31 Oct 2016 11:15:22 -0400 Received: from PLI.gst.uqam.ca ([169.254.3.160]) by Message.gst.uqam.ca ([169.254.1.157]) with mapi id 14.02.0387.000; Mon, 31 Oct 2016 11:15:22 -0400 From: =?utf-8?B?Sm95YWwsIEFuZHLDqQ==?= To: =?utf-8?B?0JLQsNC70LXRgNC40Lkg0JjRgdCw0LXQsg==?= , Homotopy Type Theory Subject: RE: [HoTT] Connected 1-Types Thread-Topic: [HoTT] Connected 1-Types Thread-Index: AQHSM4T0qtwzCTDBrkGK5YGJb/CeVaDCpnWu Date: Mon, 31 Oct 2016 15:15:21 +0000 Message-ID: <8C57894C7413F04A98DDF5629FEC90B138BD41C8@Pli.gst.uqam.ca> References: In-Reply-To: Accept-Language: en-US, en-CA Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [132.208.216.81] Content-Type: multipart/alternative; boundary="_000_8C57894C7413F04A98DDF5629FEC90B138BD41C8Pligstuqamca_" MIME-Version: 1.0 --_000_8C57894C7413F04A98DDF5629FEC90B138BD41C8Pligstuqamca_ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 RGVhciBWYWxlcnksDQoNCkp1c3QgYSByZW1hcms6DQpUaGUgcHJlc2VuY2UgKG9yIHRoZSBhYnNl bmNlKSBvZiBhIGJhc2UgcG9pbnQgaXMgYWZmZWN0aW5nIHRoZSBncm91cCBvZiBzZWxmLWVxdWl2 YWxlbmNlcyBvZiBhIHR5cGUuDQpUaGUgZ3JvdXAgb2Ygc2VsZi1lcXVpdmFsZW5jZXMgb2YgYSBw b2ludGVkIGNvbm5lY3RlZCAxLXR5cGUgKFgscHQpPUJHDQppcyB0aGUgZ3JvdXAgb2YgYXV0b21v cnBoaXNtcyBvZiBHLiBUaGUgZ3JvdXAgb2Ygc2VsZi1lcXVpdmFsZW5jZXMgb2YgdGhlIHVuYmFz ZWQgc3BhY2UNClg9QkcgaXMgdGhlIDItZ3JvdXAgb2YgYXV0b21vcnBoaXNtcyBvZiB0aGUgZ3Jv dXBvaWQgRy4NCg0KQmVzdCwNCkFuZHLDqQ0KDQpfX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fXw0KRnJvbTogaG9tb3RvcHl0Li4uQGdvb2dsZWdyb3Vwcy5jb20gW2hvbW90b3B5dC4uLkBn b29nbGVncm91cHMuY29tXSBvbiBiZWhhbGYgb2Yg0JLQsNC70LXRgNC40Lkg0JjRgdCw0LXQsiBb dmFsZXJ5Li4uQGdtYWlsLmNvbV0NClNlbnQ6IE1vbmRheSwgT2N0b2JlciAzMSwgMjAxNiAxMDo0 MiBBTQ0KVG86IEhvbW90b3B5IFR5cGUgVGhlb3J5DQpTdWJqZWN0OiBbSG9UVF0gQ29ubmVjdGVk IDEtVHlwZXMNCg0KSGVsbG8sIGV2ZXJ5Ym9keSwNCg0KVGhlIGZvbGxvd2luZyBxdWVzdGlvbnMg aGF2ZSBib3RoZXJlZCBtZSBmb3Igc29tZSB0aW1lIG5vdy4NCkxldCdzIGNvbnNpZGVyIHRoZSB0 eXBlIG9mIHBvaW50ZWQgY29ubmVjdGVkIDEtdHlwZXMsIHRoYXQgaXMgUEMxVCA9IM6jIChBIDog MS1UeXBlKSAoYeKCgCA6IEEpIChpc0Nvbm5lY3RlZCBBKSwgd2hlcmUgaXNDb25uZWN0ZWQgQSA9 IChhIGEnIDogQSkg4oaSIOKIpSBhIOKJoSBhJyDiiKUuDQpUaGlzIHR5cGUgaXMgZXF1aXZhbGVu dCB0byB0aGUgdHlwZSBvZiBncm91cHMgKHRoaXMgY29uc3RydWN0aW9uIHVzZXMgSElUcykuIFRo aXMgaW1wbGllcyB0aGF0IGl0IGlzIGEgMS10eXBlLg0KSXMgdGhlcmUgYSB3YXkgdG8gcHJvdmUg ZGlyZWN0bHkgKHdpdGhvdXQgSElUcykgdGhhdCBQQzFUIGlzIGEgMS10eXBlPw0KQWxzbywgaXMg aXQgdHJ1ZSBmb3IgdGhlIHR5cGUgb2YgY29ubmVjdGVkIDEtdHlwZXMgKEMxVCA9IEMxVCA9IM6j IChBIDogMS1UeXBlKSAoaXNDb25uZWN0ZWQgQSkpIG9yIG1lcmVseSBpbmhhYml0ZWQgY29ubmVj dGVkIDEtdHlwZXMgKElDMVQgPSDOoyAoQSA6IDEtVHlwZSApICjiiKUgQSDiiKUgw5cgaXNDb25u ZWN0ZWQgQSkpPw0KQXJlIHRoZXJlIGFuYWxvZ291cyB0aGVvcmVtcyBmb3Igbi10eXBlcyB3aXRo IG4gPiAxPw0KDQpSZWdhcmRzLA0KVmFsZXJ5IElzYWV2DQoNCg0KLS0NCllvdSByZWNlaXZlZCB0 aGlzIG1lc3NhZ2UgYmVjYXVzZSB5b3UgYXJlIHN1YnNjcmliZWQgdG8gdGhlIEdvb2dsZSBHcm91 cHMgIkhvbW90b3B5IFR5cGUgVGhlb3J5IiBncm91cC4NClRvIHVuc3Vic2NyaWJlIGZyb20gdGhp cyBncm91cCBhbmQgc3RvcCByZWNlaXZpbmcgZW1haWxzIGZyb20gaXQsIHNlbmQgYW4gZW1haWwg dG8gSG9tb3RvcHlUeXBlVGhlLi4uQGdvb2dsZWdyb3Vwcy5jb208bWFpbHRvOkhvbW90b3B5VHlw ZVRoZS4uLkBnb29nbGVncm91cHMuY29tPi4NCkZvciBtb3JlIG9wdGlvbnMsIHZpc2l0IGh0dHBz Oi8vZ3JvdXBzLmdvb2dsZS5jb20vZC9vcHRvdXQuDQo= --_000_8C57894C7413F04A98DDF5629FEC90B138BD41C8Pligstuqamca_ Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: base64 PGh0bWwgZGlyPSJsdHIiPg0KPGhlYWQ+DQo8bWV0YSBodHRwLWVxdWl2PSJDb250ZW50LVR5cGUi IGNvbnRlbnQ9InRleHQvaHRtbDsgY2hhcnNldD11dGYtOCI+DQo8c3R5bGUgaWQ9Im93YVBhcmFT dHlsZSIgdHlwZT0idGV4dC9jc3MiPlAge21hcmdpbi10b3A6MDttYXJnaW4tYm90dG9tOjA7fTwv c3R5bGU+DQo8L2hlYWQ+DQo8Ym9keSBvY3NpPSIwIiBmcHN0eWxlPSIxIj4NCjxkaXYgc3R5bGU9 ImRpcmVjdGlvbjogbHRyO2ZvbnQtZmFtaWx5OiBUYWhvbWE7Y29sb3I6ICMwMDAwMDA7Zm9udC1z aXplOiAxMHB0OyI+RGVhciBWYWxlcnksPGJyPg0KPGJyPg0KSnVzdCBhIHJlbWFyazogPGJyPg0K VGhlIHByZXNlbmNlIChvciB0aGUgYWJzZW5jZSkgb2YgYSBiYXNlIHBvaW50IGlzIGFmZmVjdGlu ZyB0aGUgZ3JvdXAgb2Ygc2VsZi1lcXVpdmFsZW5jZXMgb2YgYSB0eXBlLjxicj4NClRoZSBncm91 cCBvZiBzZWxmLWVxdWl2YWxlbmNlcyBvZiBhIHBvaW50ZWQgY29ubmVjdGVkIDEtdHlwZSAoWCxw dCk9Qkc8YnI+DQppcyB0aGUgZ3JvdXAgb2YgYXV0b21vcnBoaXNtcyBvZiBHLiBUaGUgZ3JvdXAg b2Ygc2VsZi1lcXVpdmFsZW5jZXMgb2YgdGhlIHVuYmFzZWQgc3BhY2U8YnI+DQpYPUJHIGlzIHRo ZSAyLWdyb3VwIG9mIGF1dG9tb3JwaGlzbXMgb2YgdGhlIGdyb3Vwb2lkIEcuPGJyPg0KPGJyPg0K QmVzdCw8YnI+DQpBbmRyw6k8YnI+DQo8YnI+DQo8ZGl2IHN0eWxlPSJmb250LWZhbWlseTogVGlt ZXMgTmV3IFJvbWFuOyBjb2xvcjogIzAwMDAwMDsgZm9udC1zaXplOiAxNnB4Ij4NCjxociB0YWJp bmRleD0iLTEiPg0KPGRpdiBzdHlsZT0iZGlyZWN0aW9uOiBsdHI7IiBpZD0iZGl2UnBGNTMzODc4 Ij48Zm9udCBjb2xvcj0iIzAwMDAwMCIgc2l6ZT0iMiIgZmFjZT0iVGFob21hIj48Yj5Gcm9tOjwv Yj4gaG9tb3RvcHl0Li4uQGdvb2dsZWdyb3Vwcy5jb20gW2hvbW90b3B5dC4uLkBnb29nbGVncm91 cHMuY29tXSBvbiBiZWhhbGYgb2Yg0JLQsNC70LXRgNC40Lkg0JjRgdCw0LXQsiBbdmFsZXJ5Li4u QGdtYWlsLmNvbV08YnI+DQo8Yj5TZW50OjwvYj4gTW9uZGF5LCBPY3RvYmVyIDMxLCAyMDE2IDEw OjQyIEFNPGJyPg0KPGI+VG86PC9iPiBIb21vdG9weSBUeXBlIFRoZW9yeTxicj4NCjxiPlN1Ympl Y3Q6PC9iPiBbSG9UVF0gQ29ubmVjdGVkIDEtVHlwZXM8YnI+DQo8L2ZvbnQ+PGJyPg0KPC9kaXY+ DQo8ZGl2PjwvZGl2Pg0KPGRpdj4NCjxkaXYgZGlyPSJsdHIiPkhlbGxvLCBldmVyeWJvZHksPGJy Pg0KPGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+VGhlIGZvbGxvd2luZyBxdWVzdGlvbnMgaGF2ZSBi b3RoZXJlZCBtZSBmb3Igc29tZSB0aW1lIG5vdy48L2Rpdj4NCjxkaXY+TGV0J3MgY29uc2lkZXIg dGhlIHR5cGUgb2YmbmJzcDtwb2ludGVkJm5ic3A7Y29ubmVjdGVkIDEtdHlwZXMsIHRoYXQgaXMg UEMxVCA9IM6jIChBIDogMS1UeXBlKSAoYeKCgCA6IEEpIChpc0Nvbm5lY3RlZCBBKSwgd2hlcmUg aXNDb25uZWN0ZWQgQSA9IChhIGEnIDogQSkg4oaSIOKIpSBhIOKJoSBhJyDiiKUuPC9kaXY+DQo8 ZGl2PlRoaXMgdHlwZSBpcyBlcXVpdmFsZW50IHRvIHRoZSB0eXBlIG9mIGdyb3VwcyAodGhpcyBj b25zdHJ1Y3Rpb24gdXNlcyBISVRzKS4gVGhpcyBpbXBsaWVzIHRoYXQgaXQgaXMgYSAxLXR5cGUu PC9kaXY+DQo8ZGl2PklzIHRoZXJlIGEgd2F5IHRvIHByb3ZlIGRpcmVjdGx5Jm5ic3A7KHdpdGhv dXQgSElUcykmbmJzcDt0aGF0IFBDMVQgaXMgYSAxLXR5cGU/PC9kaXY+DQo8ZGl2PkFsc28sIGlz IGl0IHRydWUgZm9yIHRoZSB0eXBlIG9mIGNvbm5lY3RlZCAxLXR5cGVzIChDMVQgPSBDMVQgPSDO oyAoQSA6IDEtVHlwZSkgKGlzQ29ubmVjdGVkIEEpKSBvciBtZXJlbHkgaW5oYWJpdGVkIGNvbm5l Y3RlZCAxLXR5cGVzIChJQzFUID0gzqMgKEEgOiAxLVR5cGUgKSAo4oilIEEg4oilIMOXIGlzQ29u bmVjdGVkIEEpKT88L2Rpdj4NCjxkaXY+QXJlIHRoZXJlIGFuYWxvZ291cyB0aGVvcmVtcyBmb3Ig bi10eXBlcyB3aXRoIG4gJmd0OyAxPzwvZGl2Pg0KPGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+DQo8 ZGl2Pg0KPGRpdj5SZWdhcmRzLDwvZGl2Pg0KPGRpdj5WYWxlcnkgSXNhZXY8L2Rpdj4NCjwvZGl2 Pg0KPC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPC9kaXY+DQo8cD48L3A+DQotLSA8YnI+DQpZ b3UgcmVjZWl2ZWQgdGhpcyBtZXNzYWdlIGJlY2F1c2UgeW91IGFyZSBzdWJzY3JpYmVkIHRvIHRo ZSBHb29nbGUgR3JvdXBzICZxdW90O0hvbW90b3B5IFR5cGUgVGhlb3J5JnF1b3Q7IGdyb3VwLjxi cj4NClRvIHVuc3Vic2NyaWJlIGZyb20gdGhpcyBncm91cCBhbmQgc3RvcCByZWNlaXZpbmcgZW1h aWxzIGZyb20gaXQsIHNlbmQgYW4gZW1haWwgdG8NCjxhIGhyZWY9Im1haWx0bzpIb21vdG9weVR5 cGVUaGVvcnkmIzQzO3Vuc3UuLi5AZ29vZ2xlZ3JvdXBzLmNvbSIgdGFyZ2V0PSJfYmxhbmsiPg0K SG9tb3RvcHlUeXBlVGhlb3J5JiM0Mzt1bnN1Li4uQGdvb2dsZWdyb3Vwcy5jb208L2E+Ljxicj4N CkZvciBtb3JlIG9wdGlvbnMsIHZpc2l0IDxhIGhyZWY9Imh0dHBzOi8vZ3JvdXBzLmdvb2dsZS5j b20vZC9vcHRvdXQiIHRhcmdldD0iX2JsYW5rIj4NCmh0dHBzOi8vZ3JvdXBzLmdvb2dsZS5jb20v ZC9vcHRvdXQ8L2E+Ljxicj4NCjwvZGl2Pg0KPC9kaXY+DQo8L2Rpdj4NCjwvYm9keT4NCjwvaHRt bD4NCg== --_000_8C57894C7413F04A98DDF5629FEC90B138BD41C8Pligstuqamca_--