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 10762 invoked from network); 25 Oct 2023 14:09:53 -0000 Received: from mail-yb1-xb3f.google.com (2607:f8b0:4864:20::b3f) by inbox.vuxu.org with ESMTPUTF8; 25 Oct 2023 14:09:53 -0000 Received: by mail-yb1-xb3f.google.com with SMTP id 3f1490d57ef6-d9a528c2c8bsf6323128276.1 for ; Wed, 25 Oct 2023 07:09:53 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1698242992; x=1698847792; darn=inbox.vuxu.org; 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=H0XYHBbLF63aD1syyAMQ4mOhGrUtd2KNJ3P3q606VDU=; b=sNpdipqv4Jmj3f+XuVU9agPd7ZsHeY2lIXL61FM0Y76Ykw40tG6DqTM/enLDEmkCa6 xGoj7PnyQXjoqBL7dDKPsOOYuMDGCFOC4WBzHaV0rEtPpZcZr46+85FWDHpjGsc5YRx/ j0L6l7hxwg23ji9BJdsjIixZC+BpWabKyWJV2FGFqg6KoupGRat82f/rkvLiN8J5V0eM CMyI03UwVSQz7rYRlDvnzB30TSu2wQxQ/jZDYAiuUf2AQw0b3vz7weRfknfTEAlGrTv4 J3Q8lS3aZasDAk9naA/h/gZVKJlLhRxE9EhmKsalG9ZMMe4dFu4cIIBYA/d4zX95X5uh LWAA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1698242992; x=1698847792; darn=inbox.vuxu.org; 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=H0XYHBbLF63aD1syyAMQ4mOhGrUtd2KNJ3P3q606VDU=; b=JhVHfyC/AHhnncO94zBLXMgS9Td9MmRFK8SN0wFl4nURIx3yW1ZpzjNasQWPeYJzwY h5+lX0DtUGgq+fMVRh97wX6EBh5dbs4HwdH6eYe2J8FL5XYK2bHzS8cUH6tYNf506IrS WTTQx3RNr9w5YVc4hokVvA1yGt+mNn+gnu4p5H2e5hoT3CpUjNhOeGt/LFz9B5Wbvgud oVCiKARy5WVebvCza1EQslTtOOCdWooJ1ex6HR9vbS0EgvOcQZh/aQlE1VMtw1PKN5pe esb4Z8ooXpyEG+bibZGj5CKsP3m0Qk0eg+hwArpTUj1aB5wWsOvqAmmIeTYB9oWOXQIU f+cg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1698242992; x=1698847792; 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-beenthere:x-gm-message-state:sender:from:to:cc:subject:date :message-id:reply-to; bh=H0XYHBbLF63aD1syyAMQ4mOhGrUtd2KNJ3P3q606VDU=; b=CsipeiBSHOzlkOefcF2Zse2C2jTZ+3aiU33kfNJ7vJb+RLoBQfYz803wCnkpTS5Rai YHUu1nYuRE1E3c6p9JdF/nV/ypJ6uloSglvXZ1sWTrHD4F6jafCQgmm7Hcj+oFk3DXVz 15eaYvpQq4hFCMe5sS+q22LWBJr+YGzx6yAlsM0vho2Eah02qAOpD4WScWFsIEAsLuPG wurqhsAYhLTEKJ0Ds4yWPoROjxaY3ezNeeJ/CKRyp1HpCqpY2qZpcgeu3+YQieB/nRVs dsN3/TSEnOz6O1b7c07DQRS7GxgHsoVON1/WxBN9AygFQpiSjn/Z9hd48h7AMpXUxkDw lgig== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOJu0YwHkvGCdq8mUSHVH5D+OMC/3i8Me/BBshMxWPgbv6tFijGnih9J o9RfxMJSGOL+oMOkiDxaFng= X-Google-Smtp-Source: AGHT+IGyP8boLWHgcXGJHsyiS7gfI4fYZ/EXTwUHpewAkHTsusXoOnFNU3Qqz+VkIlHeKpoLVD8EGg== X-Received: by 2002:a05:6902:1242:b0:d9c:aa50:2b5a with SMTP id t2-20020a056902124200b00d9caa502b5amr18363827ybu.53.1698242992330; Wed, 25 Oct 2023 07:09:52 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a25:d488:0:b0:d9c:c968:ec87 with SMTP id m130-20020a25d488000000b00d9cc968ec87ls448289ybf.0.-pod-prod-00-us; Wed, 25 Oct 2023 07:09:50 -0700 (PDT) X-Received: by 2002:a05:690c:e1f:b0:5ae:75db:92c5 with SMTP id cp31-20020a05690c0e1f00b005ae75db92c5mr27342ywb.2.1698242990352; Wed, 25 Oct 2023 07:09:50 -0700 (PDT) Date: Wed, 25 Oct 2023 07:09:49 -0700 (PDT) From: "felix....@gmail.com" To: Homotopy Type Theory Message-Id: Subject: [HoTT] Workshop on Synthetic Algebraic Geometry MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_30355_2036699845.1698242989508" X-Original-Sender: felix.wellen@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_30355_2036699845.1698242989508 Content-Type: multipart/alternative; boundary="----=_Part_30356_1310111519.1698242989508" ------=_Part_30356_1310111519.1698242989508 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable We are organizing a workshop on synthetic algebraic geometry=20 at the University of=20 Gothenburg/Chalmers from the 11th to 15th of March 2024. There will be=20 introductory lectures =E2=80=93 newcomers to synthetic algebraic geometry a= re=20 welcome to join.=20 Synthetic algebraic geometry is the study of algebraic geometry by=20 synthetic means =E2=80=93 instead of building up everything from ZF(C), we = reason=20 internally to a topos which contains the objects of interest. This topos is= =20 called the higher Zariski topos and is given by higher Zariski-sheaves on= =20 affine schemes of finite type over an arbitrary base ring. Higher sheaves= =20 are neccessary to interpret homotopy type theory. This provides us with an= =20 easy access to cohomology groups. If you like to know more about synthetic algebraic geometry you can check= =20 out this hottest-talk , the = website=20 of the last meeting or= =20 you can go directly to the youtube-playlist=20 =20 of this meeting. An overview of the results and subtopics of synthetic=20 algebraic geometry is on github=20 . Contact us if you would like to join the workshop! All the best, Felix Cherubini and Hugo Moeneclaey --=20 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 e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/fd2a7ce4-cd9b-4f42-a351-11727ca84908n%40googlegroups.com= . ------=_Part_30356_1310111519.1698242989508 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
We are organizing a workshop on synthetic algebraic geometry at the University of Gothenburg/Chalmers from the 11th to 15th of March 2024. There will be introductory lectures =E2=80=93 newcomers to synthetic= =20 algebraic geometry are welcome to join.

<= p>Synthetic algebraic geometry is the study of algebraic geometry by=20 synthetic means =E2=80=93 instead of building up everything from ZF(C), we= =20 reason internally to a topos which contains the objects of interest.=20 This topos is called the higher Zariski topos and is given by higher=20 Zariski-sheaves on affine schemes of finite type over an arbitrary base=20 ring. Higher sheaves are neccessary to interpret homotopy type theory.=20 This provides us with an easy access to cohomology groups.

If you like to know more about synthetic algebraic geometry you can chec= k out this hottes= t-talk, the website of the last meeting or you can go directly to the youtube-playlist of this meeting. An overview of the results and subt= opics of synthetic algebraic geometry is on github.

Contact us if you would like to join the workshop!

All the best,

Felix Cherubini and Hugo Moeneclaey

--
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/fd2a7ce4-cd9b-4f42-a351-11727ca84908n%40googl= egroups.com.
------=_Part_30356_1310111519.1698242989508-- ------=_Part_30355_2036699845.1698242989508--