From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: homotopytypetheory+bncBD6ZB6H2UUJBBMVBYPNAKGQEOUBMHJA@googlegroups.com X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.6 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.1 Received: from mail-oi0-x239.google.com (mail-oi0-x239.google.com [IPv6:2607:f8b0:4003:c06::239]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id ea768108 for ; Thu, 19 Jul 2018 17:56:04 +0000 (UTC) Received: by mail-oi0-x239.google.com with SMTP id u11-v6sf7476090oif.22 for ; Thu, 19 Jul 2018 10:56:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:date:from:to:message-id:in-reply-to:references:subject :mime-version:x-original-sender:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=+cQY4tHSt3CCBPEOHe5YemCSnl3R/2b/HeWInQK1YHI=; b=Ho5+vFyOn5Iqz4gbHWtOlQjb8kIqbhNbLXkIPzcBcCAWXhlo68mBX2WWgCob/g7QeA Z3HOTxHMg4O9ycxASljRbtoM2Zw3FKQlnpmuxP90gf+idMZUme3uKrK32KgKReHE0DWN takportC++BSzD8458wbqsnKULVppM3gUBk9DdyyDopFJBQjI8DZk5QKPH+wQoxvHGqs L4AGytG+QotVRbIlPyaD9H+Ww8/hCRsm75OuH4yd6q7KYjro1qTAXn2TpkxzliBwFhSP 4I8uabPGwsCK70TINR3cr8SE/4voKmHEwcYUno91mWo+K9UaBlcB7Sl9p76iDiYfqOV3 DxGQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:precedence:mailing-list:list-id:list-post :list-help:list-archive:list-unsubscribe; bh=+cQY4tHSt3CCBPEOHe5YemCSnl3R/2b/HeWInQK1YHI=; b=irvoVrL4BWcwH593eiEd2mSTVpSD0n+ZS96z4wG2EC3i8rjSgGW9RoRlvFjUBkyOJ/ tfZcloRX1zIvHcddhVLXAw4unCF9oEu8iSkz5B7j1Yw36+oZybgYe+Et5HazfZPy4OoL soNvVlSlhT0KKHuvSUwMNEILucMVP/ZbWuU+ndxvC6Y4RLCXTNRlxmtfBM2JV2XXEfNS Ge3N59aZ3aNA4obWuO74PVeGdOdOt4PWEirI658zneMe29UlvWayHSS2YdT8dM8QA082 OdpsPArgGsNlPn/tIO5b8UYvBu75zLEssRCg5n5PR7mmsAcBFaYT6Rvb5fgnWto7sWeh ttgQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:date:from:to:message-id:in-reply-to :references:subject:mime-version:x-original-sender:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-unsubscribe; bh=+cQY4tHSt3CCBPEOHe5YemCSnl3R/2b/HeWInQK1YHI=; b=Kbo3RkuNcbbKe31y7hF4WLPdNICcVts9bGeVEBW3zG1r1htxBjVoMPsxdFIRRTGNnu PWPIbRsbG4XwUspoj/vkkZf/zNSitAg/W9S0r/scXPz3w6yYFL/QIbnILewR7+MXlMeG vQ3YjVrSMEmXKZWTupFxr/qon0MnL6zqFeYd5WtkfMSA7JLq+hLkB/trNgfVRwbUEC23 edItqif6fFFPZo/ORgBNsaUOBoLtMFqcDYiIyUUdtLSLr7Dd//CaoGLeuCWitaKmyvoc WaBscTY/dUduX+7FVjBKCC//A5yRrG/DQNA4iCuYtdPDfm5sfM8hO1SguLilY4D9ZFyS Dv4A== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOUpUlEpz4j0Dnu3DldQAUaQ0+1Ccp6E8RYcSdWWdlW4IIxnfQMMEO1N aBT+BoB1t4b0a+49GJqw9UM= X-Google-Smtp-Source: AAOMgpckRelLgyHYVRmyD2UW27qGMVvzTGMFstne5Ry7GzVG380ubkc4N1KodSAgrsC+YQT/8603yA== X-Received: by 2002:aca:eb15:: with SMTP id j21-v6mr1992257oih.6.1532022962979; Thu, 19 Jul 2018 10:56:02 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:aca:f344:: with SMTP id r65-v6ls5379817oih.16.gmail; Thu, 19 Jul 2018 10:56:02 -0700 (PDT) X-Received: by 2002:aca:de07:: with SMTP id v7-v6mr1981463oig.5.1532022962492; Thu, 19 Jul 2018 10:56:02 -0700 (PDT) Date: Thu, 19 Jul 2018 10:56:01 -0700 (PDT) From: "Daniel R. Grayson" To: Homotopy Type Theory Message-Id: In-Reply-To: References: Subject: Re: [HoTT] What is knot in HOTT? MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_2916_1846538396.1532022961866" X-Original-Sender: danielrichardgrayson@gmail.com 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: , ------=_Part_2916_1846538396.1532022961866 Content-Type: multipart/alternative; boundary="----=_Part_2917_1143306908.1532022961866" ------=_Part_2917_1143306908.1532022961866 Content-Type: text/plain; charset="UTF-8" Quillen identified the complement of the trefoil knot with SL(2,R)/SL(2,Z), and the proof is on page 84 of Milnor's book "Introduction to algebraic K-theory". -- 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 email to HomotopyTypeTheory+unsubscribe@googlegroups.com. For more options, visit https://groups.google.com/d/optout. ------=_Part_2917_1143306908.1532022961866 Content-Type: text/html; charset="UTF-8"
Quillen identified the complement of the trefoil knot with SL(2,R)/SL(2,Z), and the proof is
on page 84 of Milnor's book "Introduction to algebraic K-theory".

--
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 email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
------=_Part_2917_1143306908.1532022961866-- ------=_Part_2916_1846538396.1532022961866--