deploy: 1bfb3fe

jms-005Q.xml

@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <?xml-stylesheet type="text/xsl" href="forest.xsl"?>
-<tree expanded="true" show-heading="true" show-metadata="true" toc="false" root="false"><frontmatter> <anchor>8379</anchor> <rss>jms-005Q.rss.xml</rss> <taxon>Erratum</taxon> <addr>jms-005Q</addr>  <route>jms-005Q.xml</route> <date><year>2023</year> <month>6</month> <day>15</day></date> <authors><author><link href="jonmsterling.xml" type="local">Jon Sterling</link></author> </authors> <title>The Rosolini dominance is not <tex>\lnot \lnot</tex>-closed</title> </frontmatter> <mainmatter><p>There is a small error in Section 5.1 of <link href="phoa-1991.xml" type="local" title="Domain theory in realizability toposes">Welsey Phoa's doctoral thesis</link>, which we quote below:</p><blockquote><p>Let <tex>\Sigma</tex>, the <strong>r.e. subobject classifier</strong>, be the closure of the decidable truth values <tex>2 =  { \mathopen {} \left \{ \top , \bot \right \} \mathclose {}}</tex> under countable joins; that is,
+<tree expanded="true" show-heading="true" show-metadata="true" toc="false" root="false"><frontmatter> <anchor>8378</anchor> <rss>jms-005Q.rss.xml</rss> <taxon>Erratum</taxon> <addr>jms-005Q</addr>  <route>jms-005Q.xml</route> <date><year>2023</year> <month>6</month> <day>15</day></date> <authors><author><link href="jonmsterling.xml" type="local">Jon Sterling</link></author> </authors> <title>The Rosolini dominance is not <tex>\lnot \lnot</tex>-closed</title> </frontmatter> <mainmatter><p>There is a small error in Section 5.1 of <link href="phoa-1991.xml" type="local" title="Domain theory in realizability toposes">Welsey Phoa's doctoral thesis</link>, which we quote below:</p><blockquote><p>Let <tex>\Sigma</tex>, the <strong>r.e. subobject classifier</strong>, be the closure of the decidable truth values <tex>2 =  { \mathopen {} \left \{ \top , \bot \right \} \mathclose {}}</tex> under countable joins; that is,
     <tex display="block">
        \Sigma  =  { \mathopen {} \left \{ p \in \Omega   \mid   \exists  f  \in  2 ^{ \mathbb {N} } . \  p  \leftrightarrow   { \mathopen {} \left ( \exists  n.f { \mathopen {} \left ( n \right ) \mathclose {}} = \top \right ) \mathclose {}} \right \} \mathclose {}} 
     </tex>
@@ -12,7 +12,7 @@
   If <tex>\Sigma \subseteq \Omega</tex> were <tex>\lnot \lnot</tex>-closed, we would have <tex>\Sigma = \Omega</tex>. Indeed, for any <tex>\phi : \Omega</tex> it would suffice to show <tex>\lnot \lnot { \mathopen {} \left ( \phi \in   \Omega \right ) \mathclose {}}</tex>; because this proposition is negated, we may assume that either <tex>\phi = \top</tex> or <tex>\phi = \bot</tex>, both of which lie in <tex>\Sigma</tex>.
 </block>
 
