From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,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.2 Received: from mail-ot1-x33f.google.com (mail-ot1-x33f.google.com [IPv6:2607:f8b0:4864:20::33f]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id b5492250 for ; Sun, 4 Aug 2019 09:59:12 +0000 (UTC) Received: by mail-ot1-x33f.google.com with SMTP id v49sf44252654otb.6 for ; Sun, 04 Aug 2019 02:59:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:date:from:to:message-id:subject:mime-version :x-original-sender:precedence:mailing-list:list-id:list-post :list-help:list-archive:list-unsubscribe; bh=RkbyEre6JWnLseGgBHVCUdqI+SxztYNxSE6qDFi6stc=; b=OutiBu2wQctC+zE0Wor0GE0OT7BsFqMfLkEeJ6P/XI7kuEE0o0lv3/ar+KBVagZMYZ aHewpFSjDKIO1LbcwclL2pSRMhAT5SwP/1JSerBZXvgyujQjfo/LqZcTrloV+mbyeXtq FLEXH8qPcHAyF2t+vcRf7hGy8XPYopaDI8Fl/8JLSK7svmkUoJHhjSVQeyiZrXg/W89e 1bHnUxTPmSwuD3Kr2u6bHPF3DA0ocfY6q7MHf6cQHORQJ7Jj0u3k9ZNNgt649AbeV1mU +hN7MQGRuA3QEJ8PDxhQmYlAVEks1WYsfWX986zjNi2EokJ4UqSCSh4YISD53RQJ716l XXjg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:message-id:subject:mime-version:x-original-sender :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=RkbyEre6JWnLseGgBHVCUdqI+SxztYNxSE6qDFi6stc=; b=IfBC65sP8OA/TvoizfCMhD+59V9cFzY0WG/I5jDs21bHpJ5dvlT/xot2/w669A36ec D2Iz8iQZLPz/zKoYc7dT3d39Fo1T8JdCe0XmaX1+ufzMCWHzCm6hg5pEuAzIh8yKNMhb oMa/Zko1pWUp3MgGFPbx82b32nB28npMgOMvSjv/MIHgoyC0NlP7CF0hVZqmq/aZ8PSq dEv2m0Zxs64xo7V5XrHI953xn2GrE35aCBejgCmrAIVc2OBoRf941iThRLlUZ2sl2ASR ii/EA7A5GieGnGyzy6apKnDP/m+v+Dgu5Tno4YyF6o9vHxsISvWFVtsV4UJmry+YCFpH 4hhA== 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: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=RkbyEre6JWnLseGgBHVCUdqI+SxztYNxSE6qDFi6stc=; b=LEd6CWNnLSo60FfvPtlGEy76P8hfYeqdHYj9sWfi4wZ4QYNOgZ6zLznZT3ZEhyGleL uOy3w8aXhbANC0xEdAX4WeLK2ATYDsfUR7XPBgUKS3YZX9C5uoVG/sOfQyF334jotXgB E8a5GxRYRPgeNrxa9DuMpHSi1WXWir+VS2za0CEXbSosEoKxlryweRvFubFhcHTNDlH3 ntPACMmggQDlKCc1i+xEkRJi9+eMQY9T48gARm1oQNwFV5B/e2BnPPDeQGGkFQESzKU5 G0ZUgpVUUxMx9ohgDNtiHXvSF24zvlORKcm0uPtvG7sLbgcWG3u9O8LxlVweSFlGD8Rl 722w== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAVCl+FMqv2mHM5YcoW4uIHrDlNIGwomFs/ZM2TJJm7fJ+GgIWYj Y1Crbxd7me8v8NlWDqkPqTo= X-Google-Smtp-Source: APXvYqx6rdABt+cN3Wc6fgYK0S7ebjFPfGHNV08NoLgAwZtvWmWF+0+bgYyL4mG4Zsy6wadM1urHMg== X-Received: by 2002:a9d:76da:: with SMTP id p26mr9216229otl.311.1564912750658; Sun, 04 Aug 2019 02:59:10 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a9d:d6a:: with SMTP id 97ls6951315oti.0.gmail; Sun, 04 Aug 2019 02:59:10 -0700 (PDT) X-Received: by 2002:a9d:6256:: with SMTP id i22mr30898017otk.139.1564912750001; Sun, 04 Aug 2019 02:59:10 -0700 (PDT) Date: Sun, 4 Aug 2019 02:59:09 -0700 (PDT) From: Ali Caglayan To: Homotopy Type Theory Message-Id: <81b245ba-e70f-4a13-8d0c-4eaad69f3da8@googlegroups.com> Subject: [HoTT] Weaker Freudenthal MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_1214_181191087.1564912749343" X-Original-Sender: alizter@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_1214_181191087.1564912749343 Content-Type: multipart/alternative; boundary="----=_Part_1215_1503449507.1564912749344" ------=_Part_1215_1503449507.1564912749344 Content-Type: text/plain; charset="UTF-8" Can we prove that the map A -> loop susp A is (k+1)-connected for a k-connected A, without having to invoke Freudenthal? -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/81b245ba-e70f-4a13-8d0c-4eaad69f3da8%40googlegroups.com. ------=_Part_1215_1503449507.1564912749344 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Can we prove that the map A -> loop susp A is (k+1)-con= nected for a k-connected A, without having to invoke Freudenthal?

--
You received this message because you are subscribed to the Google Groups &= quot;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.co= m/d/msgid/HomotopyTypeTheory/81b245ba-e70f-4a13-8d0c-4eaad69f3da8%40googleg= roups.com.
------=_Part_1215_1503449507.1564912749344-- ------=_Part_1214_181191087.1564912749343--