fix: typo in 2023-06-01-introduction2023.md

2023/intro-page/2023-06-01-introduction2023.md

@@ -49,7 +49,7 @@ Thorsten Altenkirch 对类型论的一个简短介绍:
 
 > 本人粗通数学，了解些许范畴论，但于逻辑，计算机算不上粗通，这次暑校让我对这些课题及关系有初步了解，幸甚！ 辛苦了！主持人和讲师们，多谢！ -- 来自不知名的某某 <br>
 
-> 本次暑校的课程内容相当精彩，并且前置知识要求不多，小学生都能听懂，实在是泰裤辣！尤其是综合同伦论/同论类型论，让不懂拓扑的人也能了解同伦论的一些直觉。 除开课程外，还有本次暑校演讲，一些演讲作为课程的扩展和启发相当不错，比如游客账户的 mltt 实现，让人觉得一看就会~~，一写就废~~。 Trebor 的范畴论讲的也很不错，可惜学不会。 --来自不知名的某某 <br>
+> 本次暑校的课程内容相当精彩，并且前置知识要求不多，小学生都能听懂，实在是泰裤辣！尤其是综合同伦论/同伦类型论，让不懂拓扑的人也能了解同伦论的一些直觉。 除开课程外，还有本次暑校演讲，一些演讲作为课程的扩展和启发相当不错，比如游客账户的 mltt 实现，让人觉得一看就会~~，一写就废~~。 Trebor 的范畴论讲的也很不错，可惜学不会。 --来自不知名的某某 <br>
 
 > 感谢各位讲师的付出，有各位讲师带着学习和精心准备的讲义比起自己学习要更有效率也更有趣。希望这样有意义有价值的学习交流活动能每年都有。-- 来自不知名的某某 <br>
 
@@ -285,7 +285,7 @@ Thorsten Altenkirch 对类型论的一个简短介绍:
         [幻灯片](https://ice1000.org/typst-workbench/fancytypes.pdf)
 
 * **Gestellmensch**, <font color='#fa5252'><i>集合论已死,类型论当立</i></font>
-    > HoTT,泛等公理的数学背景: 同伦论,模空间,还有很多相关的话题。以及为什么(同论)类型论是更好的数学基础。<br>
+    > HoTT,泛等公理的数学背景: 同伦论,模空间,还有很多相关的话题。以及为什么(同伦)类型论是更好的数学基础。<br>
 
     前置知识: 不知道, 可能更多讲很泛泛的东西, 图一乐。