From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 19709 invoked from network); 31 Dec 2022 20:01:16 -0000 Received: from mail-yb1-xb3b.google.com (2607:f8b0:4864:20::b3b) by inbox.vuxu.org with ESMTPUTF8; 31 Dec 2022 20:01:16 -0000 Received: by mail-yb1-xb3b.google.com with SMTP id x188-20020a2531c5000000b00716de19d76bsf25086243ybx.19 for ; Sat, 31 Dec 2022 12:01:16 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-sender:mime-version :subject:message-id:to:from:date:sender:from:to:cc:subject:date :message-id:reply-to; bh=lqpvdXqCyEF7k+Q9DZG2H5C5ogWGOUIiT5kpKKyHWSo=; b=eB+ydYSA7va8TM+hJB3mrvcNJTezreA8QgjNYMCQlXlad4mCMiJ7EPHNCda9LXr7Sp 0//5U4/7qSNWUEzZNmH3w+En6EUnCL4lO9806RguTDOa460CcmFwMFRFQ6GspscAmExW K72jAL2TD/nzTKrV6XDL/vFtPBpk26UW8C+wMwyK1yZvNOiLJcK/8r2VXeTW6QUDgz2S dqKYDOF0m4+ewtkVT5KHp76w0tFN4BwtZWKUAEW+y+3xMA07Grh6DfhO22SCG336YxnL yPi4zT3L2uWDSMRBurtWADeQ/8HZZONg85RI7PoMGwgXENsK0dNO+NeV6zgDdCSoGmWV 5hgg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-sender:mime-version :subject:message-id:to:from:date:from:to:cc:subject:date:message-id :reply-to; bh=lqpvdXqCyEF7k+Q9DZG2H5C5ogWGOUIiT5kpKKyHWSo=; b=m9AfoAQN1ATnVA332m1GW+tDgasyWpIMZx/qqfxWAXgKkvrHIe6aMBH/L8XkhSoNVr a5Y3YrBu4//mFLGxrdGf4fJByN2BoIbAW2mtXCItbL5hjCeV5+yOS0D7MJm8hUC5+DRx f9gBAt81f62Ejz+SB+nR2bNbNSzfp/s8+FQa6/ul5J5re+X+MkeM6Wj9H7qzAsBukuYJ jyjD/R7xesP0yvijdLUmiTduP1pSW0hQkFDS6Iigp5vwcNxiR0e1CRMzMx7xOevhptIR U37cc3LpOxjQOnAbVjDUYKX5n6xbXQM1I85Ev3F8+o+qNOaqOxxK5lYbxTed1eNg7VWg 0AnQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-sender:mime-version:subject:message-id:to:from:date :x-gm-message-state:sender:from:to:cc:subject:date:message-id :reply-to; bh=lqpvdXqCyEF7k+Q9DZG2H5C5ogWGOUIiT5kpKKyHWSo=; b=KrMF5NX2dL+cp53x03Rnm7rZgTm4LywI5PGG18kRSzK+QsqEvQARgvU1CbI50rzoBG PuWdfLqVGZfZtA1v3mLoVzALcaUWRdorwuUgCVtIYDX4CXwcMu3fANVsr6tkDdmTS5Br cDn17FBjBvaIcmSOAzE6jDe6UeLHnPZDcxL1G4Fg+ME1VS1OrSY399dWHT8Pz3LoJWbN FSq12a78vnKzjIRfQVxAz1RkSD+oxqCXzPc8joIFlWRRg6TCGF07H7CyH8mk9A6x4Nq0 hnkSHgX/dA8vH06vWlLGYnjPh9RzJ9u5Z2uvznjd+PaIKTTg+iezMTRcAzNaEqjD5ivY 4XkQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AFqh2kqTlEP3yTeikeO3n3mY+W7u2r5BEClFO/+527URfRKTrpkW6WP7 aTJvc+Bgvjgc08Xa5yfGglg= X-Google-Smtp-Source: AMrXdXs5eXi1PIJS5UIwUmck6/12gFVBt1L1PQn+YqSabArGMH/Ft3ZwsafMqqwvCMb1AyUL7f7RGg== X-Received: by 2002:a81:9a97:0:b0:403:b995:41f3 with SMTP id r145-20020a819a97000000b00403b99541f3mr3927572ywg.471.1672516874537; Sat, 31 Dec 2022 12:01:14 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a81:50a:0:b0:3fe:c52c:dd9a with SMTP id 10-20020a81050a000000b003fec52cdd9als12973077ywf.4.-pod-prod-gmail; Sat, 31 Dec 2022 12:01:13 -0800 (PST) X-Received: by 2002:a0d:cb0a:0:b0:474:b3f2:8df1 with SMTP id n10-20020a0dcb0a000000b00474b3f28df1mr2756251ywd.434.1672516872980; Sat, 31 Dec 2022 12:01:12 -0800 (PST) Date: Sat, 31 Dec 2022 12:01:12 -0800 (PST) From: "Daniel R. Grayson" To: Homotopy Type Theory Message-Id: <96eb41bd-73af-4d5f-9fad-1032eae94590n@googlegroups.com> Subject: [HoTT] Vladimir's paper MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_50664_1425726500.1672516872224" X-Original-Sender: danielrichardgrayson@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: , List-Unsubscribe: , ------=_Part_50664_1425726500.1672516872224 Content-Type: multipart/alternative; boundary="----=_Part_50665_897152980.1672516872224" ------=_Part_50665_897152980.1672516872224 Content-Type: text/plain; charset="UTF-8" Dear friends, Vladimir's paper "C-system of a module over a Jf-relative monad" has been published. You can view the article at https://authors.elsevier.com/a/1gL68_WcdlU5P for the next 49 days. Dan -- 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/96eb41bd-73af-4d5f-9fad-1032eae94590n%40googlegroups.com. ------=_Part_50665_897152980.1672516872224 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear friends,

Vladimir's paper "C-system of a module ove= r a Jf-relative monad" has been
published. You can view the artic= le at https://authors.elsevier.com/a/1gL68_WcdlU5P 
for= the next 49 days.

Dan

--
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.c= om/d/msgid/HomotopyTypeTheory/96eb41bd-73af-4d5f-9fad-1032eae94590n%40googl= egroups.com.
------=_Part_50665_897152980.1672516872224-- ------=_Part_50664_1425726500.1672516872224--