LWLAymh的备忘录

混乱节拍拼凑出血肉喧嚷

发表于 更新于 Waline：

碎碎念

终于把博客搞好啦！大概以后会经常拿这个网站来发东西了。评论功能和联系功能都已经上线。学习笔记已经全部公开了，一些随笔会在筛选后公开一部分。

关于我

好像还是需要给自己写一个自我介绍？

目前在北京大学信息科学技术学院2024级本科就读信息与计算科学专业，未来希望投身Programming Language中的Formal Method方向。

你可能会听到我的以下称呼：拉瓦、拉姐、xxm、小学妹……

（但我真的是顺性别直男）

精神状态一般不太良好，可能会狂暴在博客里发鲜花碎碎念。

有的时候一些未经整理的小短文会在Luogu博客发布。

好像还需要写一些兴趣爱好方便交流（？）

目前在学习《Software Foundations》和《Algebra: Chapter 0》教材，此外偶尔学两页《数学天书中的证明》和《具体数学》，休闲的书最近一直在看陀氏的全集。最喜欢的作家是伍尔夫，最喜欢的P主是JUSF周存，最喜欢的歌手是陈粒和DOUDOU。此外可能是美漫爱好者看过瑞莫/马男/辛普森/怪诞小镇/blblbl……

好尴尬有点像诡异新分班后的自我介绍

另外可以通过微信或者邮箱联系我。邮箱可以联系lwlaymh.outlook.com，如果需要微信联系，请在邮件里讲述原因。

致歉

另外需要声明的是，因为公开的往往是我直接在课上记录的笔记，因此可能会出现老师讲什么我抄什么，导致我的某篇笔记可能与某篇文章的思路雷同。由于文章太多难以对其中搬运的部分一一溯源，只好在这里提前致歉。如若您的确发现我博客中某一块内容来源于您，请联系博客，我会尽快作出修改。

致谢

感谢ycmgg帮助构建了博客的最初架构。

感谢jjjj帮忙支持了博客的xypic渲染。

测试

下面是测试:

这是公式:

博客维护日志

2025.06.23: 通过手写的工具将博客的公式进行了规整化.不过由于对博客里的全部文章都做了一遍,导致现在首页可能全是我的碎碎念.可以在”搜索”/“分类”/“归档”中找到其他上课笔记.

发表于 更新于 分类于 Waline：
  • 前言
  • Preliminaries: Set theory and categories
    • Categories
      * [Example1](#example1)
* [Example2](#example2)
* [Example3(Slice Category)](#example3slice-category)
* [Example4(Coslice Category)](#example4coslice-category)
* [Example5](#example5)
    • Morphism
      * [Example1(笛卡尔积)](#example1笛卡尔积)
* [Example2(无交并)](#example2无交并)
* [Example3(Canonical Projection)](#example3canonical-projection)
* [Example4(Inclusion)](#example4inclusion)
阅读全文 »

发表于 更新于 分类于 Waline：
Here's something encrypted, password is required to continue reading.
阅读全文 »

发表于 更新于 分类于 Waline：
阅读全文 »
0%