Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
From: Steve Awodey <steveawodey@gmail.com>
To: Homotopy Type Theory <homotopytypetheory@googlegroups.com>
Subject: [HoTT] On the recent events
Date: Sun, 17 Apr 2022 11:05:46 -0400	[thread overview]
Message-ID: <B0238232-68AD-4F94-B5B8-C02BBF00ADDE@gmail.com> (raw)

Dear HoTT Community,

From its beginnings at the IAS, the Homotopy Type Theory and Univalent Foundations research program has been an unusually communal effort, consisting of individuals from diverse scientific, national, and personal backgrounds.  Various different and even opposing views were not just tolerated but welcomed and encouraged, in the belief that doing so would ultimately lead to a better and more robust result.  Personal ambitions took second place to the common purpose of creating something new and important. The experiment of allowing such a diverse group to create a new field and write its founding document as a community project proved to be a success.  

The spirit of cooperation necessary to create a forum where diverse views and backgrounds are included and respected serves the dual purpose of creating an inclusive community of scholars where individuals can thrive, while producing the best mathematical and scientific results as a corollary of those efforts.   This attitude of selfless cooperation, striving for inclusivity, and valuing a diversity of opinions may have arisen spontaneously in the setting of the IAS [1], but it was nurtured, then and in the years since, by no one more than by Mike Shulman.  Mike has given tirelessly, generously, exhaustively of his time and energy, and more importantly of his mathematical ideas and labors, to make our community what it is today: an exciting and beautiful field of mathematics pursued by a group of generous, thoughtful, and tolerant people. Mike is a brilliant mathematician who I know to also be a kind and generous person.  He’s also human and occasionally makes mistakes - both mathematical and personal ones. And when he does, we should afford him the same tolerance that we would any other member of our community.  We owe him our gratitude and respect.  

Univalent regards,

Steve

[1] “It is fundamental in our purpose, and our express desire, that in the appointments to the staff and faculty as well as in the admission of workers and students, no account shall be taken, directly or indirectly, of race, religion, or sex. We feel strongly that the spirit characteristic of America at its noblest, above all the pursuit of higher learning, cannot admit of any conditions as to personnel other than those designed to promote the objects for which this institution is established, and particularly with no regard whatever to accidents of race, creed, or sex.” —  IAS founders Louis Bamberger and his sister Caroline Bamberger Fuld, in a letter of invitation, dated June 4, 1930, to the Institute’s first Board of Trustees.   Quoted from "A Diverse Community of Scholars“, The Institute Letter, Fall 2010, https://www.ias.edu/ideas/2010/diverse-community-of-scholars


-- 
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/B0238232-68AD-4F94-B5B8-C02BBF00ADDE%40gmail.com.

             reply	other threads:[~2022-04-17 15:05 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-04-17 15:05 Steve Awodey [this message]
2022-04-17 20:26 ` Marc Bezem

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=B0238232-68AD-4F94-B5B8-C02BBF00ADDE@gmail.com \
    --to=steveawodey@gmail.com \
    --cc=homotopytypetheory@googlegroups.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).