From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: homotopytypetheory+bncBCQ657FO5MEBB443QXOQKGQENDNJGPI@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, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-oi0-x23c.google.com (mail-oi0-x23c.google.com [IPv6:2607:f8b0:4003:c06::23c]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 789ff9e3 for ; Tue, 18 Sep 2018 19:11:48 +0000 (UTC) Received: by mail-oi0-x23c.google.com with SMTP id u74-v6sf2902985oie.16 for ; Tue, 18 Sep 2018 12:11: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:in-reply-to:references:subject :mime-version:x-original-sender:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=95doFJrQuJhWeMWFsC+Vs+9kDF4MUR3IZgVKJG3wbZ8=; b=o4LXk91M84J+H02LO84+orzU74FAd3s948P9Heb16MdtZE/OWD3U0y8yhSNXbzqM+y iUx6fOkIqkjFZUEKKDN8FFD4jqz9rShsdeqBtXo0B0LVJAHPTwrOf6wUI1jIRyVv5J3p wl0mNhiU/CEmVYosMHitXgnvpGdCUfkvBssD/k5o9e0+Km00+wjQ0WwAD3HpEpgBKPK1 /0Fqlpb3X/0fkEOeEwnXynhuhEJQz3/jmTyvYF+rXrzuGiwUVnHpa8delWmFD6k822Xa OaW9yzcMhDfEKO7hADfAWDd0O26hdcJPPoyAOMUWiiwwj2ZXGd+R0w5JRczCigVvyvJz bHTA== 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=95doFJrQuJhWeMWFsC+Vs+9kDF4MUR3IZgVKJG3wbZ8=; b=ECMMjlqGwiA3aQebJwEAh7WFzNobY531JLsYRkkoqkhC/GfeZw88dj/hEGWO93e2qz Kp9z5cKmMxbzkPeDe4HE/XjQIEQDwU3CGbS0h93wR7gVmRz4r1nzUertW2skwsfCBhA7 RhxmVbSVwiDh7wj+PQL947FdTW+qj7xBJI2U8q4DW9avXaeKT3W6fjHFdA3d9ZBB7BOB pJ0yDHrumArwGnGlcqAbPE8xy2e8Gmi5I30z4z64zd9jJxyO0xgRwpXAewzYGA83GEDv cyGKSOLsonNb6d0iZ7MEdpn/e6NHn9iQ5c/GKgXMwisi5RFcnD02N6PvuOtZvf0bV7Rh f23A== 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=95doFJrQuJhWeMWFsC+Vs+9kDF4MUR3IZgVKJG3wbZ8=; b=IjJnbmOk1LkBaGpZK+FqEpYGrUJuukYtN3wSvcvhOhpj/iPTYjlADJQ3utCsKFjuPb PF+zrNY1LrlMeVT56mrZMGuTVx1zuMBREUXKSn2BKQfrPcemXYL62WpxDUzIFKAD2gbD qGuvy9CnbbxAxPru/FhYeBrLrk+EYB+an5tr2zc2sRh+xzcnlF2CCnZokb3pvBPo+m1X v/rLRP56G+MaMYRrJSeFMkgdjvfihOlLDmhDKgqHTyxQsDNXbXsP6p074geWoinWS4dG Z6u1f0XnNa2Ya5bGGpYVtgXdnshBtVvc6q+ZgY4Z7EGBRCHz5W5uRWi6Uu60yU405bGW xbtg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APzg51BVU53jBOIGoJSP0CWYDTDChYRWjfgsD0YZ8Or1t39Dq91Qq9iN /AzPNK64vm1O0ASSAVQyzHA= X-Google-Smtp-Source: ANB0VdbLs+GQA9brhdSMUHi2X8xds62tvMRRxvTAQJB4nWglALL7eYDMdc6oPmH5bi578xOHCN/t6A== X-Received: by 2002:a9d:6309:: with SMTP id q9-v6mr241342otk.5.1537297907178; Tue, 18 Sep 2018 12:11:47 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a9d:648d:: with SMTP id g13-v6ls5348969otl.4.gmail; Tue, 18 Sep 2018 12:11:46 -0700 (PDT) X-Received: by 2002:a9d:5c02:: with SMTP id o2-v6mr242927otk.7.1537297906550; Tue, 18 Sep 2018 12:11:46 -0700 (PDT) Date: Tue, 18 Sep 2018 12:11:45 -0700 (PDT) From: Ali Caglayan To: Homotopy Type Theory Message-Id: <0c0f9374-4d57-4cfe-8e2a-3b3536f41fc0@googlegroups.com> In-Reply-To: References: <02f4bad3-496e-443a-8607-9a6f37fa878e@googlegroups.com> <811a924d-8ffa-4fa0-b0e1-b5bd379c8917@googlegroups.com> Subject: Re: [HoTT] Euler characteristic of a type MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_2294_539902916.1537297905892" 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_2294_539902916.1537297905892 Content-Type: multipart/alternative; boundary="----=_Part_2295_1227461968.1537297905893" ------=_Part_2295_1227461968.1537297905893 Content-Type: text/plain; charset="UTF-8" Thank you for the paper Mike, it is very cool indeed! On Tuesday, 18 September 2018 17:13:26 UTC+1, Michael Shulman wrote: > > Some introductions are: > https://ncatlab.org/nlab/show/trace > https://arxiv.org/abs/1107.6032 > -- 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_2295_1227461968.1537297905893 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Thank you for the paper Mike, it is very cool indeed!
<= br>On Tuesday, 18 September 2018 17:13:26 UTC+1, Michael Shulman wrote:Some introductions are:
https://ncatlab.org/nlab/show/trace=
https://arxiv.org/abs/1107.6032

--
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.
------=_Part_2295_1227461968.1537297905893-- ------=_Part_2294_539902916.1537297905892--