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-oi1-x23b.google.com (mail-oi1-x23b.google.com [IPv6:2607:f8b0:4864:20::23b]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id de916bfe for ; Fri, 18 Oct 2019 16:04:49 +0000 (UTC) Received: by mail-oi1-x23b.google.com with SMTP id c190sf3476003oig.9 for ; Fri, 18 Oct 2019 09:04:48 -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=tGPT0Hxjaeh/3kiTCZkKNvh6T0CAIR8uhc2IHJZK89E=; b=sBTMkMFa13st1aVnjko+qwaOZHQ8r2BZrg0EK2k+QrDHGSvbrq54uqic2m+XODjTka 0mMtZn+07Ss2DsvdCJvwm79ErrL8aOCz2Hqf0gFJbYoi4kXQ+QJgjT0znvmXbphB6btc TXnlxbvAnOcUJLO9ARVUl0iZQUaq+cU7x7BvVs+RG+ORoV5RAFbVJXVyC7gf8En4NpoV kM5MQCtKjGrUbWU3F6E/euUGBmTFgYgwLjVLAJigDc5VOk7fI+o4kqW4E4NvNH/uClb3 jNMZwacfhqbt3JmWG3ZdDyaIxlDAygG3M4z3Kexe23s+gzDMCKAx47j9CZTmt4sDCL/j xiuQ== 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=tGPT0Hxjaeh/3kiTCZkKNvh6T0CAIR8uhc2IHJZK89E=; b=PnSLLWjqXNh3xzhmS6APRm5PcRigCINsRhar4PK5Ug9eGfLJ3fivQb8WM5sQXEtEY9 bJE0ktcOOgi9Oc9CCICnoQdTPuvHODvuz++jx7NXnvmkWmLKZ1F/ypngc2eDpSfLVMcp 82QiLVlgK8QNg55vSkhogQhkvif9Ftf5XAX61hTpe3xT4mPtXyvWYVWvqan1rvS9LIez ZCG8L7gjmduYMdvtWK8BQo7wcV4f3V9iUiA5cjSsU5FlXiaK7YGrbPpLtdjBX0pvsaxx /d9x6sMSBt+T2h2liC/nSn8T8Qa53FCJ2BdIWLh3ZyppoZl+enmNZ4HqJoJXSsVLeoUz QuOg== 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=tGPT0Hxjaeh/3kiTCZkKNvh6T0CAIR8uhc2IHJZK89E=; b=kxVkM2bHJuXlWXszplVMJ/DSJcmbBTgCDTezcrGUdGmVPkK9PJpq2rtNBQ1mCT44uA vsdLLXVwrPvo45Ukl+XSlG4zwSErFoReSb+M+v9UOT3XaM6H6GKa4hNtwd8wdZCIk/Dj 9l97BmTZC+kehrGCMA1xdOdVu3P1+uqmo14ycOWccQqf1784xaKcn5xwobBkX5FkEp8D dGvDga9bauKVSy31SwdB7LKkImO9J0IsLNNegwjR7x5DI0GoEvA8dq50LPl3WMI3vKcy KDtKnt1PuplT6F9t74TSrotkE0bEtylJx1muSq/mNnNxQIpYmI4bkBHkUIIi5Ch1Hrg/ g64Q== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAV0HYqKVZwHjiYcUB7amR4l3TbmpUqyhgP5qCts/fPXTEv33jtE dgF1nA+wHo1Qihias0B7XH8= X-Google-Smtp-Source: APXvYqx6hT34FkTbKBhb85rGCpaTGnmltB4Y69IegLDpXOJMxi31gCfY38KudiEjiWXJ8Zfettm5Ww== X-Received: by 2002:aca:520d:: with SMTP id g13mr8300706oib.118.1571414687312; Fri, 18 Oct 2019 09:04:47 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a9d:1291:: with SMTP id g17ls1144636otg.11.gmail; Fri, 18 Oct 2019 09:04:46 -0700 (PDT) X-Received: by 2002:a9d:19a9:: with SMTP id k38mr8055759otk.366.1571414686794; Fri, 18 Oct 2019 09:04:46 -0700 (PDT) Date: Fri, 18 Oct 2019 09:04:46 -0700 (PDT) From: Juan Ospina To: Homotopy Type Theory Message-Id: <6450b566-3328-494f-8f57-c6e8af385d89@googlegroups.com> Subject: [HoTT] Floer homotopy theory and Hott MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_956_1235291518.1571414686019" X-Original-Sender: jospina65@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_956_1235291518.1571414686019 Content-Type: multipart/alternative; boundary="----=_Part_957_1616157055.1571414686019" ------=_Part_957_1616157055.1571414686019 Content-Type: text/plain; charset="UTF-8" There is any connection between Floer homotopy theory and Hott -- 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/6450b566-3328-494f-8f57-c6e8af385d89%40googlegroups.com. ------=_Part_957_1616157055.1571414686019 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
There is any connection between Floer homotopy theory and Hott

--
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/6450b566-3328-494f-8f57-c6e8af385d89%40googleg= roups.com.
------=_Part_957_1616157055.1571414686019-- ------=_Part_956_1235291518.1571414686019--