-<p>I thank <link href="andrewswan.xml" type="local" title="Andrew Swan">Andrew Swan</link> for explaining the argument above to me.</p></mainmatter> <backmatter><contributions/> <context/> <related><tree expanded="false" show-heading="true" show-metadata="true" toc="false" root="false"><frontmatter> <anchor>8380</anchor> <rss>andrewswan.rss.xml</rss> <taxon>Person</taxon> <addr>andrewswan</addr>  <route>andrewswan.xml</route>   <title>Andrew Swan</title> <meta name="external">https://awswan.github.io/</meta><meta name="postdoc-advisor">steveawodey</meta><meta name="institution"><link href="cmu.xml" type="local" title="Carnegie Mellon University">Carnegie Mellon University</link></meta><meta name="position">Postdoc</meta></frontmatter> <mainmatter/> </tree></related> <backlinks/> <references><tree expanded="false" show-heading="true" show-metadata="true" toc="false" root="false"><frontmatter> <anchor>8381</anchor> <rss>phoa-1991.rss.xml</rss> <taxon>Reference</taxon> <addr>phoa-1991</addr>  <route>phoa-1991.xml</route> <date><year>1991</year> <month>7</month> </date> <authors><author><link href="wesleyphoa.xml" type="local">Wesley Phoa</link></author> </authors> <title>Domain theory in realizability toposes</title> <meta name="external">http://www.lfcs.inf.ed.ac.uk/reports/91/ECS-LFCS-91-171/</meta><meta name="bibtex">@phdthesis{phoa-1991,
+<p>I thank <link href="andrewswan.xml" type="local" title="Andrew Swan">Andrew Swan</link> for explaining the argument above to me.</p></mainmatter> <backmatter><contributions/> <context/> <related><tree expanded="false" show-heading="true" show-metadata="true" toc="false" root="false"><frontmatter> <anchor>8379</anchor> <rss>andrewswan.rss.xml</rss> <taxon>Person</taxon> <addr>andrewswan</addr>  <route>andrewswan.xml</route>   <title>Andrew Swan</title> <meta name="external">https://awswan.github.io/</meta><meta name="postdoc-advisor">steveawodey</meta><meta name="institution"><link href="cmu.xml" type="local" title="Carnegie Mellon University">Carnegie Mellon University</link></meta><meta name="position">Postdoc</meta></frontmatter> <mainmatter/> </tree></related> <backlinks/> <references><tree expanded="false" show-heading="true" show-metadata="true" toc="false" root="false"><frontmatter> <anchor>8380</anchor> <rss>phoa-1991.rss.xml</rss> <taxon>Reference</taxon> <addr>phoa-1991</addr>  <route>phoa-1991.xml</route> <date><year>1991</year> <month>7</month> </date> <authors><author><link href="wesleyphoa.xml" type="local">Wesley Phoa</link></author> </authors> <title>Domain theory in realizability toposes</title> <meta name="external">http://www.lfcs.inf.ed.ac.uk/reports/91/ECS-LFCS-91-171/</meta><meta name="bibtex">@phdthesis{phoa-1991,
   author = {Phoa, Wesley},
   school = {University of Edinburgh},
   date = {1991-07},

jms-005R.xml

