From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Wed, 15 Jun 2016 11:26:00 -0700 (PDT)
From: =?UTF-8?Q?andr=C3=A9_hirschowitz?= <mphm...@gmail.com>
To: Homotopy Type Theory <HomotopyT...@googlegroups.com>
Message-Id: <e1248ef7-cf62-4bde-accc-c8a7b135501b@googlegroups.com>
Subject: Is synthetic the right word?
MIME-Version: 1.0
Content-Type: multipart/mixed; 
	boundary="----=_Part_451_513557096.1466015160391"

------=_Part_451_513557096.1466015160391
Content-Type: multipart/alternative; 
	boundary="----=_Part_452_315524692.1466015160391"

------=_Part_452_315524692.1466015160391
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

Hi,

Today, I have discovered that some (nice) members of this community do not=
=20
like the word "synthetic" in the formula  "Synthetic Homotopy Theory" used=
=20
in this group to name you know what.

My opinion is that people working is this area deserve an accepted name for=
=20
this activity. So I consider that who finds this wording inadequate should=
=20
either  argue HERE  and NOW, or shut down forever (on this precise topic!).

So?

andr=C3=A9


------=_Part_452_315524692.1466015160391
Content-Type: text/html; charset=utf-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Hi,<br><br>Today, I have discovered that some (nice) membe=
rs of this community do not like the word &quot;synthetic&quot; in the form=
ula=C2=A0 &quot;Synthetic Homotopy Theory&quot; used in this group to name =
you know what.<br><br>My opinion is that people working is this area deserv=
e an accepted name for this activity. So I consider that who finds this wor=
ding inadequate should either=C2=A0 argue HERE=C2=A0 and NOW, or shut down =
forever (on this precise topic!).<br><br>So?<br><br>andr=C3=A9<br><br></div=
>
------=_Part_452_315524692.1466015160391--

------=_Part_451_513557096.1466015160391--