计算概论 A 课程笔记:范畴论与 Monad 部分 Preface 因为我觉得我要沉淀下期中了所以自己记给自己看一下。 不保证内容的可读性,因为懒得去想对应语言的表达所以中英文夹杂了一下。 不保证内容的正确性,如果能帮忙指出错误,感激不尽。 Category Definition 一个范畴 C\mathsf CC 包含着如下东西: 一堆对象,记作 C0\mathsf C_0C0; 一堆态射(morphism),记作 C1\mathsf C 2023-10-22 笔记 > 本科课程 > 计算概论 #笔记 #函数式编程 #Haskell
Latex 细碎笔记整理 Here's something encrypted, password is required to continue reading. 2023-09-13 笔记 #笔记 #Latex