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.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-ot1-x33e.google.com (mail-ot1-x33e.google.com [IPv6:2607:f8b0:4864:20::33e]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id ab3eddc0 for ; Sun, 26 Jan 2020 19:45:38 +0000 (UTC) Received: by mail-ot1-x33e.google.com with SMTP id p13sf4860456oto.12 for ; Sun, 26 Jan 2020 11:45:37 -0800 (PST) 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=QcYeCeSS4PvgXUJt3+o8TanlM3Of3qYsueZcC+Yw4NI=; b=fU75V6r7RxdJfB74mVK6nsaTT1dRVBebHg5VAa9c9BbOXh77Okmncl5QUNq1sow4LA G2AwmcnJdKHrjfd4Rh6ytIf35o+J/Sbz7LNz/oWb/rFW4Y5omW2sFl950133frC21gvz 4VZlpc3W32LfyNaqqf4R1kCeucwyVay/sOTitzHNPIAwVydcwiv9CrY8uy1zWPn67nOr W1MYE6CZfGybfajBj4VeSehYNH3KU4G8dABmGu8ZAuyV6N2+PS/5bjm9LTb6OAHri01/ 4J7fCzBahAAAjCGFyaIaanH9XJAhuMQe1MxBKcjqtiSSLZCUPBVRS5in80opUpjcqmwR w+bA== 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=QcYeCeSS4PvgXUJt3+o8TanlM3Of3qYsueZcC+Yw4NI=; b=r5kOv7CvvyFVT/bpEDgi6bMcI5fk90rrht5Y6YpafD9P61WaZqGUzaFXDLuhPSstmw dQ9IpE6indHGvrrIxhlES4yZ4kUpRiY7nX2Cqr9kmsX0nRx4aYA6h/RvTfMC2y6Ia/hn YJAjFMiXhBN/rnP52CQWJZ/JP2M3q1H/+rXaqSWfEdX7MZaYvV+qnVwyACUNOriJwUnA Gmel7QoayZqLtE4wwrOkHIQiE+/wF9KOZRUjfhUnuzoM+sVGUTRkBsf9CivVti0/bj3V gqE8/eD64hdimEl7YBwPv+g49PTHIEfXqI2oqdGy4V7F3kT0NmEenwBvJY3y2wjATCZz lYpw== 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=QcYeCeSS4PvgXUJt3+o8TanlM3Of3qYsueZcC+Yw4NI=; b=i3uQqnhHlwS4kFwuyqhV6n7h4u2rMbs1A1W7DuTuxkcLjZ6y2Z+xA/Lk+9ZVPZnY1L jlxMD5a6TlGU0F0zlZ5yt9MxUASQdlPeAl9iLP/hzMNoZqgr4FLpoJvlltGjCiSmnOb9 rxejyWSISJG3EBjGYM2kKgvS1Y5zpvMmETrssfHwGOIZzhz49xzGbaYcDXWWMjVdZbzh ++HTvCH/HhAMYcsf0PKfRcvdSniPqKoHNSbE4Y7aLP+8DgVOcDVx+ZrPSIxQGevzVwC4 bmff3Ox7ITqspRCQkj9kHdHS9VaLpumuMkX7ficExPkc/EHya3NOmCSymgIfp5t9gBId 7Stg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAV9JC8xMqBhk8OeTOv7MLV1I4XfXxkaTkiFoj2ovHJKU9cGe3NR RoZFMnG5qwl7BPz5acfh+Cs= X-Google-Smtp-Source: APXvYqynJZHnjCotYg4QYHPcjuQUc940QrCsGd8eS10ORgrouhqU9dzDcBMKgYa8QaYnL4E/YtHztQ== X-Received: by 2002:aca:3542:: with SMTP id c63mr5734149oia.135.1580067935782; Sun, 26 Jan 2020 11:45:35 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a9d:4e14:: with SMTP id p20ls1617737otf.4.gmail; Sun, 26 Jan 2020 11:45:35 -0800 (PST) X-Received: by 2002:a05:6830:1615:: with SMTP id g21mr10438068otr.49.1580067935114; Sun, 26 Jan 2020 11:45:35 -0800 (PST) Date: Sun, 26 Jan 2020 11:45:34 -0800 (PST) From: =?UTF-8?Q?Mart=C3=ADn_H=C3=B6tzel_Escard=C3=B3?= To: Homotopy Type Theory Message-Id: <80a2bd2d-791c-4546-8199-32fe7bd0d38c@googlegroups.com> Subject: =?UTF-8?Q?=5BHoTT=5D_The_Cantor=2DSchr=C3=B6der=2DBernstein_Theorem_for_?= =?UTF-8?Q?=E2=88=9E=2Dgroupoids?= MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_3846_1901309168.1580067934569" X-Original-Sender: escardo.martin@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_3846_1901309168.1580067934569 Content-Type: multipart/alternative; boundary="----=_Part_3847_1731294690.1580067934569" ------=_Part_3847_1731294690.1580067934569 Content-Type: text/plain; charset="UTF-8" I'd like to advertise this: https://homotopytypetheory.org/2020/01/26/the-cantor-schroder-bernstein-theorem-for-%e2%88%9e-groupoids/ -- 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/80a2bd2d-791c-4546-8199-32fe7bd0d38c%40googlegroups.com. ------=_Part_3847_1731294690.1580067934569 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
I'd like to advertise this:=C2=A0https://homotopytypet= heory.org/2020/01/26/the-cantor-schroder-bernstein-theorem-for-%e2%88%9e-gr= oupoids/

--
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/80a2bd2d-791c-4546-8199-32fe7bd0d38c%40googleg= roups.com.
------=_Part_3847_1731294690.1580067934569-- ------=_Part_3846_1901309168.1580067934569--