From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: homotopytypetheory+bncBCHZRD56UYLBBVXJTHOQKGQEH56XJMI@googlegroups.com X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.7 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 autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-it1-x140.google.com (mail-it1-x140.google.com [IPv6:2607:f8b0:4864:20::140]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id b6b80925 for ; Sat, 22 Sep 2018 16:59:04 +0000 (UTC) Received: by mail-it1-x140.google.com with SMTP id n194-v6sf1146714itn.0 for ; Sat, 22 Sep 2018 09:59:04 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1537635543; cv=pass; d=google.com; s=arc-20160816; b=dlvHi35pNldYJ2PEoq7nVK0wMWs8D9Ammcst/iWq7JoObAGed+GGFQbq5rVPB5Eboz vJOIcsOpTWD1DpTBo3EpH+6Nw5tspjvWD9Q/cpqPdtl5TvYwdSEbs4zi4M4SsWGM+11i u/qdEfr4b3FylC4uTpNVkUzMSEIXv2PRfMI7a/FXa108HXb3rQzuyW/dFXF+eUnnEIh9 gI0lvN1G0yvNkfPsfZHaiTwv0T+epANRmbPyYVtUL+KmHMmzuFff04BV/mWMglSYQfTH KP16m80rMBBUYRuCUuU/vleQ0uP//wPSOnXFFekVg4wb4LKlXQ5YouUBfSvsEBAbYNWj osfg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:to:subject:message-id:date:from :mime-version:sender:dkim-signature:dkim-signature; bh=raisDXEDT0Ms+9dsH35GF5ixKMptTNeX3cQ/vB/FJKw=; b=ItT8+8catTOn1uYQzAgF6+AbB6bv+p2uT17KRSXF//nKAgGGwC+Z0I/PYXbuBdc29K JP/1FH5fvW7JzsTPL/vsYoPBuV8T/JLaW0xaIcisbDJaUHrH1yLX594ija0tFd7W31LO vyS7t7G4rOrGxeQfg1XGRLRpo3fnmoWvwJhbovYkCDVdAxPsqRpLcNaWa3GhVQBz/NFb /YSedAWlWcY9JEb9zeHFTQuZCtQGgTNCsYgvXSdFvWrc0aA3WoXvPRCF/LgtbP6j6B+v bCkLHdcUSj6OnBJXeq2RdrIqORu6g/5wp2dl1pGyYwou0pxhih+U0JjqN4A3fARhh2QW p3yg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=nQfDNypi; spf=pass (google.com: domain of josephcmac@gmail.com designates 2607:f8b0:4864:20::133 as permitted sender) smtp.mailfrom=josephcmac@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:mime-version:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=raisDXEDT0Ms+9dsH35GF5ixKMptTNeX3cQ/vB/FJKw=; b=MX7Xhco2SdbG8DYj6u3OPCOxBK7CR6/nGh+3lX+EK0kn/J2JsFRBMjM9TDuXyCh+p5 nJIKpZrReWgnP5AuQemQibif+oPhekojUIRyZ1nGIeU2F3Ry6DReSidZn+02Fbb/Zeyt yE8N93qf4c9fBodF6X4YhG3wt76p3+UIuXfGD+hhDjeFFDgMu/mObHRqk9psf/dW4d0I ie069HZECY8mbFwfg3gcnyqrY5cniIM2iyuEwwNw6lXqG8BAhsX77IcwEuWkPQv6Y3JY wZsf1fI2Ta9oH1HzTeN7EaXauYodtjdfm4S9uzad32zlWftfcf2lqImD3cjE7RY9EHDu e/kw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=raisDXEDT0Ms+9dsH35GF5ixKMptTNeX3cQ/vB/FJKw=; b=ld6Pz+nQCs/JA4I4oeT1rSF0sjumCBmfHMXqWx6y497LVDjfRfVKsKuIBm5vttxxgj 0o2dWhmZs25tW4pT7BabkcH4jl1/08+SnnYGPYjhfCVKu9n8514izcDCOxWRIVh2NzE7 dLtrPbuCXdftcN9lgRcfOl4TL9D1CV4mqiX84eyS0uuXk5BwMRxq/OpRcu3U9cI0K6FT +eXhIev9467MDVNpumrdNLPTMcbhZGkPsUyMrSSMTT0pLPQuK9Y7b3CD6LDHJ0VEOfcI 3z9+zWI0QAM7CcNpQh/8qH9XIoqXUCHMfQ5RpYoL9w7igIPlaE/tAWewsOCdIvzWz7io +6nA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:mime-version:from:date:message-id:subject :to:x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-unsubscribe; bh=raisDXEDT0Ms+9dsH35GF5ixKMptTNeX3cQ/vB/FJKw=; b=WhFkqlN0aAD5E6mzwEy3LcSfTLaiVT4DYFZUuYO+bQmYksfaBy/O/BMerK0ayG/YGW Q9AJO14f06LJ91s/2dNPm4y4LvyeObl9XVVDwk2ciKc/2EyZLRVRx3BNFTOGhOy9TWsj FpQ3y0DD6S9OUJvmEZrC6dw52MWSFgUIVdVqgnaOmR/zwWNL1eH89u5WDn1YxmZd4zmA kvZVM4XdApsj4AyU6PhblVUgm/aDAB6MRSjSBGaNxEjcaYlnTIWGNupZ/nH71atiDCcy wjaG4PycMJ9liZIqO36ipF9WQhmRoyIT7XZ4hrjz5niFOFMHoafEWtxHJwPylAJ6sptn 0cOA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ABuFfoilfKsydvDPDZj3iWRGArl6JW3JzhcCt75EGdaIzBlm6FwHD1Zo KPRQ+KYNXRPqL3BnScgY/zk= X-Google-Smtp-Source: ACcGV63ocQveAslYzX33EiTH5NlwgYssYoAsjksLhZGLUGnk6xn5TGUUUswZr5Ssd+v9xA0eBf3Tuw== X-Received: by 2002:a24:788f:: with SMTP id p137-v6mr8423itc.1.1537635542876; Sat, 22 Sep 2018 09:59:02 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a5e:834b:: with SMTP id y11-v6ls940359iom.7.gmail; Sat, 22 Sep 2018 09:59:02 -0700 (PDT) X-Received: by 2002:a6b:8b41:: with SMTP id n62-v6mr2361038iod.125.1537635542606; Sat, 22 Sep 2018 09:59:02 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1537635542; cv=none; d=google.com; s=arc-20160816; b=fRQF4qzSbFCYf8ZzpAzgtGGKO1Wsieb/ElKCCzF9/JbMxWW5fr0UOUMZ5IkAC4a33O Mml9ad2lpYuPYPmym+qAd9Jm7SA64Hef1PwpkUMfWi8AaPDEtw2PFlG2w8jfDe8/+Fhn pbmL2qlvavnnSfbxF3MKs3E0sfYfvxU84c7QtbpQwWIszn87jfgMGVTsvNjL1RwAqFqc d0NzegWCvbSmD5namsy3ktpzBEZElVr9pC4bNkky41vz7J+vrsOjNaU1WLa7QzdYs5TH 8tA7X7YDk+BN+AfT8sU5nYC2KvJk5oGQ6qWD0jlXiZ+9uphI7RveU00OaScDZf0hKt4Z 20qg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=szAd1gXojvhvKfqM+UWFwoSdhi5IESAuYkIBjnYLdEQ=; b=TXna5sde/QNkr2tYNX6Mz3WefoSy9sTiejJJt3+c8RDkw8m6MJTNrPTzigd+F2FXIt uloiSJvP2Rlt372PL5wSF//cDKO6kLGdLxJmlCv/oQp8mYhOD7A2I7W26IUHHbfWfM1h pcUYNTRI8YsuRXYJZfV/yl2NuO2yJ+7O1cbayC59pR8I/WSSh1mV9l062Ylpt9roAw9Q 8dV+upE9hiQ73y8dk0TkWpSsYwnfZxbRgaZA2u2NY2uLY3HtALGkKpVDbu9amCSoOX/y P63JTI0+4/4exCDo43KDqnoDAw6ldJ0pt5iNYWOuFQZXAk9CrI9IWXOl/6UXs9S9fPB5 Cdjw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=nQfDNypi; spf=pass (google.com: domain of josephcmac@gmail.com designates 2607:f8b0:4864:20::133 as permitted sender) smtp.mailfrom=josephcmac@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-it1-x133.google.com (mail-it1-x133.google.com. [2607:f8b0:4864:20::133]) by gmr-mx.google.com with ESMTPS id m189-v6si362093ita.1.2018.09.22.09.59.02 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 22 Sep 2018 09:59:02 -0700 (PDT) Received-SPF: pass (google.com: domain of josephcmac@gmail.com designates 2607:f8b0:4864:20::133 as permitted sender) client-ip=2607:f8b0:4864:20::133; Received: by mail-it1-x133.google.com with SMTP id h3-v6so5729076ita.2 for ; Sat, 22 Sep 2018 09:59:02 -0700 (PDT) X-Received: by 2002:a02:4f89:: with SMTP id r9-v6mr2764718jad.6.1537635542118; Sat, 22 Sep 2018 09:59:02 -0700 (PDT) MIME-Version: 1.0 From: =?UTF-8?Q?Jos=C3=A9_Manuel_Rodriguez_Caballero?= Date: Sat, 22 Sep 2018 12:58:51 -0400 Message-ID: Subject: [HoTT] The Hodge structure of a type To: HomotopyTypeTheory@googlegroups.com Content-Type: multipart/alternative; boundary="00000000000048372e057678ac2f" X-Original-Sender: josephcmac@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=nQfDNypi; spf=pass (google.com: domain of josephcmac@gmail.com designates 2607:f8b0:4864:20::133 as permitted sender) smtp.mailfrom=josephcmac@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=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: , --00000000000048372e057678ac2f Content-Type: text/plain; charset="UTF-8" Recently, there was a post about the Euler characteristic of a type. In my case, I am interested in the Hodge structure of the Hilbert scheme of n points on a 2-dimensional torus. Does such a topological construction make sense in HoTT for an arbitrary type, under some general hypothesis? Kind Regards, Jose M References about the topological structure that I am studying: https://www.sciencedirect.com/science/article/pii/S0001870812004008 -- 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. --00000000000048372e057678ac2f Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Recently, there was a post about the Eule= r characteristic of a type. In my case, I am interested in the Hodge struct= ure of the Hilbert scheme of n points on a 2-dimensional torus. Does such a= topological construction make sense in HoTT for an arbitrary type, under s= ome general hypothesis?

Kind Regards,
Jose M

References about the topological structure that I a= m studying:=C2=A0https://www.sciencedirect.com/science/article/pii/S00= 01870812004008

--
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.
For more options, visit http= s://groups.google.com/d/optout.
--00000000000048372e057678ac2f--