From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.107.159.137 with SMTP id i131mr219220ioe.26.1485393706093; Wed, 25 Jan 2017 17:21:46 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.157.1.106 with SMTP id 97ls21052063otu.47.gmail; Wed, 25 Jan 2017 17:21:45 -0800 (PST) X-Received: by 10.157.51.38 with SMTP id f35mr84367otc.84.1485393705699; Wed, 25 Jan 2017 17:21:45 -0800 (PST) Return-Path: Received: from mail-yb0-x22a.google.com (mail-yb0-x22a.google.com. [2607:f8b0:4002:c09::22a]) by gmr-mx.google.com with ESMTPS id f187si2816859ywc.0.2017.01.25.17.21.45 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 25 Jan 2017 17:21:45 -0800 (PST) Received-SPF: pass (google.com: domain of e.m....@gmail.com designates 2607:f8b0:4002:c09::22a as permitted sender) client-ip=2607:f8b0:4002:c09::22a; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com; spf=pass (google.com: domain of e.m....@gmail.com designates 2607:f8b0:4002:c09::22a as permitted sender) smtp.mailfrom=e.m....@gmail.com; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gmail.com Received: by mail-yb0-x22a.google.com with SMTP id 123so28619249ybe.3 for ; Wed, 25 Jan 2017 17:21:45 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=Q2JD8BiIQzFsiEVAWMZer48tnlZHEjYFFs5oBMKAabw=; b=uHYNAUY2uQ4Xj1vGBwYcu7xYeMdfg7/sYNvbGKxiOdT7oSGqzYZE5cYRvide/9SoC7 aKCa+T2eA3fn7JtjAp9xrMkkIF+5sqk1f9ruIFQMJq1oWlfx7LEOllt+zayahYkz63jk 3h+C/E4sHRXndSVomA8StXJfpH6w2OXucVd2IC96E7fORxCw+T0lsRozJceBGgbLS4lD klrV23XsqTmWCDIsaOFf34ZDXFhdF8l+Cu57EX3eT9A5BswOwzUN7/4B7RQ8iH+tpu5y BYjJDKLfrEn6xVnkY8oBXbD5ktZa0hoeZToHBW60YAx7hmD1lDc8luw7wJS615XrQfNf QFMQ== X-Gm-Message-State: AIkVDXLESWbNHNOq5mTgvyCN/28LWFDil6QwHf9aW0Awox/XWapVwQh1Ntclod4qepDaKd4C/+pTiBVZnMPebg== X-Received: by 10.129.49.214 with SMTP id x205mr220449ywx.119.1485393705038; Wed, 25 Jan 2017 17:21:45 -0800 (PST) MIME-Version: 1.0 Received: by 10.37.90.10 with HTTP; Wed, 25 Jan 2017 17:21:44 -0800 (PST) From: Egbert Rijke Date: Wed, 25 Jan 2017 20:21:44 -0500 Message-ID: Subject: mathematics subject classification for HoTT To: "HomotopyT...@googlegroups.com" Content-Type: multipart/alternative; boundary=001a11421b7e23f9980546f52c9e --001a11421b7e23f9980546f52c9e Content-Type: text/plain; charset=UTF-8 Dear all, Concerning papers written in the language of homotopy type theory, what would be good options for their mathematics subject classification? I.e. is it appropriate to use 55-XX for papers doing algebraic topology in HoTT, or 18-XX (or 03G30?) for papers that are about constructions analogous to some in category theory? With kind regards, Egbert -- egbertrijke.com --001a11421b7e23f9980546f52c9e Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Dear all,

Concerning papers wr= itten in the language of homotopy type theory, what would be good options f= or their mathematics subject classification? I.e. is it appropriate to use = 55-XX for papers doing algebraic topology in HoTT, or 18-XX (or 03G30?) for= papers that are about constructions analogous to some in category theory?<= br>
With kind regards,
Egbert
--001a11421b7e23f9980546f52c9e--