@@ -1,3 +1,3 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <?xml-stylesheet type="text/xsl" href="forest.xsl"?>
-<tree expanded="true" show-heading="true" show-metadata="true" toc="false" root="false"><frontmatter> <anchor>8382</anchor> <rss>jms-005R.rss.xml</rss>  <addr>jms-005R</addr>  <route>jms-005R.xml</route> <date><year>2022</year> <month>4</month> <day>10</day></date> <authors><author><link href="jonmsterling.xml" type="local">Jon Sterling</link></author> </authors> <title>Declaration on gender &amp; inclusion in homotopy type theory</title> </frontmatter> <mainmatter><p>Recent discussions on gender, sex and the use &amp; meaning of gendered language have regrettably caused some community members to question whether they are in fact welcome in homotopy type theory. This state of affairs provokes me to communicate in the most unambiguous terms that the few do not speak for the many, and that the full inclusion of transgender and gender-nonconforming scientists in our commmunity is not optional. In particular, I <strong>strongly reject any intentional misgendering of our colleages (including lack of gendering).</strong></p><p>The complicated relationship between gender and sex in Western society is constructed over thousands of years, and bears the worn down mark and remnant of each successive stage of the class struggle — the expropriation of women at the emergence of private property, the violent suppression of women’s status during the birth of capitalism and primitive accumulation, culminating in the transformation of the European peasantry into the industrial proletariat, all the way to the mass entry of women into the industrial labor force during the second World War and the more recent de-industrialization of imperialist countries.</p><p>Gender is a relation between human beings that has extent in both the economic base of our society and in its ideological superstructure. In the economic base, we have the nuclear family and the exploitation of women’s labor by the bourgeoisie (who pay but one wage for the labor of two parents), as well as the treatment of women as property and the trafficking in their bodies. In the superstructure, we have gender roles and standards of presentation that have developed over time to facilitate the exploitation of man and woman alike — and we have the violent and deadly repression of anyone who violates those norms. In medieval times, this violent repression took the form of witch hunts; today we have the routine and brutal murder of human beings who do not conform to gender norms. <strong>Studies suggest that transgender people are several times more likely to become victims of violent crimes.</strong></p><p>Today what is at stake is how our community shall treat those who find themselves at the margins of the traditional delineations of either sex or gender or both: shall we welcome them fully, or ask them to kindly leave their identity as the door before discussing mathematics? It will be a failure of monumental proportions if we follow those who would “wish away” the contradictions of gender and cruelly pretend that transgender people do not exist. Today, transgender and gender-nonconforming youth make up a very large proportion of those interested in becoming homotopy type theorists. <strong>Our response must be to embrace these new comrades and treat them with respect; they must be allowed and encouraged to bring their entire selves into the work and our community.</strong></p><p>As a member of the (homotopy) type theoretic community, I declare to anyone who is concerned or has been made to feel unwelcome — <strong>you have a friend and a comrade in me, and I will do anything I possibly can to support your involvement in this community.</strong> That’s my promise to you.</p></mainmatter> <backmatter><contributions/> <context/> <related/> <backlinks><tree expanded="false" show-heading="true" show-metadata="true" toc="false" root="false"><frontmatter> <anchor>8383</anchor> <rss>jms-0099.rss.xml</rss> <taxon>FAQ</taxon> <addr>jms-0099</addr>  <route>jms-0099.xml</route> <date><year>2023</year> <month>9</month> <day>18</day></date> <authors><author><link href="jonmsterling.xml" type="local">Jon Sterling</link></author> </authors> <title>What about my marginalized background?</title> </frontmatter> <mainmatter><p>I will fight for your right to pursue scientific life in a collegial environment that accepts and respects your <em>whole</em> personhood. I have made clear my point of view on diversity, equity, and inclusion in the academic setting <link href="jms-005R.xml" type="local" title="Declaration on gender &amp; inclusion in homotopy type theory">in my 2022 statement</link>.</p></mainmatter> </tree></backlinks> <references/></backmatter></tree>
+<tree expanded="true" show-heading="true" show-metadata="true" toc="false" root="false"><frontmatter> <anchor>8381</anchor> <rss>jms-005R.rss.xml</rss>  <addr>jms-005R</addr>  <route>jms-005R.xml</route> <date><year>2022</year> <month>4</month> <day>10</day></date> <authors><author><link href="jonmsterling.xml" type="local">Jon Sterling</link></author> </authors> <title>Declaration on gender &amp; inclusion in homotopy type theory</title> </frontmatter> <mainmatter><p>Recent discussions on gender, sex and the use &amp; meaning of gendered language have regrettably caused some community members to question whether they are in fact welcome in homotopy type theory. This state of affairs provokes me to communicate in the most unambiguous terms that the few do not speak for the many, and that the full inclusion of transgender and gender-nonconforming scientists in our commmunity is not optional. In particular, I <strong>strongly reject any intentional misgendering of our colleages (including lack of gendering).</strong></p><p>The complicated relationship between gender and sex in Western society is constructed over thousands of years, and bears the worn down mark and remnant of each successive stage of the class struggle — the expropriation of women at the emergence of private property, the violent suppression of women’s status during the birth of capitalism and primitive accumulation, culminating in the transformation of the European peasantry into the industrial proletariat, all the way to the mass entry of women into the industrial labor force during the second World War and the more recent de-industrialization of imperialist countries.</p><p>Gender is a relation between human beings that has extent in both the economic base of our society and in its ideological superstructure. In the economic base, we have the nuclear family and the exploitation of women’s labor by the bourgeoisie (who pay but one wage for the labor of two parents), as well as the treatment of women as property and the trafficking in their bodies. In the superstructure, we have gender roles and standards of presentation that have developed over time to facilitate the exploitation of man and woman alike — and we have the violent and deadly repression of anyone who violates those norms. In medieval times, this violent repression took the form of witch hunts; today we have the routine and brutal murder of human beings who do not conform to gender norms. <strong>Studies suggest that transgender people are several times more likely to become victims of violent crimes.</strong></p><p>Today what is at stake is how our community shall treat those who find themselves at the margins of the traditional delineations of either sex or gender or both: shall we welcome them fully, or ask them to kindly leave their identity as the door before discussing mathematics? It will be a failure of monumental proportions if we follow those who would “wish away” the contradictions of gender and cruelly pretend that transgender people do not exist. Today, transgender and gender-nonconforming youth make up a very large proportion of those interested in becoming homotopy type theorists. <strong>Our response must be to embrace these new comrades and treat them with respect; they must be allowed and encouraged to bring their entire selves into the work and our community.</strong></p><p>As a member of the (homotopy) type theoretic community, I declare to anyone who is concerned or has been made to feel unwelcome — <strong>you have a friend and a comrade in me, and I will do anything I possibly can to support your involvement in this community.</strong> That’s my promise to you.</p></mainmatter> <backmatter><contributions/> <context/> <related/> <backlinks><tree expanded="false" show-heading="true" show-metadata="true" toc="false" root="false"><frontmatter> <anchor>8382</anchor> <rss>jms-0099.rss.xml</rss> <taxon>FAQ</taxon> <addr>jms-0099</addr>  <route>jms-0099.xml</route> <date><year>2023</year> <month>9</month> <day>18</day></date> <authors><author><link href="jonmsterling.xml" type="local">Jon Sterling</link></author> </authors> <title>What about my marginalized background?</title> </frontmatter> <mainmatter><p>I will fight for your right to pursue scientific life in a collegial environment that accepts and respects your <em>whole</em> personhood. I have made clear my point of view on diversity, equity, and inclusion in the academic setting <link href="jms-005R.xml" type="local" title="Declaration on gender &amp; inclusion in homotopy type theory">in my 2022 statement</link>.</p></mainmatter> </tree></backlinks> <references/></backmatter></tree>