I‘m maintain a Blog in Chinese, below are part of what I wrote. I am also the editor of Tsinghua Logic Blog.
Category Theory
- 范畴论哲学 I — Meaning As Use
Philosophy of CAT I – Meaning as Use - 范畴论哲学 II—等价、不变性与高阶范畴
Philosophy of CAT II – Equivalence, Invariance, and Higher Categories - 范畴逻辑 I—逻辑与数学结构的对应
Categorical Logic I – Correspondence between Logical Theories and Mathematical Structures - 范畴逻辑 II—语形与语义的对偶
Categorical Logic II – Duality between Syntax and Semantics - 迈向数学的统一
Towards Unification of Mathematics (Charles Ehresmann’s paper) - 何为相等
What is equality
Logic
- 我们能知道所有的数学真理吗
Can we know the entire truth of mathematics - 一阶算数理论中的自指性
Self-Reference in First-Order Arithmetic - Banach-Tarski 悖论：数学家的魔术
Banach-Tarski Paradox: One Begets Two
Computability Theory
- 计算系统的结构 I—对可计算性概念的反思
Structures of Computation I – On the Concept of Computability - 计算系统的结构 II—计算模型的数学框架
Structures of Computation II – Computability Models - 计算系统的结构 III—计算模型之间的模拟
Structures of Computation III – Comparison of Computability Models
Lingyuan Ye 叶凌远 